How many groups with order $(17^2)(5^2)$ exist?
$begingroup$
Its the first time I'm seeing such question, I tried something but I can't really confirm it since its pretty new to me:
Its easy to prove with sylow that there is only one subgroup $H$ with order $17^2$, hence, $H$ is normal. Since $17$ is prime, and $|H|=17^2$ then there are $2$ groups up to isomorphism with that order. $G/H$ is a group of order $5^2$ (since $H$ is normal), and again, we have $2$ groups with that order up to isomorphism.
So the answer is $2times 2+1=5$? (Added one for the case when $G$ is cyclic). is there anything else I missed here?
abstract-algebra group-theory finite-groups
$endgroup$
add a comment |
$begingroup$
Its the first time I'm seeing such question, I tried something but I can't really confirm it since its pretty new to me:
Its easy to prove with sylow that there is only one subgroup $H$ with order $17^2$, hence, $H$ is normal. Since $17$ is prime, and $|H|=17^2$ then there are $2$ groups up to isomorphism with that order. $G/H$ is a group of order $5^2$ (since $H$ is normal), and again, we have $2$ groups with that order up to isomorphism.
So the answer is $2times 2+1=5$? (Added one for the case when $G$ is cyclic). is there anything else I missed here?
abstract-algebra group-theory finite-groups
$endgroup$
1
$begingroup$
The wording here is imprecise, and in my reading of the intermediate steps are not fully justified. Anyway, one can just as well prove that there is only one Sylow $5$-group $K$, of order $25$, and looking at element orders shows that $H cap K = {0}$, so $G = H times K$; in particular $G$ is abelian. Since $H$ has order $17^2$, it is either $C_{17}^2$ or $C_{17^2}$ and similarly for $K$, leaving $2 cdot 2 = 4$ groups of this order.
$endgroup$
– Travis
Dec 13 '18 at 13:33
$begingroup$
Adding one for the case when $G$ is cyclic makes no sense at all. Your argument is really counting the groups that are direct products of their Sylow subgroups i.e. the nilpotent groups, and as it happens all groups of this order are nilpotent, but that is not always the case.
$endgroup$
– Derek Holt
Dec 13 '18 at 13:46
add a comment |
$begingroup$
Its the first time I'm seeing such question, I tried something but I can't really confirm it since its pretty new to me:
Its easy to prove with sylow that there is only one subgroup $H$ with order $17^2$, hence, $H$ is normal. Since $17$ is prime, and $|H|=17^2$ then there are $2$ groups up to isomorphism with that order. $G/H$ is a group of order $5^2$ (since $H$ is normal), and again, we have $2$ groups with that order up to isomorphism.
So the answer is $2times 2+1=5$? (Added one for the case when $G$ is cyclic). is there anything else I missed here?
abstract-algebra group-theory finite-groups
$endgroup$
Its the first time I'm seeing such question, I tried something but I can't really confirm it since its pretty new to me:
Its easy to prove with sylow that there is only one subgroup $H$ with order $17^2$, hence, $H$ is normal. Since $17$ is prime, and $|H|=17^2$ then there are $2$ groups up to isomorphism with that order. $G/H$ is a group of order $5^2$ (since $H$ is normal), and again, we have $2$ groups with that order up to isomorphism.
So the answer is $2times 2+1=5$? (Added one for the case when $G$ is cyclic). is there anything else I missed here?
abstract-algebra group-theory finite-groups
abstract-algebra group-theory finite-groups
edited Dec 13 '18 at 13:40
Tianlalu
3,08621038
3,08621038
asked Dec 13 '18 at 13:13
S.CoS.Co
687
687
1
$begingroup$
The wording here is imprecise, and in my reading of the intermediate steps are not fully justified. Anyway, one can just as well prove that there is only one Sylow $5$-group $K$, of order $25$, and looking at element orders shows that $H cap K = {0}$, so $G = H times K$; in particular $G$ is abelian. Since $H$ has order $17^2$, it is either $C_{17}^2$ or $C_{17^2}$ and similarly for $K$, leaving $2 cdot 2 = 4$ groups of this order.
$endgroup$
– Travis
Dec 13 '18 at 13:33
$begingroup$
Adding one for the case when $G$ is cyclic makes no sense at all. Your argument is really counting the groups that are direct products of their Sylow subgroups i.e. the nilpotent groups, and as it happens all groups of this order are nilpotent, but that is not always the case.
$endgroup$
– Derek Holt
Dec 13 '18 at 13:46
add a comment |
1
$begingroup$
The wording here is imprecise, and in my reading of the intermediate steps are not fully justified. Anyway, one can just as well prove that there is only one Sylow $5$-group $K$, of order $25$, and looking at element orders shows that $H cap K = {0}$, so $G = H times K$; in particular $G$ is abelian. Since $H$ has order $17^2$, it is either $C_{17}^2$ or $C_{17^2}$ and similarly for $K$, leaving $2 cdot 2 = 4$ groups of this order.
$endgroup$
– Travis
Dec 13 '18 at 13:33
$begingroup$
Adding one for the case when $G$ is cyclic makes no sense at all. Your argument is really counting the groups that are direct products of their Sylow subgroups i.e. the nilpotent groups, and as it happens all groups of this order are nilpotent, but that is not always the case.
$endgroup$
– Derek Holt
Dec 13 '18 at 13:46
1
1
$begingroup$
The wording here is imprecise, and in my reading of the intermediate steps are not fully justified. Anyway, one can just as well prove that there is only one Sylow $5$-group $K$, of order $25$, and looking at element orders shows that $H cap K = {0}$, so $G = H times K$; in particular $G$ is abelian. Since $H$ has order $17^2$, it is either $C_{17}^2$ or $C_{17^2}$ and similarly for $K$, leaving $2 cdot 2 = 4$ groups of this order.
$endgroup$
– Travis
Dec 13 '18 at 13:33
$begingroup$
The wording here is imprecise, and in my reading of the intermediate steps are not fully justified. Anyway, one can just as well prove that there is only one Sylow $5$-group $K$, of order $25$, and looking at element orders shows that $H cap K = {0}$, so $G = H times K$; in particular $G$ is abelian. Since $H$ has order $17^2$, it is either $C_{17}^2$ or $C_{17^2}$ and similarly for $K$, leaving $2 cdot 2 = 4$ groups of this order.
$endgroup$
– Travis
Dec 13 '18 at 13:33
$begingroup$
Adding one for the case when $G$ is cyclic makes no sense at all. Your argument is really counting the groups that are direct products of their Sylow subgroups i.e. the nilpotent groups, and as it happens all groups of this order are nilpotent, but that is not always the case.
$endgroup$
– Derek Holt
Dec 13 '18 at 13:46
$begingroup$
Adding one for the case when $G$ is cyclic makes no sense at all. Your argument is really counting the groups that are direct products of their Sylow subgroups i.e. the nilpotent groups, and as it happens all groups of this order are nilpotent, but that is not always the case.
$endgroup$
– Derek Holt
Dec 13 '18 at 13:46
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3037988%2fhow-many-groups-with-order-17252-exist%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3037988%2fhow-many-groups-with-order-17252-exist%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
The wording here is imprecise, and in my reading of the intermediate steps are not fully justified. Anyway, one can just as well prove that there is only one Sylow $5$-group $K$, of order $25$, and looking at element orders shows that $H cap K = {0}$, so $G = H times K$; in particular $G$ is abelian. Since $H$ has order $17^2$, it is either $C_{17}^2$ or $C_{17^2}$ and similarly for $K$, leaving $2 cdot 2 = 4$ groups of this order.
$endgroup$
– Travis
Dec 13 '18 at 13:33
$begingroup$
Adding one for the case when $G$ is cyclic makes no sense at all. Your argument is really counting the groups that are direct products of their Sylow subgroups i.e. the nilpotent groups, and as it happens all groups of this order are nilpotent, but that is not always the case.
$endgroup$
– Derek Holt
Dec 13 '18 at 13:46