Differences

This shows you the differences between two versions of the page.

--- theorem:sylow_s_theorem [2013/08/09 05:12]
joshuawiscons
+++ theorem:sylow_s_theorem [2013/08/13 11:29] (current)
joshuawiscons
@@ Line 1: / Line 1: @@
 ====== Sylow's theorem ======
+$\DeclareMathOperator{\syl}{Syl}$
 **Theorem.** Let $G$ be a finite [[Definition:Group|group]] and $p$ a prime. Write $|G| = np^k$ with $(n,p) = 1$. Then
-  - $G$ acts [[Definition:Transitive Group Action|transitively]] on $\textrm{Syl}_p(G)$ by [[Definition:Conjugation|conjugation]] with $|\textrm{Syl}_p(G)| \equiv 1$ modulo $p$, and
+  - $G$ acts [[Definition:Transitive Group Action|transitively]] on $\syl_p(G)$ by [[Definition:Conjugation|conjugation]] with $|\syl_p(G)| \equiv 1$ modulo $p$, and
-  - every $P \in \textrm{Syl}_p(G)$ has [[Definition:Order of a Group|order]] $p^k$.
+  - every $P \in \syl_p(G)$ has [[Definition:Order of a Group|order]] $p^k$.
 ----
 ==== Remarks ====
   * $(n,p)$ denotes the greatest common divisor of $n$ and $p$.
-  * $\textrm{Syl}_p(G)$ denotes the collection of [[Definition:Sylow p-Subgroup|Sylow $p$-subgroups]] of $G$.
+  * $\syl_p(G)$ denotes the collection of [[Definition:Sylow p-Subgroup|Sylow $p$-subgroups]] of $G$.
 ----

Abstract Algebra IBL Wiki