Finding the number of subgroups of $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2} $.
$begingroup$
What is the number of subgroups of $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2} $?
I'm not really sure how to figure it out. I tried seeing subgroups of each $Bbb Z_{p^n}$ but I'm not sure I'm going to get them all.
abstract-algebra group-theory finite-groups p-groups
edited Dec 30 '18 at 14:29
Henning Makholm
242k17308551
asked Dec 30 '18 at 12:19
Pedro SantosPedro Santos
1609
$endgroup$
|
show 4 more comments
$begingroup$
What is the number of subgroups of $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2} $?
I'm not really sure how to figure it out. I tried seeing subgroups of each $Bbb Z_{p^n}$ but I'm not sure I'm going to get them all.
abstract-algebra group-theory finite-groups p-groups
edited Dec 30 '18 at 14:29
Henning Makholm
242k17308551
asked Dec 30 '18 at 12:19
Pedro SantosPedro Santos
1609
$endgroup$
$begingroup$
The Sylow theorems tell me it exists and that there is only in $mathbb{Z}_{p^2}$, i dont know how to use them for the other one. A group of order p^2 isnt a Sylow-p subggroup in there.
$endgroup$
– Pedro Santos
Dec 30 '18 at 12:23
1
$begingroup$
Sylow's theorems will not help you with this question. They do not tell you anything about groups of prime power order. This question is not particularly easy, but you should be able to make a start. For example, can you determine how many subgroups there are of order $p$?
$endgroup$
– Derek Holt
Dec 30 '18 at 12:28
1
$begingroup$
OK, so if there are $n$ elements of order $p$, then there are $n/(p-1)$ subgroups of order $p$. Also note that all elements of order $p$ are contained in the unique subgroup that is isomorphic to $Z_p oplus Z_p$.
$endgroup$
– Derek Holt
Dec 30 '18 at 12:47
1
$begingroup$
Please don't change the question like this.
$endgroup$
– Shaun
Dec 30 '18 at 13:28
1
$begingroup$
I changed the question back to the original to avoid confusion.
$endgroup$
– Derek Holt
Dec 30 '18 at 14:15
|
show 4 more comments
$begingroup$
What is the number of subgroups of $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2} $?
I'm not really sure how to figure it out. I tried seeing subgroups of each $Bbb Z_{p^n}$ but I'm not sure I'm going to get them all.
abstract-algebra group-theory finite-groups p-groups
edited Dec 30 '18 at 14:29
Henning Makholm
242k17308551
asked Dec 30 '18 at 12:19
Pedro SantosPedro Santos
1609
$endgroup$
What is the number of subgroups of $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2} $?
I'm not really sure how to figure it out. I tried seeing subgroups of each $Bbb Z_{p^n}$ but I'm not sure I'm going to get them all.
abstract-algebra group-theory finite-groups p-groups
abstract-algebra group-theory finite-groups p-groups
edited Dec 30 '18 at 14:29
Henning Makholm
242k17308551
asked Dec 30 '18 at 12:19
Pedro SantosPedro Santos
1609
edited Dec 30 '18 at 14:29
Henning Makholm
242k17308551
asked Dec 30 '18 at 12:19
Pedro SantosPedro Santos
1609
edited Dec 30 '18 at 14:29
Henning Makholm
242k17308551
edited Dec 30 '18 at 14:29
Henning Makholm
242k17308551
edited Dec 30 '18 at 14:29
Henning Makholm
242k17308551
242k17308551
asked Dec 30 '18 at 12:19
Pedro SantosPedro Santos
1609
asked Dec 30 '18 at 12:19
Pedro SantosPedro Santos
1609
asked Dec 30 '18 at 12:19
Pedro SantosPedro Santos
1609
1609
$begingroup$
The Sylow theorems tell me it exists and that there is only in $mathbb{Z}_{p^2}$, i dont know how to use them for the other one. A group of order p^2 isnt a Sylow-p subggroup in there.
$endgroup$
– Pedro Santos
Dec 30 '18 at 12:23
1
$begingroup$
Sylow's theorems will not help you with this question. They do not tell you anything about groups of prime power order. This question is not particularly easy, but you should be able to make a start. For example, can you determine how many subgroups there are of order $p$?
$endgroup$
– Derek Holt
Dec 30 '18 at 12:28
1
$begingroup$
OK, so if there are $n$ elements of order $p$, then there are $n/(p-1)$ subgroups of order $p$. Also note that all elements of order $p$ are contained in the unique subgroup that is isomorphic to $Z_p oplus Z_p$.
$endgroup$
– Derek Holt
Dec 30 '18 at 12:47
1
$begingroup$
Please don't change the question like this.
$endgroup$
– Shaun
Dec 30 '18 at 13:28
1
$begingroup$
I changed the question back to the original to avoid confusion.
$endgroup$
– Derek Holt
Dec 30 '18 at 14:15
|
show 4 more comments
$begingroup$
The Sylow theorems tell me it exists and that there is only in $mathbb{Z}_{p^2}$, i dont know how to use them for the other one. A group of order p^2 isnt a Sylow-p subggroup in there.
$endgroup$
– Pedro Santos
Dec 30 '18 at 12:23
1
$begingroup$
Sylow's theorems will not help you with this question. They do not tell you anything about groups of prime power order. This question is not particularly easy, but you should be able to make a start. For example, can you determine how many subgroups there are of order $p$?
$endgroup$
– Derek Holt
Dec 30 '18 at 12:28
1
$begingroup$
OK, so if there are $n$ elements of order $p$, then there are $n/(p-1)$ subgroups of order $p$. Also note that all elements of order $p$ are contained in the unique subgroup that is isomorphic to $Z_p oplus Z_p$.
$endgroup$
– Derek Holt
Dec 30 '18 at 12:47
1
$begingroup$
Please don't change the question like this.
$endgroup$
– Shaun
Dec 30 '18 at 13:28
1
$begingroup$
I changed the question back to the original to avoid confusion.
$endgroup$
– Derek Holt
Dec 30 '18 at 14:15
$begingroup$
The Sylow theorems tell me it exists and that there is only in $mathbb{Z}_{p^2}$, i dont know how to use them for the other one. A group of order p^2 isnt a Sylow-p subggroup in there.
$endgroup$
– Pedro Santos
Dec 30 '18 at 12:23
$begingroup$
The Sylow theorems tell me it exists and that there is only in $mathbb{Z}_{p^2}$, i dont know how to use them for the other one. A group of order p^2 isnt a Sylow-p subggroup in there.
$endgroup$
– Pedro Santos
Dec 30 '18 at 12:23
1
1
$begingroup$
Sylow's theorems will not help you with this question. They do not tell you anything about groups of prime power order. This question is not particularly easy, but you should be able to make a start. For example, can you determine how many subgroups there are of order $p$?
$endgroup$
– Derek Holt
Dec 30 '18 at 12:28
$begingroup$
Sylow's theorems will not help you with this question. They do not tell you anything about groups of prime power order. This question is not particularly easy, but you should be able to make a start. For example, can you determine how many subgroups there are of order $p$?
$endgroup$
– Derek Holt
Dec 30 '18 at 12:28
1
1
$begingroup$
OK, so if there are $n$ elements of order $p$, then there are $n/(p-1)$ subgroups of order $p$. Also note that all elements of order $p$ are contained in the unique subgroup that is isomorphic to $Z_p oplus Z_p$.
$endgroup$
– Derek Holt
Dec 30 '18 at 12:47
$begingroup$
OK, so if there are $n$ elements of order $p$, then there are $n/(p-1)$ subgroups of order $p$. Also note that all elements of order $p$ are contained in the unique subgroup that is isomorphic to $Z_p oplus Z_p$.
$endgroup$
– Derek Holt
Dec 30 '18 at 12:47
1
1
$begingroup$
Please don't change the question like this.
$endgroup$
– Shaun
Dec 30 '18 at 13:28
$begingroup$
Please don't change the question like this.
$endgroup$
– Shaun
Dec 30 '18 at 13:28
1
1
$begingroup$
I changed the question back to the original to avoid confusion.
$endgroup$
– Derek Holt
Dec 30 '18 at 14:15
$begingroup$
I changed the question back to the original to avoid confusion.
$endgroup$
– Derek Holt
Dec 30 '18 at 14:15
|
show 4 more comments
2 Answers
2
active
oldest
votes
$begingroup$
The given group is $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$. We will use the formula $$ |(m,n)|=lcm(|m|,|n|),$$ for any $ m in mathbb{Z}_{p^3}$ and $n in mathbb{Z}_{p^2}$, where $|.|$ denote the order .
Since $m,n$ are the elements of $mathbb{Z}_{p^3}$ and $mathbb{Z}_{p^2}$ respectively, we have $ |m| $ divides $ p^3$ and $|n|$ divides $p^2$.
(i) Show that there is only one subgroup of order of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_p oplus mathbb{Z}_p$.
In this step we calculate the number of element $(m,n)$ of order $p$. You easily check that there are $p^2-1$ elements having order $p^2$. All these $p^2-1$ elements along with the identity element $(0,0)$ form a unique subgroup of order $p^2$ that is isomorphic to $mathbb{Z}_p oplus mathbb{Z}_p$.
(ii) Show that there are $p^2+p$ subgroup of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_{p^2}$.
In this step we will count the number of cyclic subgroups of order $p^2$. In other words we have to find all elements $(m,n)$ of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ having order $p^2$. To do this we need to find
$(a)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|m|=p^2 in mathbb{Z}_{p^3}$,
$(b)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|n|=p^2 in mathbb{Z}_{p^2}$
From part $(a)$ and part $(b)$ Try to show that there are total $p^4-p^2$ elements of order $p^2$ and each cyclic group order $p^2$ has $p^2-p$ elements of order $p^2$.
Hence the number of cyclic subgroup of order $p^2$ is equal to $frac{p^4-p^2}{p^2-p} =p^2+p$.
Thus there is a total of $p^2+p+1$ subgroups of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ of order $p^2$.
answered Dec 30 '18 at 12:59
M. A. SARKARM. A. SARKAR
2,4311819
$endgroup$
$begingroup$
Alright Thanks, But my problem is that i dont know how to prove those statements.
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:04
$begingroup$
You only seem to be counting the subgroups of order $p^2$. There are others.
$endgroup$
– Jeremy Rickard
Dec 30 '18 at 13:11
$begingroup$
I only wanted those of order p^2, still dont know how to do it though
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:13
$begingroup$
@PedroSantos, I have calculated the result for subgroup of order $p$2$ only
$endgroup$
– M. A. SARKAR
Dec 30 '18 at 13:15
$begingroup$
Yes i know thanks, but im not sure how you did it .
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:16
|
show 3 more comments
$begingroup$
To answer the complete question it is helpful to know that, in a finite abelian group, the number of subgroups of order $n$ is equal to the number of index $n$ for any $n$. This is basically because finite abelian groups $G$ are isomorphic to their dual groups ${rm Hom}(G,{mathbb C}^times)$, and subgroups of the group correspond to quotients of the dual.
So the final answer is $2(1 + (p+1) + (p^2+p+1)) = 2p^2+4p+6$.
answered Dec 30 '18 at 17:07
Derek HoltDerek Holt
54.3k53573
$endgroup$
$begingroup$
I only knew that finitely generated free modules where isomorphic to their dual, didnt know that a similiar statement worked for finitely generated abelian group and those $Hom$
$endgroup$
– Pedro Santos
Dec 30 '18 at 17:09
1
$begingroup$
That follows from the fact that finite abelian groups are direct sums of cyclic groups.
$endgroup$
– Derek Holt
Dec 30 '18 at 18:07
add a comment |
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%2f3056775%2ffinding-the-number-of-subgroups-of-mathbbz-p3-oplus-mathbbz-p2%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The given group is $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$. We will use the formula $$ |(m,n)|=lcm(|m|,|n|),$$ for any $ m in mathbb{Z}_{p^3}$ and $n in mathbb{Z}_{p^2}$, where $|.|$ denote the order .
Since $m,n$ are the elements of $mathbb{Z}_{p^3}$ and $mathbb{Z}_{p^2}$ respectively, we have $ |m| $ divides $ p^3$ and $|n|$ divides $p^2$.
(i) Show that there is only one subgroup of order of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_p oplus mathbb{Z}_p$.
In this step we calculate the number of element $(m,n)$ of order $p$. You easily check that there are $p^2-1$ elements having order $p^2$. All these $p^2-1$ elements along with the identity element $(0,0)$ form a unique subgroup of order $p^2$ that is isomorphic to $mathbb{Z}_p oplus mathbb{Z}_p$.
(ii) Show that there are $p^2+p$ subgroup of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_{p^2}$.
In this step we will count the number of cyclic subgroups of order $p^2$. In other words we have to find all elements $(m,n)$ of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ having order $p^2$. To do this we need to find
$(a)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|m|=p^2 in mathbb{Z}_{p^3}$,
$(b)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|n|=p^2 in mathbb{Z}_{p^2}$
From part $(a)$ and part $(b)$ Try to show that there are total $p^4-p^2$ elements of order $p^2$ and each cyclic group order $p^2$ has $p^2-p$ elements of order $p^2$.
Hence the number of cyclic subgroup of order $p^2$ is equal to $frac{p^4-p^2}{p^2-p} =p^2+p$.
Thus there is a total of $p^2+p+1$ subgroups of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ of order $p^2$.
answered Dec 30 '18 at 12:59
M. A. SARKARM. A. SARKAR
2,4311819
$endgroup$
$begingroup$
Alright Thanks, But my problem is that i dont know how to prove those statements.
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:04
$begingroup$
You only seem to be counting the subgroups of order $p^2$. There are others.
$endgroup$
– Jeremy Rickard
Dec 30 '18 at 13:11
$begingroup$
I only wanted those of order p^2, still dont know how to do it though
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:13
$begingroup$
@PedroSantos, I have calculated the result for subgroup of order $p$2$ only
$endgroup$
– M. A. SARKAR
Dec 30 '18 at 13:15
$begingroup$
Yes i know thanks, but im not sure how you did it .
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:16
|
show 3 more comments
$begingroup$
The given group is $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$. We will use the formula $$ |(m,n)|=lcm(|m|,|n|),$$ for any $ m in mathbb{Z}_{p^3}$ and $n in mathbb{Z}_{p^2}$, where $|.|$ denote the order .
Since $m,n$ are the elements of $mathbb{Z}_{p^3}$ and $mathbb{Z}_{p^2}$ respectively, we have $ |m| $ divides $ p^3$ and $|n|$ divides $p^2$.
(i) Show that there is only one subgroup of order of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_p oplus mathbb{Z}_p$.
In this step we calculate the number of element $(m,n)$ of order $p$. You easily check that there are $p^2-1$ elements having order $p^2$. All these $p^2-1$ elements along with the identity element $(0,0)$ form a unique subgroup of order $p^2$ that is isomorphic to $mathbb{Z}_p oplus mathbb{Z}_p$.
(ii) Show that there are $p^2+p$ subgroup of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_{p^2}$.
In this step we will count the number of cyclic subgroups of order $p^2$. In other words we have to find all elements $(m,n)$ of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ having order $p^2$. To do this we need to find
$(a)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|m|=p^2 in mathbb{Z}_{p^3}$,
$(b)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|n|=p^2 in mathbb{Z}_{p^2}$
From part $(a)$ and part $(b)$ Try to show that there are total $p^4-p^2$ elements of order $p^2$ and each cyclic group order $p^2$ has $p^2-p$ elements of order $p^2$.
Hence the number of cyclic subgroup of order $p^2$ is equal to $frac{p^4-p^2}{p^2-p} =p^2+p$.
Thus there is a total of $p^2+p+1$ subgroups of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ of order $p^2$.
answered Dec 30 '18 at 12:59
M. A. SARKARM. A. SARKAR
2,4311819
$endgroup$
$begingroup$
Alright Thanks, But my problem is that i dont know how to prove those statements.
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:04
$begingroup$
You only seem to be counting the subgroups of order $p^2$. There are others.
$endgroup$
– Jeremy Rickard
Dec 30 '18 at 13:11
$begingroup$
I only wanted those of order p^2, still dont know how to do it though
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:13
$begingroup$
@PedroSantos, I have calculated the result for subgroup of order $p$2$ only
$endgroup$
– M. A. SARKAR
Dec 30 '18 at 13:15
$begingroup$
Yes i know thanks, but im not sure how you did it .
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:16
|
show 3 more comments
$begingroup$
The given group is $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$. We will use the formula $$ |(m,n)|=lcm(|m|,|n|),$$ for any $ m in mathbb{Z}_{p^3}$ and $n in mathbb{Z}_{p^2}$, where $|.|$ denote the order .
Since $m,n$ are the elements of $mathbb{Z}_{p^3}$ and $mathbb{Z}_{p^2}$ respectively, we have $ |m| $ divides $ p^3$ and $|n|$ divides $p^2$.
(i) Show that there is only one subgroup of order of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_p oplus mathbb{Z}_p$.
In this step we calculate the number of element $(m,n)$ of order $p$. You easily check that there are $p^2-1$ elements having order $p^2$. All these $p^2-1$ elements along with the identity element $(0,0)$ form a unique subgroup of order $p^2$ that is isomorphic to $mathbb{Z}_p oplus mathbb{Z}_p$.
(ii) Show that there are $p^2+p$ subgroup of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_{p^2}$.
In this step we will count the number of cyclic subgroups of order $p^2$. In other words we have to find all elements $(m,n)$ of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ having order $p^2$. To do this we need to find
$(a)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|m|=p^2 in mathbb{Z}_{p^3}$,
$(b)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|n|=p^2 in mathbb{Z}_{p^2}$
From part $(a)$ and part $(b)$ Try to show that there are total $p^4-p^2$ elements of order $p^2$ and each cyclic group order $p^2$ has $p^2-p$ elements of order $p^2$.
Hence the number of cyclic subgroup of order $p^2$ is equal to $frac{p^4-p^2}{p^2-p} =p^2+p$.
Thus there is a total of $p^2+p+1$ subgroups of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ of order $p^2$.
answered Dec 30 '18 at 12:59
M. A. SARKARM. A. SARKAR
2,4311819
$endgroup$
The given group is $mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$. We will use the formula $$ |(m,n)|=lcm(|m|,|n|),$$ for any $ m in mathbb{Z}_{p^3}$ and $n in mathbb{Z}_{p^2}$, where $|.|$ denote the order .
Since $m,n$ are the elements of $mathbb{Z}_{p^3}$ and $mathbb{Z}_{p^2}$ respectively, we have $ |m| $ divides $ p^3$ and $|n|$ divides $p^2$.
(i) Show that there is only one subgroup of order of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_p oplus mathbb{Z}_p$.
In this step we calculate the number of element $(m,n)$ of order $p$. You easily check that there are $p^2-1$ elements having order $p^2$. All these $p^2-1$ elements along with the identity element $(0,0)$ form a unique subgroup of order $p^2$ that is isomorphic to $mathbb{Z}_p oplus mathbb{Z}_p$.
(ii) Show that there are $p^2+p$ subgroup of $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ isomorphic to $ mathbb{Z}_{p^2}$.
In this step we will count the number of cyclic subgroups of order $p^2$. In other words we have to find all elements $(m,n)$ of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ having order $p^2$. To do this we need to find
$(a)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|m|=p^2 in mathbb{Z}_{p^3}$,
$(b)$ all elements $(m,n) in mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$, such that $|n|=p^2 in mathbb{Z}_{p^2}$
From part $(a)$ and part $(b)$ Try to show that there are total $p^4-p^2$ elements of order $p^2$ and each cyclic group order $p^2$ has $p^2-p$ elements of order $p^2$.
Hence the number of cyclic subgroup of order $p^2$ is equal to $frac{p^4-p^2}{p^2-p} =p^2+p$.
Thus there is a total of $p^2+p+1$ subgroups of the group $ mathbb{Z}_{p^3} oplus mathbb{Z}_{p^2}$ of order $p^2$.
answered Dec 30 '18 at 12:59
M. A. SARKARM. A. SARKAR
2,4311819
edited Dec 30 '18 at 20:21
answered Dec 30 '18 at 12:59
M. A. SARKARM. A. SARKAR
2,4311819
answered Dec 30 '18 at 12:59
M. A. SARKARM. A. SARKAR
2,4311819
answered Dec 30 '18 at 12:59
M. A. SARKARM. A. SARKAR
2,4311819
2,4311819
$begingroup$
Alright Thanks, But my problem is that i dont know how to prove those statements.
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:04
$begingroup$
You only seem to be counting the subgroups of order $p^2$. There are others.
$endgroup$
– Jeremy Rickard
Dec 30 '18 at 13:11
$begingroup$
I only wanted those of order p^2, still dont know how to do it though
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:13
$begingroup$
@PedroSantos, I have calculated the result for subgroup of order $p$2$ only
$endgroup$
– M. A. SARKAR
Dec 30 '18 at 13:15
$begingroup$
Yes i know thanks, but im not sure how you did it .
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:16
|
show 3 more comments
$begingroup$
Alright Thanks, But my problem is that i dont know how to prove those statements.
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:04
$begingroup$
You only seem to be counting the subgroups of order $p^2$. There are others.
$endgroup$
– Jeremy Rickard
Dec 30 '18 at 13:11
$begingroup$
I only wanted those of order p^2, still dont know how to do it though
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:13
$begingroup$
@PedroSantos, I have calculated the result for subgroup of order $p$2$ only
$endgroup$
– M. A. SARKAR
Dec 30 '18 at 13:15
$begingroup$
Yes i know thanks, but im not sure how you did it .
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:16
$begingroup$
Alright Thanks, But my problem is that i dont know how to prove those statements.
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:04
$begingroup$
Alright Thanks, But my problem is that i dont know how to prove those statements.
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:04
$begingroup$
You only seem to be counting the subgroups of order $p^2$. There are others.
$endgroup$
– Jeremy Rickard
Dec 30 '18 at 13:11
$begingroup$
You only seem to be counting the subgroups of order $p^2$. There are others.
$endgroup$
– Jeremy Rickard
Dec 30 '18 at 13:11
$begingroup$
I only wanted those of order p^2, still dont know how to do it though
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:13
$begingroup$
I only wanted those of order p^2, still dont know how to do it though
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:13
$begingroup$
@PedroSantos, I have calculated the result for subgroup of order $p$2$ only
$endgroup$
– M. A. SARKAR
Dec 30 '18 at 13:15
$begingroup$
@PedroSantos, I have calculated the result for subgroup of order $p$2$ only
$endgroup$
– M. A. SARKAR
Dec 30 '18 at 13:15
$begingroup$
Yes i know thanks, but im not sure how you did it .
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:16
$begingroup$
Yes i know thanks, but im not sure how you did it .
$endgroup$
– Pedro Santos
Dec 30 '18 at 13:16
|
show 3 more comments
$begingroup$
To answer the complete question it is helpful to know that, in a finite abelian group, the number of subgroups of order $n$ is equal to the number of index $n$ for any $n$. This is basically because finite abelian groups $G$ are isomorphic to their dual groups ${rm Hom}(G,{mathbb C}^times)$, and subgroups of the group correspond to quotients of the dual.
So the final answer is $2(1 + (p+1) + (p^2+p+1)) = 2p^2+4p+6$.
answered Dec 30 '18 at 17:07
Derek HoltDerek Holt
54.3k53573
$endgroup$
$begingroup$
I only knew that finitely generated free modules where isomorphic to their dual, didnt know that a similiar statement worked for finitely generated abelian group and those $Hom$
$endgroup$
– Pedro Santos
Dec 30 '18 at 17:09
1
$begingroup$
That follows from the fact that finite abelian groups are direct sums of cyclic groups.
$endgroup$
– Derek Holt
Dec 30 '18 at 18:07
add a comment |
$begingroup$
To answer the complete question it is helpful to know that, in a finite abelian group, the number of subgroups of order $n$ is equal to the number of index $n$ for any $n$. This is basically because finite abelian groups $G$ are isomorphic to their dual groups ${rm Hom}(G,{mathbb C}^times)$, and subgroups of the group correspond to quotients of the dual.
So the final answer is $2(1 + (p+1) + (p^2+p+1)) = 2p^2+4p+6$.
answered Dec 30 '18 at 17:07
Derek HoltDerek Holt
54.3k53573
$endgroup$
$begingroup$
I only knew that finitely generated free modules where isomorphic to their dual, didnt know that a similiar statement worked for finitely generated abelian group and those $Hom$
$endgroup$
– Pedro Santos
Dec 30 '18 at 17:09
1
$begingroup$
That follows from the fact that finite abelian groups are direct sums of cyclic groups.
$endgroup$
– Derek Holt
Dec 30 '18 at 18:07
add a comment |
$begingroup$
To answer the complete question it is helpful to know that, in a finite abelian group, the number of subgroups of order $n$ is equal to the number of index $n$ for any $n$. This is basically because finite abelian groups $G$ are isomorphic to their dual groups ${rm Hom}(G,{mathbb C}^times)$, and subgroups of the group correspond to quotients of the dual.
So the final answer is $2(1 + (p+1) + (p^2+p+1)) = 2p^2+4p+6$.
answered Dec 30 '18 at 17:07
Derek HoltDerek Holt
54.3k53573
$endgroup$
To answer the complete question it is helpful to know that, in a finite abelian group, the number of subgroups of order $n$ is equal to the number of index $n$ for any $n$. This is basically because finite abelian groups $G$ are isomorphic to their dual groups ${rm Hom}(G,{mathbb C}^times)$, and subgroups of the group correspond to quotients of the dual.
So the final answer is $2(1 + (p+1) + (p^2+p+1)) = 2p^2+4p+6$.
answered Dec 30 '18 at 17:07
Derek HoltDerek Holt
54.3k53573
answered Dec 30 '18 at 17:07
Derek HoltDerek Holt
54.3k53573
answered Dec 30 '18 at 17:07
Derek HoltDerek Holt
54.3k53573
answered Dec 30 '18 at 17:07
Derek HoltDerek Holt
54.3k53573
54.3k53573
$begingroup$
I only knew that finitely generated free modules where isomorphic to their dual, didnt know that a similiar statement worked for finitely generated abelian group and those $Hom$
$endgroup$
– Pedro Santos
Dec 30 '18 at 17:09
1
$begingroup$
That follows from the fact that finite abelian groups are direct sums of cyclic groups.
$endgroup$
– Derek Holt
Dec 30 '18 at 18:07
add a comment |
$begingroup$
I only knew that finitely generated free modules where isomorphic to their dual, didnt know that a similiar statement worked for finitely generated abelian group and those $Hom$
$endgroup$
– Pedro Santos
Dec 30 '18 at 17:09
1
$begingroup$
That follows from the fact that finite abelian groups are direct sums of cyclic groups.
$endgroup$
– Derek Holt
Dec 30 '18 at 18:07
$begingroup$
I only knew that finitely generated free modules where isomorphic to their dual, didnt know that a similiar statement worked for finitely generated abelian group and those $Hom$
$endgroup$
– Pedro Santos
Dec 30 '18 at 17:09
$begingroup$
I only knew that finitely generated free modules where isomorphic to their dual, didnt know that a similiar statement worked for finitely generated abelian group and those $Hom$
$endgroup$
– Pedro Santos
Dec 30 '18 at 17:09
1
1
$begingroup$
That follows from the fact that finite abelian groups are direct sums of cyclic groups.
$endgroup$
– Derek Holt
Dec 30 '18 at 18:07
$begingroup$
That follows from the fact that finite abelian groups are direct sums of cyclic groups.
$endgroup$
– Derek Holt
Dec 30 '18 at 18:07
add a comment |
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%2f3056775%2ffinding-the-number-of-subgroups-of-mathbbz-p3-oplus-mathbbz-p2%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
$begingroup$
The Sylow theorems tell me it exists and that there is only in $mathbb{Z}_{p^2}$, i dont know how to use them for the other one. A group of order p^2 isnt a Sylow-p subggroup in there.
$endgroup$
– Pedro Santos
Dec 30 '18 at 12:23
1
$begingroup$
Sylow's theorems will not help you with this question. They do not tell you anything about groups of prime power order. This question is not particularly easy, but you should be able to make a start. For example, can you determine how many subgroups there are of order $p$?
$endgroup$
– Derek Holt
Dec 30 '18 at 12:28
1
$begingroup$
OK, so if there are $n$ elements of order $p$, then there are $n/(p-1)$ subgroups of order $p$. Also note that all elements of order $p$ are contained in the unique subgroup that is isomorphic to $Z_p oplus Z_p$.
$endgroup$
– Derek Holt
Dec 30 '18 at 12:47
1
$begingroup$
Please don't change the question like this.
$endgroup$
– Shaun
Dec 30 '18 at 13:28
1
$begingroup$
I changed the question back to the original to avoid confusion.
$endgroup$
– Derek Holt
Dec 30 '18 at 14:15