Differences

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

--- theorem:sylow_s_theorem [2013/08/08 06:27]
joshuawiscons
+++ theorem:sylow_s_theorem [2013/08/13 11:29] (current)
joshuawiscons
@@ Line 1: / Line 1: @@
-====== Sylow's Theorem ======
+====== Sylow's theorem ======
-===== Statement =====
+$\DeclareMathOperator{\syl}{Syl}$
-Let $G$ be a finite group and $p$ a prime. Write $|G| = np^k$ with $(n,p) = 1$. Then
+**Theorem.** Let $G$ be a finite [[Definition:Group|group]] and $p$ a prime. Write $|G| = np^k$ with $(n,p) = 1$. Then
-  - $G$ acts transitively on $\textrm{Syl}_p(G)$ by 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 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$.
+  * $\syl_p(G)$ denotes the collection of [[Definition:Sylow p-Subgroup|Sylow $p$-subgroups]] of $G$.
+----
+==== $\LaTeX$ version ====
 <code>
 %%%%%%%%%%
 % DEPENDENCIES
-% -Macros: \DeclareMathOperator{\syl}{Syl}
+% RequiredMacros: \DeclareMathOperator{\syl}{Syl}
 %%%%%%%%%%
+\begin{theorem}[Sylow's thereom]
 Let $G$ be a finite group and $p$ a prime. Write $|G| = np^k$ with $(n,p) = 1$. Then
 \begin{enumerate}
@@ Line 15: / Line 23: @@
 \item every $P \in \syl_p(G)$ has order $p^k$.
 \end{enumerate}
+\end{theorem}
 </code>
-===== External Links =====
+----
+==== External links ====
+  * [[wp>Sylow_theorems]]

Abstract Algebra IBL Wiki

User Tools

Site Tools

Differences

Page Tools