Characterize Abelian Factor Group to Direct Product

Clash Royale CLAN TAG#URR8PPP
up vote
4
down vote
favorite
What group is isomorphic to $(mathbbZ_4timesmathbbZ_4timesmathbbZ_8)/langle(1,2,4)rangle$?
I can only see that $mathbbZ_4timesmathbbZ_4timesmathbbZ_8$ has $128$ elements and $langle(1,2,4)rangle$ has $4$ elements, so this factor group will have $128/4=32$ elements, and will therefore be isomorphic to exactly one of the following groups:
$$
mathbbZ_32,
quad
mathbbZ_16timesmathbbZ_2,
quad
mathbbZ_8timesmathbbZ_4,
quad
mathbbZ_8timesmathbbZ_2timesmathbbZ_2,
quad
mathbbZ_4times mathbbZ_4timesmathbbZ_2
$$
However, determining which one it is actually isomorphic to seems like a messy work, I can only do it by writing all the cosets and see which abelian group it is isomorphic to. Is there any faster and reliable method?
abstract-algebra group-theory abelian-groups finitely-generated direct-product
add a comment |Â
up vote
4
down vote
favorite
What group is isomorphic to $(mathbbZ_4timesmathbbZ_4timesmathbbZ_8)/langle(1,2,4)rangle$?
I can only see that $mathbbZ_4timesmathbbZ_4timesmathbbZ_8$ has $128$ elements and $langle(1,2,4)rangle$ has $4$ elements, so this factor group will have $128/4=32$ elements, and will therefore be isomorphic to exactly one of the following groups:
$$
mathbbZ_32,
quad
mathbbZ_16timesmathbbZ_2,
quad
mathbbZ_8timesmathbbZ_4,
quad
mathbbZ_8timesmathbbZ_2timesmathbbZ_2,
quad
mathbbZ_4times mathbbZ_4timesmathbbZ_2
$$
However, determining which one it is actually isomorphic to seems like a messy work, I can only do it by writing all the cosets and see which abelian group it is isomorphic to. Is there any faster and reliable method?
abstract-algebra group-theory abelian-groups finitely-generated direct-product
add a comment |Â
up vote
4
down vote
favorite
up vote
4
down vote
favorite
What group is isomorphic to $(mathbbZ_4timesmathbbZ_4timesmathbbZ_8)/langle(1,2,4)rangle$?
I can only see that $mathbbZ_4timesmathbbZ_4timesmathbbZ_8$ has $128$ elements and $langle(1,2,4)rangle$ has $4$ elements, so this factor group will have $128/4=32$ elements, and will therefore be isomorphic to exactly one of the following groups:
$$
mathbbZ_32,
quad
mathbbZ_16timesmathbbZ_2,
quad
mathbbZ_8timesmathbbZ_4,
quad
mathbbZ_8timesmathbbZ_2timesmathbbZ_2,
quad
mathbbZ_4times mathbbZ_4timesmathbbZ_2
$$
However, determining which one it is actually isomorphic to seems like a messy work, I can only do it by writing all the cosets and see which abelian group it is isomorphic to. Is there any faster and reliable method?
abstract-algebra group-theory abelian-groups finitely-generated direct-product
What group is isomorphic to $(mathbbZ_4timesmathbbZ_4timesmathbbZ_8)/langle(1,2,4)rangle$?
I can only see that $mathbbZ_4timesmathbbZ_4timesmathbbZ_8$ has $128$ elements and $langle(1,2,4)rangle$ has $4$ elements, so this factor group will have $128/4=32$ elements, and will therefore be isomorphic to exactly one of the following groups:
$$
mathbbZ_32,
quad
mathbbZ_16timesmathbbZ_2,
quad
mathbbZ_8timesmathbbZ_4,
quad
mathbbZ_8timesmathbbZ_2timesmathbbZ_2,
quad
mathbbZ_4times mathbbZ_4timesmathbbZ_2
$$
However, determining which one it is actually isomorphic to seems like a messy work, I can only do it by writing all the cosets and see which abelian group it is isomorphic to. Is there any faster and reliable method?
abstract-algebra group-theory abelian-groups finitely-generated direct-product
edited Aug 26 at 10:33
Jendrik Stelzner
7,58221037
7,58221037
asked Aug 26 at 7:58
kelvin hong æÂ¹
3137
3137
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
3
down vote
accepted
As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
First, use the $1$ in the bottom-left to get rid of the last row and first column:
$$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
$$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
where a factor $Bbb Z/4Bbb Z$ splits out.
Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$
Wow, seems like a new method for me. I will research a little more on this topic, thanks!
â kelvin hong æÂ¹
Aug 26 at 12:25
@kelvin You're welcome.
â Arnaud Mortier
Aug 26 at 22:48
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
First, use the $1$ in the bottom-left to get rid of the last row and first column:
$$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
$$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
where a factor $Bbb Z/4Bbb Z$ splits out.
Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$
Wow, seems like a new method for me. I will research a little more on this topic, thanks!
â kelvin hong æÂ¹
Aug 26 at 12:25
@kelvin You're welcome.
â Arnaud Mortier
Aug 26 at 22:48
add a comment |Â
up vote
3
down vote
accepted
As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
First, use the $1$ in the bottom-left to get rid of the last row and first column:
$$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
$$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
where a factor $Bbb Z/4Bbb Z$ splits out.
Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$
Wow, seems like a new method for me. I will research a little more on this topic, thanks!
â kelvin hong æÂ¹
Aug 26 at 12:25
@kelvin You're welcome.
â Arnaud Mortier
Aug 26 at 22:48
add a comment |Â
up vote
3
down vote
accepted
up vote
3
down vote
accepted
As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
First, use the $1$ in the bottom-left to get rid of the last row and first column:
$$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
$$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
where a factor $Bbb Z/4Bbb Z$ splits out.
Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$
As explained in detail here you need to find the Smith normal form of the matrix $$pmatrix4&0&0\0&4&0\0&0&8\1&2&4$$
First, use the $1$ in the bottom-left to get rid of the last row and first column:
$$pmatrix4&0&0\0&4&0\0&0&8\1&2&4topmatrix4&-8&-16\0&4&0\0&0&8\1&0&0topmatrixcolorred0&-8&-16\colorred0&4&0\colorred0&0&8\colorred1&colorred0&colorred0$$
The isolated $1$ corresponds to a factor $Bbb Z/1Bbb Z$ which is the trivial group, so we forget about it. We proceed with the remaining $3times 2$ matrix
$$pmatrix-8&-16\4&0\0&8to pmatrixcolorred0&-16\colorred4&colorred0\colorred0&8$$
where a factor $Bbb Z/4Bbb Z$ splits out.
Finally $$pmatrix-16\8topmatrix0\8$$ gives you the last factor, $Bbb Z/8Bbb Z$. Hence the quotient is isomorphic to: $$Bbb Z/4Bbb Ztimes Bbb Z/8Bbb Z$$
answered Aug 26 at 8:25
Arnaud Mortier
19.6k22159
19.6k22159
Wow, seems like a new method for me. I will research a little more on this topic, thanks!
â kelvin hong æÂ¹
Aug 26 at 12:25
@kelvin You're welcome.
â Arnaud Mortier
Aug 26 at 22:48
add a comment |Â
Wow, seems like a new method for me. I will research a little more on this topic, thanks!
â kelvin hong æÂ¹
Aug 26 at 12:25
@kelvin You're welcome.
â Arnaud Mortier
Aug 26 at 22:48
Wow, seems like a new method for me. I will research a little more on this topic, thanks!
â kelvin hong æÂ¹
Aug 26 at 12:25
Wow, seems like a new method for me. I will research a little more on this topic, thanks!
â kelvin hong æÂ¹
Aug 26 at 12:25
@kelvin You're welcome.
â Arnaud Mortier
Aug 26 at 22:48
@kelvin You're welcome.
â Arnaud Mortier
Aug 26 at 22:48
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2894808%2fcharacterize-abelian-factor-group-to-direct-product%23new-answer', 'question_page');
);
Post as a guest
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
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
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