non-abelian group of order 27
Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
If $K$ is a field and $A= beginpmatrix a & 0 &0 \ 0 & b &0 \ 0& 0& c endpmatrix$ , $B=beginpmatrix 0 & p &0 \ 0 & 0 &q \ r& 0& 0 endpmatrix$ , $C=beginpmatrix 0 & 0 &x \ y & 0 &0 \ 0& z& 0 endpmatrix$ ,
where $a,b,c,p,q,r,x,y,zin K$ are such that $S:=a,b,c,p,q,r,x,y,z$ is closed under multiplication , then I can show that $A^2,B^2,C^2,AB,BA,BC,CB,AC,CA in Bigg beginpmatrix a' & 0 &0 \ 0 & b' &0 \ 0& 0& c' endpmatrix, beginpmatrix 0 & p' &0 \ 0 & 0 &q' \ r'& 0& 0 endpmatrix, beginpmatrix 0 & 0 &x' \ y' & 0 &0 \ 0& z'& 0 endpmatrix : a',b',c',p',q',r',x',y',z' in S Bigg$
My question is: Can we use this fact to construct a non-abelian group of order $27$ ?
The only way I know of constructing a non-abelian group of order $p^3$ for odd prime $p$ is using upper triangular $3times3$ matrices or special kind of $2times 2$ matrices with entries in $mathbb Z/(p)$ or $mathbb Z/(p^2)$, as given here http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf .
Please help.
Thanks in advance
matrices group-theory finite-groups
add a comment |Â
up vote
2
down vote
favorite
If $K$ is a field and $A= beginpmatrix a & 0 &0 \ 0 & b &0 \ 0& 0& c endpmatrix$ , $B=beginpmatrix 0 & p &0 \ 0 & 0 &q \ r& 0& 0 endpmatrix$ , $C=beginpmatrix 0 & 0 &x \ y & 0 &0 \ 0& z& 0 endpmatrix$ ,
where $a,b,c,p,q,r,x,y,zin K$ are such that $S:=a,b,c,p,q,r,x,y,z$ is closed under multiplication , then I can show that $A^2,B^2,C^2,AB,BA,BC,CB,AC,CA in Bigg beginpmatrix a' & 0 &0 \ 0 & b' &0 \ 0& 0& c' endpmatrix, beginpmatrix 0 & p' &0 \ 0 & 0 &q' \ r'& 0& 0 endpmatrix, beginpmatrix 0 & 0 &x' \ y' & 0 &0 \ 0& z'& 0 endpmatrix : a',b',c',p',q',r',x',y',z' in S Bigg$
My question is: Can we use this fact to construct a non-abelian group of order $27$ ?
The only way I know of constructing a non-abelian group of order $p^3$ for odd prime $p$ is using upper triangular $3times3$ matrices or special kind of $2times 2$ matrices with entries in $mathbb Z/(p)$ or $mathbb Z/(p^2)$, as given here http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf .
Please help.
Thanks in advance
matrices group-theory finite-groups
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
If $K$ is a field and $A= beginpmatrix a & 0 &0 \ 0 & b &0 \ 0& 0& c endpmatrix$ , $B=beginpmatrix 0 & p &0 \ 0 & 0 &q \ r& 0& 0 endpmatrix$ , $C=beginpmatrix 0 & 0 &x \ y & 0 &0 \ 0& z& 0 endpmatrix$ ,
where $a,b,c,p,q,r,x,y,zin K$ are such that $S:=a,b,c,p,q,r,x,y,z$ is closed under multiplication , then I can show that $A^2,B^2,C^2,AB,BA,BC,CB,AC,CA in Bigg beginpmatrix a' & 0 &0 \ 0 & b' &0 \ 0& 0& c' endpmatrix, beginpmatrix 0 & p' &0 \ 0 & 0 &q' \ r'& 0& 0 endpmatrix, beginpmatrix 0 & 0 &x' \ y' & 0 &0 \ 0& z'& 0 endpmatrix : a',b',c',p',q',r',x',y',z' in S Bigg$
My question is: Can we use this fact to construct a non-abelian group of order $27$ ?
The only way I know of constructing a non-abelian group of order $p^3$ for odd prime $p$ is using upper triangular $3times3$ matrices or special kind of $2times 2$ matrices with entries in $mathbb Z/(p)$ or $mathbb Z/(p^2)$, as given here http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf .
Please help.
Thanks in advance
matrices group-theory finite-groups
If $K$ is a field and $A= beginpmatrix a & 0 &0 \ 0 & b &0 \ 0& 0& c endpmatrix$ , $B=beginpmatrix 0 & p &0 \ 0 & 0 &q \ r& 0& 0 endpmatrix$ , $C=beginpmatrix 0 & 0 &x \ y & 0 &0 \ 0& z& 0 endpmatrix$ ,
where $a,b,c,p,q,r,x,y,zin K$ are such that $S:=a,b,c,p,q,r,x,y,z$ is closed under multiplication , then I can show that $A^2,B^2,C^2,AB,BA,BC,CB,AC,CA in Bigg beginpmatrix a' & 0 &0 \ 0 & b' &0 \ 0& 0& c' endpmatrix, beginpmatrix 0 & p' &0 \ 0 & 0 &q' \ r'& 0& 0 endpmatrix, beginpmatrix 0 & 0 &x' \ y' & 0 &0 \ 0& z'& 0 endpmatrix : a',b',c',p',q',r',x',y',z' in S Bigg$
My question is: Can we use this fact to construct a non-abelian group of order $27$ ?
The only way I know of constructing a non-abelian group of order $p^3$ for odd prime $p$ is using upper triangular $3times3$ matrices or special kind of $2times 2$ matrices with entries in $mathbb Z/(p)$ or $mathbb Z/(p^2)$, as given here http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/groupsp3.pdf .
Please help.
Thanks in advance
matrices group-theory finite-groups
asked Aug 25 at 2:57
user521337
14210
14210
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.
The nonabelian group of exponent $3$ $is$
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
,rightrangle$$
and the one of exponent $9$ is
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
,rightrangle.$$
To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
You can prove that the second group has order $27$ with a similar argument.
could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
â user521337
Aug 25 at 17:26
I have added some explanation using group presentations, which is probably the quickest way to prove it.
â Derek Holt
Aug 25 at 19:13
can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
â user521337
Aug 26 at 20:01
for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
â user521337
Aug 26 at 20:25
Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
â Derek Holt
Aug 26 at 21:33
 |Â
show 1 more comment
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.
The nonabelian group of exponent $3$ $is$
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
,rightrangle$$
and the one of exponent $9$ is
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
,rightrangle.$$
To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
You can prove that the second group has order $27$ with a similar argument.
could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
â user521337
Aug 25 at 17:26
I have added some explanation using group presentations, which is probably the quickest way to prove it.
â Derek Holt
Aug 25 at 19:13
can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
â user521337
Aug 26 at 20:01
for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
â user521337
Aug 26 at 20:25
Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
â Derek Holt
Aug 26 at 21:33
 |Â
show 1 more comment
up vote
1
down vote
accepted
Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.
The nonabelian group of exponent $3$ $is$
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
,rightrangle$$
and the one of exponent $9$ is
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
,rightrangle.$$
To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
You can prove that the second group has order $27$ with a similar argument.
could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
â user521337
Aug 25 at 17:26
I have added some explanation using group presentations, which is probably the quickest way to prove it.
â Derek Holt
Aug 25 at 19:13
can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
â user521337
Aug 26 at 20:01
for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
â user521337
Aug 26 at 20:25
Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
â Derek Holt
Aug 26 at 21:33
 |Â
show 1 more comment
up vote
1
down vote
accepted
up vote
1
down vote
accepted
Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.
The nonabelian group of exponent $3$ $is$
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
,rightrangle$$
and the one of exponent $9$ is
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
,rightrangle.$$
To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
You can prove that the second group has order $27$ with a similar argument.
Yes, provided that $K$ contains a primitive cube root $omega$ of $1$. The two nonabelian groups of order $27$ both have irreducible representations of degree $3$ that are induced from $1$-dimensional representations of elementary abelian subgroups of order $9$.
The nonabelian group of exponent $3$ $is$
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&1\1&0&0\0&1&0endarrayright)
,rightrangle$$
and the one of exponent $9$ is
$$leftlangle,left(beginarrayccc1&0&0 \ 0&omega&0 \ 0&0&omega^2 endarrayright),,
left(beginarrayccc0&0&omega\1&0&0\0&1&0endarrayright)
,rightrangle.$$
To see that the first group has order $27$, call the two generators $a$ and $b$. Then $b$ is a permutation matrix, and $b^-1ab = left(beginarraycccomega&0&0\0&omega^2&0\0&0&1endarrayright)$, so $b^-1aba^-1$ is the scalar matrix $omega I_3$, which commutes with $a$ and $b$.
So, putting $c=b^-1aba^-1$, $a$, $b$ and $c$ satisfy the relations of the presentation $$langle a,b,c mid a^3=b^3=c^3=1, c=b^-1aba^-1, [a,c]=[b,c]=1rangle,$$
which define a group of order $27$. It's not hard to see that the group generated by $a$ and $b$ has order greater than $9$, so it must have order $27$.
You can prove that the second group has order $27$ with a similar argument.
edited Aug 25 at 19:12
answered Aug 25 at 8:41
Derek Holt
50.1k53366
50.1k53366
could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
â user521337
Aug 25 at 17:26
I have added some explanation using group presentations, which is probably the quickest way to prove it.
â Derek Holt
Aug 25 at 19:13
can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
â user521337
Aug 26 at 20:01
for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
â user521337
Aug 26 at 20:25
Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
â Derek Holt
Aug 26 at 21:33
 |Â
show 1 more comment
could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
â user521337
Aug 25 at 17:26
I have added some explanation using group presentations, which is probably the quickest way to prove it.
â Derek Holt
Aug 25 at 19:13
can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
â user521337
Aug 26 at 20:01
for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
â user521337
Aug 26 at 20:25
Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
â Derek Holt
Aug 26 at 21:33
could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
â user521337
Aug 25 at 17:26
could you please provide some explanations or references), like why the first group you describe has order $27$ ... ?
â user521337
Aug 25 at 17:26
I have added some explanation using group presentations, which is probably the quickest way to prove it.
â Derek Holt
Aug 25 at 19:13
I have added some explanation using group presentations, which is probably the quickest way to prove it.
â Derek Holt
Aug 25 at 19:13
can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
â user521337
Aug 26 at 20:01
can you not do it without using presentation ? Can we not give an isomorphism of the groups you constructed with those given as in Conrad's article ?
â user521337
Aug 26 at 20:01
for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
â user521337
Aug 26 at 20:25
for the second example, doe the second matrix have order 9 ? How can you show that the order is atmost $27$ ?
â user521337
Aug 26 at 20:25
Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
â Derek Holt
Aug 26 at 21:33
Yes, the second generator has order $9$ (surely you can check that yourself). The second group has presentation $langle a,b mid a^3=b^9=1,a^-1ba=b^7 rangle$.
â Derek Holt
Aug 26 at 21:33
 |Â
show 1 more 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%2f2893770%2fnon-abelian-group-of-order-27%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