Difference between revisions of "Sylow Theorems"

Latest revision as of 11:25, 9 April 2019

The Sylow theorems are a collection of results in the theory of finite groups. They give a partial converse to Lagrange's Theorem, and are one of the most important results in the field. They are named for P. Ludwig Sylow, who published their proof in 1872.

The Theorems

Throughout this article, $p$ will be an arbitrary prime.

The three Sylow theorems are as follows:

Theorem. Every finite group contains a Sylow $p$ -subgroup.

Theorem. In every finite group, the Sylow $p$ -subgroups are conjugates.

Theorem. In every finite group, the number of Sylow $p$ -subgroups is equivalent to 1 (mod $p$ ).

As $0\neq 1 \pmod{p}$ , the third theorem implies the first.

Before proving the third theorem, we show some preliminary results.

Lemma 1. Let $r$ and $m$ be nonnegative integers. Then $\binom{p^r m}{p^r} \equiv m \pmod{p} .$

Proof. Let $G$ be a group of order $p^r$ (e.g., $\mathbb{Z}/p^r\mathbb{Z}$ , and let $S$ be a set of size $m$ . Let $G$ act on the set $G \times T$ by the law $g(\alpha, x) \mapsto (g\alpha, x)$ ; extend this action canonically to the subsets of $G \times S$ of size $p^r$ . There are $\binom{p^r m}{p^r}$ such subsets.

Evidently, a subset of $A \times T$ is stable under this action if and only if $A= G$ . Thus the fixed points of the action are exactly the subsets of the form $G \times \{x\}$ , for $x\in S$ . Then there are $m$ fixed points. Therefore $\binom{p^r m}{p^r} \equiv m,$ since the $p$ -group $G$ operates on a set of size $\binom{p^r m}{p^r}$ with $m$ fixed points. $\blacksquare$

Let $G$ be a finite group, and let its order be $n= p^r m$ , for some integer $m$ not divisible by $p$ .

Lemma 2. Let $\mathfrak{P}$ be the set of subsets of $G$ of size $p^r$ , and let $G$ act on $\mathfrak{P}$ by left translation. Suppose $\mathfrak{H}$ is an orbit of $\mathfrak{P}$ such that $p$ does not divide $\lvert \mathfrak{H} \rvert$ . Then $\mathfrak{H}$ has $m$ elements, and they are disjoint.

Proof. Since $\lvert \mathfrak{H} \rvert$ divides $n = p^r m$ but is relatively prime to $p^r$ , it follows that $\lvert \mathfrak{H} \rvert$ divides $m$ ; in particular, $\lvert \mathfrak{H} \rvert \le m$ . Since every element of $G$ is included in some element of $\mathfrak{H}$ , $\lvert G \rvert = \biggl\lvert \bigcup_{H \in \mathfrak{H}} H \biggr\rvert \le \lvert \mathfrak{H} \rvert \cdot p^r \le m \cdot p^r,$ with equality only when the elements of $\mathfrak{H}$ are disjoint and when $\mathfrak{H}=m$ . Since equality does occur, both these conditions must be true. $\blacksquare$

Theorem 3. The number of finite subgroups of $G$ is equivalent to 1 (mod $p$ ).

Proof. Consider the action of $G$ on $\mathfrak{P}$ , as described in Lemma 2. Since $\binom{n}{p} \equiv m \pmod{p},$ and every orbit $\mathfrak{H}$ of $\mathfrak{P}$ for which $p$ does not divide $\lvert \mathfrak{H} \rvert$ has $m$ elements, it follows that the number of such orbits is equivalent to 1 (mod $p$ ). It thus suffices to show that every such orbit contains exactly one Sylow $p$ -subgroup, and that every Sylow $p$ -subgroup is contained in exactly one such orbit.

To this end, let $\mathfrak{H}$ be an orbit of $\mathfrak{P}$ for which $p$ does not divide $\mathfrak{H}$ . Consider the equivalence relation $R(x,y)$ on elements of $G$ , defined as " $x$ and $y$ are in the same element of $\mathfrak{H}$ ". Then $R$ is compatible with left translation by $G$ ; since the elements of $\mathfrak{H}$ are disjoint, $R$ is an equivalence relation. Thus the equivalence class of the identity is a subgroup $H$ of $G$ , which must have order $p^r$ . Since this is the only element of $\mathfrak{H}$ that contains the identity, it is the only group in $\mathfrak{H}$ .

Conversely, if $H$ is a Sylow $p$ -subgroup, then its orbit is its set of left cosets, which has size $m$ , which $p$ does not divide. Since orbits are disjoint, $H$ is contained in exactly one orbit of $\mathfrak{P}$ . $\blacksquare$

We now prove a more general theorem that implies the second Sylow theorem.

Theorem 4. Let $H$ be a Sylow $p$ -subgroup of $G$ , and let $K$ be a $p$ -subgroup of $G$ . Then $K$ is a subgroup of some conjugate of $H$ .

Proof. Consider the left operation of $K$ on $G/H$ , the set of left cosets of $G$ modulo $H$ . Since the order of $K$ is some power of $p$ , say $p^s$ , the size of each orbit must divide $p^s$ ; since there are $m$ cosets, and $p \nmid m$ , it follows that some orbit must have size 1, i.e., there must be some $g\in G$ such that $gH$ is stable under the operation by $K$ . Then for all $k \in K$ , $g^{-1}kgH = g^{-1}gH = H,$ i.e., $g^{-1}kg$ stabilizes $H$ . Thus $g^{-1}kg \in H$ . It follows that $g^{-1}Kg \subseteq H$ , or $K\subseteq gHg^{-1}$ . $\blacksquare$

Corollary 5 (second Sylow theorem). The Sylow $p$ -subgroups of $G$ are conjugates.

Corollary 6. Every subgroup of $G$ that is a $p$ -group is contained in a Sylow $p$ -subgroup of $G$ .

Corollary 7. Let $P$ be a Sylow $p$ -subgroup of $G$ , let $N$ be its normalizer, and let $M$ be a subgroup of $G$ that contains $M$ . Then $M$ is its own normalizer.

Proof. Let $g$ be an element of $G$ such that $gMg^{-1} \subseteq M$ . Then $gPg^{-1}$ is a Sylow $p$ -subgroup of $M$ . Since the Sylow $p$ -subgroups of $M$ are conjugates, there exists $m\in M$ such that $mPm^{-1} = gPg^{-1}$ . It follows that $g^{-1}m$ normalizes $P$ , so $g^{-1}m \in N \subseteq M$ . Hence $g\in M$ . Thus the normalizer of $M$ is a subset of $M$ . Since the opposite is true in general, $M$ is its own normalizer. $\blacksquare$

Corollary 8. Let $G_1$ and $G_2$ be finite groups, and $f$ a homomorphism of $G_1$ into $G_2$ . Let $P_1$ be a Sylow $p$ -subgroup of $G_1$ . Then there exists a Sylow $p$ -subgroup $P_2$ of $G_2$ such that $f(P_1) \subseteq P_2$ .

For $f(P_1)$ is a $p$ -subgroup of $G_2$ ; this corollary then follows from Corollary 6.

Corollary 9. Let $H$ be as subgroup of $G$ and let $P$ be a Sylow $p$ -subgroup of $H$ . Then there exists a Sylow $p$ -subgroup $P'$ of $G$ such that $P = H \cap P'$ .

Proof. There must be some Sylow $p$ -subgroup $P'$ of $H$ that contains $P$ . Since $P' \cap H$ is a $p$ -subgroup of $H$ , it can be no larger than $P$ . $\blacksquare$

Corollary 10. Conversely, if $P'$ is a Sylow $p$ -subgroup of $G$ and $H$ is a normal subgroup of $G$ , then $H \cap P'$ is a Sylow $p$ -subgroup of $H$ .

Proof. Let $s$ be the greatest integer such that $p^s$ divides the order of $H$ . Let $\phi$ be the canonical homomorphism from $G$ to $G/H$ . Then $H \cap P'$ is the kernel of the restriction of $\phi$ to $P'$ . Since $P'/(H \cap P')$ is isomorphic to $P'/H$ , a $p$ -subgroup of $G/H$ of order not exceeding $p^{r-s}$ , it follows from Lagrange's Theorem that $H \cap P'$ has order at least $p^s$ . Thus $p \nmid (H : H\cap P')$ ; since $H\cap P'$ is a $p$ -subgroup of $H$ , it follows that it is a Sylow $p$ -subgroup of $H$ . $\blacksquare$

Note that this is not true in general if $H$ is not normal. For instance $\{e, (12) \}$ is a Sylow 2-subgroup of the symmetric group $S_3$ and $\{e,(23)\}$ is a subgroup of $S_3$ , but their intersection, $\{e\}$ , is evidently not a Sylow 2-subgroup of $\{e,(23)\}$ .

Corollary 11. Let $N$ be a normal subgroup of $G$ , let $\phi : G \to G/N$ be the canonical homomorphism. Then the image of every Sylow $p$ -subgroup of $G$ under $\phi$ is a Sylow $p$ -subgroup of $G/N$ ; furthermore, every Sylow $p$ -subgroup of $G/N$ is the image of a Sylow $p$ -subgroup of $G$ under $\phi$ .

Proof. Let $P$ be a Sylow $p$ -subgroup of $G$ ; let the order of $N$ be $p^sa$ , where $a$ is a positive integer not divisible by $p$ . By Corollary 9, $P \cap N$ is a group of order $p^s$ ; it follows that $\phi(P)$ is isomorphic to $P/(P \cap N)$ , a group of order $p^{r-s}$ , so $\phi(P)$ is a Sylow $p$ -subgroup of $G/N$ . Now, let $P'$ be a Sylow $p$ -subgroup of $G/N$ ; then there exists $\alpha \in G/N$ such that $P' = \alpha^{-1} \cdot \phi(P) \alpha$ . Let $a \in G$ be such that $\phi(a) = \alpha$ ; then $P' = \phi(a^{-1} P a)$ . $\blacksquare$

@@ Line 3: / Line 3: @@
 == The Theorems ==
-Throughout this article, <math>p</math> will be a prime.
+Throughout this article, <math>p</math> will be an arbitrary prime.
-First, we show a lemma.
+The three Sylow theorems are as follows:
+:'''Theorem.'''  Every finite group contains a [[Sylow p-subgroup |Sylow <math>p</math>-subgroup]].
+:'''Theorem.'''  In every finite group, the Sylow <math>p</math>-subgroups are [[conjugate (group theory) |conjugates]].
+:'''Theorem.'''  In every finite group, the number of Sylow <math>p</math>-subgroups is equivalent to 1 (mod <math>p</math>).
-'''Lemma.'''  Let <math>n=p^rm</math>, where <math>r</math> is an nonnegative integer and <math>m</math> is a nonnegative integer not divisible by <math>p</math>.  Then
+As <math>0\neq 1 \pmod{p}</math>, the third theorem implies the first.
-<cmath> \binom{n}{p^r} \not\equiv 0 \pmod{p} . </cmath>
-''Proof.''  Let <math>G</math> be a group of order <math>p^r</math> (e.g., <math>\mathbb{Z}/p^r\mathbb{Z}</math>, and let <math>S</math> be a [[set]] of size <math>m</math>.  Let <math>G</math> act on the set <math>G \times T</math> by the law <math>g(\alpha, x) \mapsto (g\alpha, x)</math>; extend this action canonically to the subsets of <math>G \times S</math> of size <math>p^r</math>.  Evidently, there are <math>\binom{n}{p^r}</math> such subsets.
+Before proving the third theorem, we show some preliminary results.
-Evidently, a subset of <math>A \times T</math> is stable under this action if and only if <math>A= G</math>.  Thus the fixed points of the action are exactly the subsets of the form <math>G \times \{x\}</math>, for <math>x\in S</math>.  Then there are <math>m</math> fixed points.  Then
+'''Lemma 1.'''  Let <math>r</math> and <math>m</math> be nonnegative integers.  Then
-<cmath> \binom{n}{p^r} \equiv m \not\equiv 0 \pmod{p}, </cmath>
+<cmath> \binom{p^r m}{p^r} \equiv m \pmod{p} . </cmath>
-since the <math>p</math>-group <math>G</math> operates on a set of size <math>\binom{n}{p^r}</math> with <math>m</math> fixed points.  <math>\blacksquare</math>
-Let <math>G</math> be a finite group.
+''Proof.''  Let <math>G</math> be a group of order <math>p^r</math> (e.g., <math>\mathbb{Z}/p^r\mathbb{Z}</math>, and let <math>S</math> be a [[set]] of size <math>m</math>.  Let <math>G</math> act on the set <math>G \times T</math> by the law <math>g(\alpha, x) \mapsto (g\alpha, x)</math>; extend this action canonically to the subsets of <math>G \times S</math> of size <math>p^r</math>.  There are <math>\binom{p^r m}{p^r}</math> such subsets.
-'''Theorem 1.'''  For every prime <math>p</math>, every finite group contains a [[Sylow p-subgroup |Sylow <math>p</math>-subgroup]].
+Evidently, a subset of <math>A \times T</math> is stable under this action if and only if <math>A= G</math>.  Thus the fixed points of the action are exactly the subsets of the form <math>G \times \{x\}</math>, for <math>x\in S</math>.  Then there are <math>m</math> fixed points.  Therefore
+<cmath> \binom{p^r m}{p^r} \equiv m, </cmath>
+since the <math>p</math>-group <math>G</math> operates on a set of size <math>\binom{p^r m}{p^r}</math> with <math>m</math> fixed points.  <math>\blacksquare</math>
-''Proof.''  Let <math>G</math> be a finite group of [[order (group theory) |order]] <math>n = p^r m</math>, for some positive integer <math>m</math>, not divisible by <math>p</math>.  Let <math>\mathfrak{P}</math> denote the set of subsets of <math>G</math> of size <math>p^r</math>.  Consider the action of <math>G</math> by left translation on the elements of <math>\mathfrak{P}</math>.  There are <math>\binom{n}{p^r}</math> such subsets.  Since
+Let <math>G</math> be a finite group, and let its order be <math>n= p^r m</math>, for some integer <math>m</math> not divisible by <math>p</math>.
-<cmath> \binom{n}{p^r} \not\equiv 0 \pmod{p}, </cmath>
-some [[orbit]] <math>\mathfrak{H}</math> of <math>\mathfrak{P}</math> must have cardinality not divisible by <math>p</math>.  Since <math>\lvert \mathfrak{H} \rvert \mid n</math>, it follows that <math>\lvert \mathfrak{H} \rvert \mid m</math>; in particular, <math>\lvert \mathfrak{H} \rvert \le m</math>.  Since each element of <math>G</math> must be contained in one of the elements of <math>\mathfrak{H}</math>, it follows that the elements of <math>\mathfrak{H}</math> must be disjoint.
-Consider now the equivalence relation <math>R(x,y)</math> on elements of <math>G</math>, defined as "<math>x</math> and <math>y</math> are in the same element of <math>\mathfrak{H}</math>".  Then <math>R</math> is compatible with left translation by <math>G</math>; since the elements of <math>\mathfrak{H}</math> are disjoint, <math>R</math> is an [[equivalence relation]].  Thus the [[equivalence class]] of the identity is a subgroup <math>H</math> of <math>G</math>, which must have order <math>p^r</math>.  <math>\blacksquare</math>
+'''Lemma 2.''' Let <math>\mathfrak{P}</math> be the set of subsets of <math>G</math> of size <math>p^r</math>, and let <math>G</math> act on <math>\mathfrak{P}</math> by left translation.  Suppose <math>\mathfrak{H}</math> is an [[orbit]] of <math>\mathfrak{P}</math> such that <math>p</math> does not divide <math>\lvert \mathfrak{H} \rvert</math>.  Then <math>\mathfrak{H}</math> has <math>m</math> elements, and they are disjoint.
-'''Theorem 2.'''  The Sylow <math>p</math>-subgroups of <math>G</math> are [[conjugate (group theory) |conjugates]].
+''Proof.''  Since <math>\lvert \mathfrak{H} \rvert</math> divides <math>n = p^r m</math> but is relatively prime to <math>p^r</math>, it follows that <math>\lvert \mathfrak{H} \rvert</math> divides <math>m</math>; in particular, <math>\lvert \mathfrak{H} \rvert \le m</math>.  Since every element of <math>G</math> is included in some element of <math>\mathfrak{H}</math>,
+<cmath> \lvert G \rvert = \biggl\lvert \bigcup_{H \in \mathfrak{H}} H \biggr\rvert \le \lvert \mathfrak{H} \rvert \cdot p^r \le m \cdot p^r, </cmath>
+with equality only when the elements of <math>\mathfrak{H}</math> are disjoint and when <math>\mathfrak{H}=m</math>.  Since equality does occur, both these conditions must be true.  <math>\blacksquare</math>
-'''Theorem 3.''' The number of Sylow <math>p</math>-subgroups of <math>G</math> is equivalent to 1 (mod <math>p</math>).
+'''Theorem 3.'''  The number of finite subgroups of <math>G</math> is equivalent to 1 (mod <math>p</math>).
+''Proof.''  Consider the action of <math>G</math> on <math>\mathfrak{P}</math>, as described in Lemma 2.  Since
+<cmath> \binom{n}{p} \equiv m \pmod{p}, </cmath>
+and every orbit <math>\mathfrak{H}</math> of <math>\mathfrak{P}</math> for which <math>p</math> does not divide <math>\lvert \mathfrak{H} \rvert</math> has <math>m</math> elements, it follows that the number of such orbits is equivalent to 1 (mod <math>p</math>).  It thus suffices to show that every such orbit contains exactly one Sylow <math>p</math>-subgroup, and that every Sylow <math>p</math>-subgroup is contained in exactly one such orbit.
+To this end, let <math>\mathfrak{H}</math> be an orbit of <math>\mathfrak{P}</math> for which <math>p</math> does not divide <math>\mathfrak{H}</math>.  Consider the equivalence relation <math>R(x,y)</math> on elements of <math>G</math>, defined as "<math>x</math> and <math>y</math> are in the same element of <math>\mathfrak{H}</math>".  Then <math>R</math> is compatible with left translation by <math>G</math>; since the elements of <math>\mathfrak{H}</math> are disjoint, <math>R</math> is an [[equivalence relation]].  Thus the [[equivalence class]] of the identity is a subgroup <math>H</math> of <math>G</math>, which must have order <math>p^r</math>.  Since this is the only element of <math>\mathfrak{H}</math> that contains the identity, it is the only group in <math>\mathfrak{H}</math>.
+Conversely, if <math>H</math> is a Sylow <math>p</math>-subgroup, then its orbit is its set of [[coset |left cosets]], which has size <math>m</math>, which <math>p</math> does not divide.  Since orbits are disjoint, <math>H</math> is contained in exactly one orbit of <math>\mathfrak{P}</math>.  <math>\blacksquare</math>
+We now prove a more general theorem that implies the second Sylow theorem.
+'''Theorem 4.'''  Let <math>H</math> be a Sylow <math>p</math>-subgroup of <math>G</math>, and let <math>K</math> be a <math>p</math>-subgroup of <math>G</math>.  Then <math>K</math> is a subgroup of some conjugate of <math>H</math>.
+''Proof.''   Consider the left operation of <math>K</math> on <math>G/H</math>, the set of left cosets of <math>G</math> modulo <math>H</math>.  Since the order of <math>K</math> is some power of <math>p</math>, say <math>p^s</math>, the size of each orbit must divide <math>p^s</math>; since there are <math>m</math> cosets, and <math>p \nmid m</math>, it follows that some orbit must have size 1, i.e., there must be some <math>g\in G</math> such that <math>gH</math> is stable under the operation by <math>K</math>.  Then for all <math>k \in K</math>,
+<cmath> g^{-1}kgH = g^{-1}gH = H, </cmath>
+i.e., <math>g^{-1}kg</math> stabilizes <math>H</math>.  Thus <math>g^{-1}kg \in H</math>.  It follows that <math>g^{-1}Kg \subseteq H</math>, or <math>K\subseteq gHg^{-1}</math>.  <math>\blacksquare</math>
+'''Corollary 5 (second Sylow theorem).'''  The Sylow <math>p</math>-subgroups of <math>G</math> are conjugates.
+'''Corollary 6.'''  Every subgroup of <math>G</math> that is a <math>p</math>-group is contained in a Sylow <math>p</math>-subgroup of <math>G</math>.
+'''Corollary 7.'''   Let <math>P</math> be a Sylow <math>p</math>-subgroup of <math>G</math>, let <math>N</math> be its [[normalizer]], and let <math>M</math> be a subgroup of <math>G</math> that contains <math>M</math>.  Then <math>M</math> is its own normalizer.
+''Proof.''  Let <math>g</math> be an element of <math>G</math> such that <math>gMg^{-1} \subseteq M</math>.  Then <math>gPg^{-1}</math> is a Sylow <math>p</math>-subgroup of <math>M</math>.  Since the Sylow <math>p</math>-subgroups of <math>M</math> are conjugates, there exists <math>m\in M</math> such that <math>mPm^{-1} = gPg^{-1}</math>.  It follows that <math>g^{-1}m</math> normalizes <math>P</math>, so <math>g^{-1}m \in N \subseteq M</math>.  Hence <math>g\in M</math>.  Thus the normalizer of <math>M</math> is a subset of <math>M</math>.  Since the opposite is true in general, <math>M</math> is its own normalizer.  <math>\blacksquare</math>
+'''Corollary 8.'''  Let <math>G_1</math> and <math>G_2</math> be finite groups, and <math>f</math> a [[homomorphism]] of <math>G_1</math> into <math>G_2</math>.  Let <math>P_1</math> be a Sylow <math>p</math>-subgroup of <math>G_1</math>.  Then there exists a Sylow <math>p</math>-subgroup <math>P_2</math> of <math>G_2</math> such that <math>f(P_1) \subseteq P_2</math>.
+For <math>f(P_1)</math> is a <math>p</math>-subgroup of <math>G_2</math>; this corollary then follows from Corollary 6.
+'''Corollary 9.'''  Let <math>H</math> be as subgroup of <math>G</math> and let <math>P</math> be a Sylow <math>p</math>-subgroup of <math>H</math>.  Then there exists a Sylow <math>p</math>-subgroup <math>P'</math> of <math>G</math> such that <math>P = H \cap P'</math>.
+''Proof.''  There must be some Sylow <math>p</math>-subgroup <math>P'</math> of <math>H</math> that contains <math>P</math>.  Since <math>P' \cap H</math> is a <math>p</math>-subgroup of <math>H</math>, it can be no larger than <math>P</math>.  <math>\blacksquare</math>
+'''Corollary 10.''' Conversely, if <math>P'</math> is a Sylow <math>p</math>-subgroup of <math>G</math> and <math>H</math> is a [[normal subgroup]] of <math>G</math>, then <math>H \cap P'</math> is a Sylow <math>p</math>-subgroup of <math>H</math>.
+''Proof.''  Let <math>s</math> be the greatest integer such that <math>p^s</math> divides the [[order (group theory) |order]] of <math>H</math>.  Let <math>\phi</math> be the canonical homomorphism from <math>G</math> to <math>G/H</math>.  Then <math>H \cap P'</math> is the [[kernel]] of the restriction of <math>\phi</math> to <math>P'</math>.  Since <math>P'/(H \cap P')</math> is isomorphic to <math>P'/H</math>, a <math>p</math>-subgroup of <math>G/H</math> of order not exceeding <math>p^{r-s}</math>, it follows from Lagrange's Theorem that <math>H \cap P'</math> has order at least <math>p^s</math>.  Thus <math>p \nmid (H : H\cap P')</math>; since <math>H\cap P'</math> is a <math>p</math>-subgroup of <math>H</math>, it follows that it is a Sylow <math>p</math>-subgroup of <math>H</math>.  <math>\blacksquare</math>
+Note that this is not true in general if <math>H</math> is not normal.  For instance <math>\{e, (12) \}</math> is a Sylow 2-subgroup of the [[symmetric group]] <math>S_3</math> and <math>\{e,(23)\}</math> is a subgroup of <math>S_3</math>, but their intersection, <math>\{e\}</math>, is evidently not a Sylow 2-subgroup of <math>\{e,(23)\}</math>.
+'''Corollary 11.'''  Let <math>N</math> be a normal subgroup of <math>G</math>, let <math>\phi : G \to G/N</math> be the canonical homomorphism.  Then the image of every Sylow <math>p</math>-subgroup of <math>G</math> under <math>\phi</math> is a Sylow <math>p</math>-subgroup of <math>G/N</math>; furthermore, every Sylow <math>p</math>-subgroup of <math>G/N</math> is the image of a Sylow <math>p</math>-subgroup of <math>G</math> under <math>\phi</math>.
+''Proof.''  Let <math>P</math> be a Sylow <math>p</math>-subgroup of <math>G</math>; let the order of <math>N</math> be <math>p^sa</math>, where <math>a</math> is a positive integer not divisible by <math>p</math>.  By Corollary 9, <math>P \cap N</math> is a group of order <math>p^s</math>; it follows that <math>\phi(P)</math> is isomorphic to <math>P/(P \cap N)</math>, a group of order <math>p^{r-s}</math>, so <math>\phi(P)</math> is a Sylow <math>p</math>-subgroup of <math>G/N</math>.  Now, let <math>P'</math> be a Sylow <math>p</math>-subgroup of <math>G/N</math>; then there exists <math>\alpha \in G/N</math> such that <math>P' = \alpha^{-1} \cdot \phi(P) \alpha</math>.  Let <math>a \in G</math> be such that <math>\phi(a) = \alpha</math>; then <math>P' = \phi(a^{-1} P a)</math>.  <math>\blacksquare</math>
 == See also ==
@@ Line 35: / Line 80: @@
 * [[Sylow p-subgroup]]
 * [[Lagrange's Theorem]]
+* [[Nilpotent group]]
 [[Category:Group theory]]
+[[Category: Theorems]]

Page

Toolbox

Search

Difference between revisions of "Sylow Theorems"

Latest revision as of 11:25, 9 April 2019

The Theorems

See also