Find the number of $2$-Sylow subgroups in $GL_2(mathbb F_5)$












3












$begingroup$


First, we can calculate the order of $GL_2(mathbb F_5)$ to find the order of the $2$-Sylow subgroups.



$$|GL_2(mathbb F_5)|=(5^2-1)(5^2-5)=24cdot 20=2^5cdot 3cdot 5$$



Thus we have $|P|=2^5$.



Now by using Sylow theorems, we can try to find $m$, the number of $2$-Sylow subgroups.



$$m | frac{|GL_2(mathbb F_5)|}{|P|}, m equiv 1 mod p$$



$$m | 3cdot 5,m equiv 1 mod 2 $$



The solution given in my textbook involves the third Sylow theorem, $m = left[ G : N _ { G } ( P ) right]$ and $m=6$. While this solution would be simpler since $N _ { G } ( P )$ is the group of upper triangular matrices, I was wondering where was the error in my reasoning. $6$ does not divide $3cdot 5$ so there must be an error.



EDIT: Here is the correction given by my teacher:



Taking as P the subgroup, we claim that $N _ { G } ( P ) = { T | T in mathrm { GL } _ { 2 } left( mathbb { F } _ { 5 } right)$ is upper triangular $}$.



$$
A U A ^ { - 1 } = ( a d - b c ) ^ { - 1 } left[ begin{array} { l l } { a } & { b } \ { c } & { d } end{array} right] left[ begin{array} { l l } { 1 } & { x } \ { 0 } & { 1 } end{array} right] left[ begin{array} { c c } { d } & { - b } \ { - c } & { a } end{array} right]
$$

$$
= ( a d - b c ) ^ { - 1 } left[ begin{array} { c c } { a d - b c - a c x } & { a ^ { 2 } x } \ { - c ^ { 2 } x } & { a d - b c + a c x } end{array} right]
$$

$$
= left[ begin{array} { c c } { 1 - acx( a d - b c ) ^ { - 1 } } & { a ^ { 2 } x ( a d - b c ) ^ { - 1 } } \ { - c ^ { 2 } x ( a d - b c ) ^ { - 1 } } & { 1 + a c x ( a d - b c ) ^ { - 1 } } end{array} right]
$$

$text { Therefore, } A U A ^ { - 1 } in P text { is equivalent to: }$
$$
left{ begin{array} { l l } { a c x = 0 } & { forall x in mathbb { F } _ { 5 } } \ { c ^ { 2 } x = 0 } & { forall x in mathbb { F } _ { 5 } } end{array} right.
$$

which, in turn, is equivalent to $c = 0$. $
text { Therefore, } N _ { G } ( P ) = { T | T in mathrm { G } mathrm { L } _ { 2 } left( mathbb { F } _ { 5 } right) text { is upper triangular } }
$



$$
m = left[ G : N _ { G } ( P ) right] = frac { | G | } { left| N _ { G } ( P ) right| } = frac { 480 } { 80 } = 6
$$










share|cite|improve this question











$endgroup$












  • $begingroup$
    If they describe the subgroup of upper triangular matrices as the normalizer of a Sylow subgroup my educated guess is that there is a typo and they wanted you to figure out the number of Sylow $5$-subgroups. Anyway, you are right, the number of Sylow $2$-subgroups is always odd.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:15












  • $begingroup$
    One Sylow $2$-subgroup of this group is the group of monomial matrices $M$. That is, invertible matrices with a single non-zero entry on both rows and columns. There will be $4cdot4=16$ diagonal matrices in $M$, and $16$ matrices with zeros on the diagonal.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:18












  • $begingroup$
    @JyrkiLahtonen I added the correction given by the teacher. Your comment makes more sense, with $32$ we would have $480/32=15=3 cdot 5$ which is precisely the result required by both Sylow theorems
    $endgroup$
    – NotAbelianGroup
    Jan 7 at 18:27










  • $begingroup$
    Ok, the edit clinches it. The matrices of the form $$pmatrix{1&xcr0&1cr}$$ form a Sylow $5$-subgroup. After all, there are five choices for $x$. Your teacher is looking for the normalizer of that group.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:27












  • $begingroup$
    But do check with your teacher. Is the question about Sylow-2 or Sylow-5 subgroups?
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:31
















3












$begingroup$


First, we can calculate the order of $GL_2(mathbb F_5)$ to find the order of the $2$-Sylow subgroups.



$$|GL_2(mathbb F_5)|=(5^2-1)(5^2-5)=24cdot 20=2^5cdot 3cdot 5$$



Thus we have $|P|=2^5$.



Now by using Sylow theorems, we can try to find $m$, the number of $2$-Sylow subgroups.



$$m | frac{|GL_2(mathbb F_5)|}{|P|}, m equiv 1 mod p$$



$$m | 3cdot 5,m equiv 1 mod 2 $$



The solution given in my textbook involves the third Sylow theorem, $m = left[ G : N _ { G } ( P ) right]$ and $m=6$. While this solution would be simpler since $N _ { G } ( P )$ is the group of upper triangular matrices, I was wondering where was the error in my reasoning. $6$ does not divide $3cdot 5$ so there must be an error.



EDIT: Here is the correction given by my teacher:



Taking as P the subgroup, we claim that $N _ { G } ( P ) = { T | T in mathrm { GL } _ { 2 } left( mathbb { F } _ { 5 } right)$ is upper triangular $}$.



$$
A U A ^ { - 1 } = ( a d - b c ) ^ { - 1 } left[ begin{array} { l l } { a } & { b } \ { c } & { d } end{array} right] left[ begin{array} { l l } { 1 } & { x } \ { 0 } & { 1 } end{array} right] left[ begin{array} { c c } { d } & { - b } \ { - c } & { a } end{array} right]
$$

$$
= ( a d - b c ) ^ { - 1 } left[ begin{array} { c c } { a d - b c - a c x } & { a ^ { 2 } x } \ { - c ^ { 2 } x } & { a d - b c + a c x } end{array} right]
$$

$$
= left[ begin{array} { c c } { 1 - acx( a d - b c ) ^ { - 1 } } & { a ^ { 2 } x ( a d - b c ) ^ { - 1 } } \ { - c ^ { 2 } x ( a d - b c ) ^ { - 1 } } & { 1 + a c x ( a d - b c ) ^ { - 1 } } end{array} right]
$$

$text { Therefore, } A U A ^ { - 1 } in P text { is equivalent to: }$
$$
left{ begin{array} { l l } { a c x = 0 } & { forall x in mathbb { F } _ { 5 } } \ { c ^ { 2 } x = 0 } & { forall x in mathbb { F } _ { 5 } } end{array} right.
$$

which, in turn, is equivalent to $c = 0$. $
text { Therefore, } N _ { G } ( P ) = { T | T in mathrm { G } mathrm { L } _ { 2 } left( mathbb { F } _ { 5 } right) text { is upper triangular } }
$



$$
m = left[ G : N _ { G } ( P ) right] = frac { | G | } { left| N _ { G } ( P ) right| } = frac { 480 } { 80 } = 6
$$










share|cite|improve this question











$endgroup$












  • $begingroup$
    If they describe the subgroup of upper triangular matrices as the normalizer of a Sylow subgroup my educated guess is that there is a typo and they wanted you to figure out the number of Sylow $5$-subgroups. Anyway, you are right, the number of Sylow $2$-subgroups is always odd.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:15












  • $begingroup$
    One Sylow $2$-subgroup of this group is the group of monomial matrices $M$. That is, invertible matrices with a single non-zero entry on both rows and columns. There will be $4cdot4=16$ diagonal matrices in $M$, and $16$ matrices with zeros on the diagonal.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:18












  • $begingroup$
    @JyrkiLahtonen I added the correction given by the teacher. Your comment makes more sense, with $32$ we would have $480/32=15=3 cdot 5$ which is precisely the result required by both Sylow theorems
    $endgroup$
    – NotAbelianGroup
    Jan 7 at 18:27










  • $begingroup$
    Ok, the edit clinches it. The matrices of the form $$pmatrix{1&xcr0&1cr}$$ form a Sylow $5$-subgroup. After all, there are five choices for $x$. Your teacher is looking for the normalizer of that group.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:27












  • $begingroup$
    But do check with your teacher. Is the question about Sylow-2 or Sylow-5 subgroups?
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:31














3












3








3


1



$begingroup$


First, we can calculate the order of $GL_2(mathbb F_5)$ to find the order of the $2$-Sylow subgroups.



$$|GL_2(mathbb F_5)|=(5^2-1)(5^2-5)=24cdot 20=2^5cdot 3cdot 5$$



Thus we have $|P|=2^5$.



Now by using Sylow theorems, we can try to find $m$, the number of $2$-Sylow subgroups.



$$m | frac{|GL_2(mathbb F_5)|}{|P|}, m equiv 1 mod p$$



$$m | 3cdot 5,m equiv 1 mod 2 $$



The solution given in my textbook involves the third Sylow theorem, $m = left[ G : N _ { G } ( P ) right]$ and $m=6$. While this solution would be simpler since $N _ { G } ( P )$ is the group of upper triangular matrices, I was wondering where was the error in my reasoning. $6$ does not divide $3cdot 5$ so there must be an error.



EDIT: Here is the correction given by my teacher:



Taking as P the subgroup, we claim that $N _ { G } ( P ) = { T | T in mathrm { GL } _ { 2 } left( mathbb { F } _ { 5 } right)$ is upper triangular $}$.



$$
A U A ^ { - 1 } = ( a d - b c ) ^ { - 1 } left[ begin{array} { l l } { a } & { b } \ { c } & { d } end{array} right] left[ begin{array} { l l } { 1 } & { x } \ { 0 } & { 1 } end{array} right] left[ begin{array} { c c } { d } & { - b } \ { - c } & { a } end{array} right]
$$

$$
= ( a d - b c ) ^ { - 1 } left[ begin{array} { c c } { a d - b c - a c x } & { a ^ { 2 } x } \ { - c ^ { 2 } x } & { a d - b c + a c x } end{array} right]
$$

$$
= left[ begin{array} { c c } { 1 - acx( a d - b c ) ^ { - 1 } } & { a ^ { 2 } x ( a d - b c ) ^ { - 1 } } \ { - c ^ { 2 } x ( a d - b c ) ^ { - 1 } } & { 1 + a c x ( a d - b c ) ^ { - 1 } } end{array} right]
$$

$text { Therefore, } A U A ^ { - 1 } in P text { is equivalent to: }$
$$
left{ begin{array} { l l } { a c x = 0 } & { forall x in mathbb { F } _ { 5 } } \ { c ^ { 2 } x = 0 } & { forall x in mathbb { F } _ { 5 } } end{array} right.
$$

which, in turn, is equivalent to $c = 0$. $
text { Therefore, } N _ { G } ( P ) = { T | T in mathrm { G } mathrm { L } _ { 2 } left( mathbb { F } _ { 5 } right) text { is upper triangular } }
$



$$
m = left[ G : N _ { G } ( P ) right] = frac { | G | } { left| N _ { G } ( P ) right| } = frac { 480 } { 80 } = 6
$$










share|cite|improve this question











$endgroup$




First, we can calculate the order of $GL_2(mathbb F_5)$ to find the order of the $2$-Sylow subgroups.



$$|GL_2(mathbb F_5)|=(5^2-1)(5^2-5)=24cdot 20=2^5cdot 3cdot 5$$



Thus we have $|P|=2^5$.



Now by using Sylow theorems, we can try to find $m$, the number of $2$-Sylow subgroups.



$$m | frac{|GL_2(mathbb F_5)|}{|P|}, m equiv 1 mod p$$



$$m | 3cdot 5,m equiv 1 mod 2 $$



The solution given in my textbook involves the third Sylow theorem, $m = left[ G : N _ { G } ( P ) right]$ and $m=6$. While this solution would be simpler since $N _ { G } ( P )$ is the group of upper triangular matrices, I was wondering where was the error in my reasoning. $6$ does not divide $3cdot 5$ so there must be an error.



EDIT: Here is the correction given by my teacher:



Taking as P the subgroup, we claim that $N _ { G } ( P ) = { T | T in mathrm { GL } _ { 2 } left( mathbb { F } _ { 5 } right)$ is upper triangular $}$.



$$
A U A ^ { - 1 } = ( a d - b c ) ^ { - 1 } left[ begin{array} { l l } { a } & { b } \ { c } & { d } end{array} right] left[ begin{array} { l l } { 1 } & { x } \ { 0 } & { 1 } end{array} right] left[ begin{array} { c c } { d } & { - b } \ { - c } & { a } end{array} right]
$$

$$
= ( a d - b c ) ^ { - 1 } left[ begin{array} { c c } { a d - b c - a c x } & { a ^ { 2 } x } \ { - c ^ { 2 } x } & { a d - b c + a c x } end{array} right]
$$

$$
= left[ begin{array} { c c } { 1 - acx( a d - b c ) ^ { - 1 } } & { a ^ { 2 } x ( a d - b c ) ^ { - 1 } } \ { - c ^ { 2 } x ( a d - b c ) ^ { - 1 } } & { 1 + a c x ( a d - b c ) ^ { - 1 } } end{array} right]
$$

$text { Therefore, } A U A ^ { - 1 } in P text { is equivalent to: }$
$$
left{ begin{array} { l l } { a c x = 0 } & { forall x in mathbb { F } _ { 5 } } \ { c ^ { 2 } x = 0 } & { forall x in mathbb { F } _ { 5 } } end{array} right.
$$

which, in turn, is equivalent to $c = 0$. $
text { Therefore, } N _ { G } ( P ) = { T | T in mathrm { G } mathrm { L } _ { 2 } left( mathbb { F } _ { 5 } right) text { is upper triangular } }
$



$$
m = left[ G : N _ { G } ( P ) right] = frac { | G | } { left| N _ { G } ( P ) right| } = frac { 480 } { 80 } = 6
$$







abstract-algebra group-theory finite-groups sylow-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 8 at 1:43









the_fox

2,90031538




2,90031538










asked Jan 7 at 18:05









NotAbelianGroupNotAbelianGroup

18711




18711












  • $begingroup$
    If they describe the subgroup of upper triangular matrices as the normalizer of a Sylow subgroup my educated guess is that there is a typo and they wanted you to figure out the number of Sylow $5$-subgroups. Anyway, you are right, the number of Sylow $2$-subgroups is always odd.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:15












  • $begingroup$
    One Sylow $2$-subgroup of this group is the group of monomial matrices $M$. That is, invertible matrices with a single non-zero entry on both rows and columns. There will be $4cdot4=16$ diagonal matrices in $M$, and $16$ matrices with zeros on the diagonal.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:18












  • $begingroup$
    @JyrkiLahtonen I added the correction given by the teacher. Your comment makes more sense, with $32$ we would have $480/32=15=3 cdot 5$ which is precisely the result required by both Sylow theorems
    $endgroup$
    – NotAbelianGroup
    Jan 7 at 18:27










  • $begingroup$
    Ok, the edit clinches it. The matrices of the form $$pmatrix{1&xcr0&1cr}$$ form a Sylow $5$-subgroup. After all, there are five choices for $x$. Your teacher is looking for the normalizer of that group.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:27












  • $begingroup$
    But do check with your teacher. Is the question about Sylow-2 or Sylow-5 subgroups?
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:31


















  • $begingroup$
    If they describe the subgroup of upper triangular matrices as the normalizer of a Sylow subgroup my educated guess is that there is a typo and they wanted you to figure out the number of Sylow $5$-subgroups. Anyway, you are right, the number of Sylow $2$-subgroups is always odd.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:15












  • $begingroup$
    One Sylow $2$-subgroup of this group is the group of monomial matrices $M$. That is, invertible matrices with a single non-zero entry on both rows and columns. There will be $4cdot4=16$ diagonal matrices in $M$, and $16$ matrices with zeros on the diagonal.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:18












  • $begingroup$
    @JyrkiLahtonen I added the correction given by the teacher. Your comment makes more sense, with $32$ we would have $480/32=15=3 cdot 5$ which is precisely the result required by both Sylow theorems
    $endgroup$
    – NotAbelianGroup
    Jan 7 at 18:27










  • $begingroup$
    Ok, the edit clinches it. The matrices of the form $$pmatrix{1&xcr0&1cr}$$ form a Sylow $5$-subgroup. After all, there are five choices for $x$. Your teacher is looking for the normalizer of that group.
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:27












  • $begingroup$
    But do check with your teacher. Is the question about Sylow-2 or Sylow-5 subgroups?
    $endgroup$
    – Jyrki Lahtonen
    Jan 7 at 18:31
















$begingroup$
If they describe the subgroup of upper triangular matrices as the normalizer of a Sylow subgroup my educated guess is that there is a typo and they wanted you to figure out the number of Sylow $5$-subgroups. Anyway, you are right, the number of Sylow $2$-subgroups is always odd.
$endgroup$
– Jyrki Lahtonen
Jan 7 at 18:15






$begingroup$
If they describe the subgroup of upper triangular matrices as the normalizer of a Sylow subgroup my educated guess is that there is a typo and they wanted you to figure out the number of Sylow $5$-subgroups. Anyway, you are right, the number of Sylow $2$-subgroups is always odd.
$endgroup$
– Jyrki Lahtonen
Jan 7 at 18:15














$begingroup$
One Sylow $2$-subgroup of this group is the group of monomial matrices $M$. That is, invertible matrices with a single non-zero entry on both rows and columns. There will be $4cdot4=16$ diagonal matrices in $M$, and $16$ matrices with zeros on the diagonal.
$endgroup$
– Jyrki Lahtonen
Jan 7 at 18:18






$begingroup$
One Sylow $2$-subgroup of this group is the group of monomial matrices $M$. That is, invertible matrices with a single non-zero entry on both rows and columns. There will be $4cdot4=16$ diagonal matrices in $M$, and $16$ matrices with zeros on the diagonal.
$endgroup$
– Jyrki Lahtonen
Jan 7 at 18:18














$begingroup$
@JyrkiLahtonen I added the correction given by the teacher. Your comment makes more sense, with $32$ we would have $480/32=15=3 cdot 5$ which is precisely the result required by both Sylow theorems
$endgroup$
– NotAbelianGroup
Jan 7 at 18:27




$begingroup$
@JyrkiLahtonen I added the correction given by the teacher. Your comment makes more sense, with $32$ we would have $480/32=15=3 cdot 5$ which is precisely the result required by both Sylow theorems
$endgroup$
– NotAbelianGroup
Jan 7 at 18:27












$begingroup$
Ok, the edit clinches it. The matrices of the form $$pmatrix{1&xcr0&1cr}$$ form a Sylow $5$-subgroup. After all, there are five choices for $x$. Your teacher is looking for the normalizer of that group.
$endgroup$
– Jyrki Lahtonen
Jan 7 at 18:27






$begingroup$
Ok, the edit clinches it. The matrices of the form $$pmatrix{1&xcr0&1cr}$$ form a Sylow $5$-subgroup. After all, there are five choices for $x$. Your teacher is looking for the normalizer of that group.
$endgroup$
– Jyrki Lahtonen
Jan 7 at 18:27














$begingroup$
But do check with your teacher. Is the question about Sylow-2 or Sylow-5 subgroups?
$endgroup$
– Jyrki Lahtonen
Jan 7 at 18:31




$begingroup$
But do check with your teacher. Is the question about Sylow-2 or Sylow-5 subgroups?
$endgroup$
– Jyrki Lahtonen
Jan 7 at 18:31










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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3065291%2ffind-the-number-of-2-sylow-subgroups-in-gl-2-mathbb-f-5%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
















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3065291%2ffind-the-number-of-2-sylow-subgroups-in-gl-2-mathbb-f-5%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Bressuire

Cabo Verde

Gyllenstierna