Differences

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

--- theorem:sylow_s_theorem [2013/08/08 08:50]
joshuawiscons
+++ theorem:sylow_s_theorem [2013/08/13 11:29] (current)
joshuawiscons
@@ Line 1: / Line 1: @@
-====== Sylow theorems ======
+====== 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 ====
-  * $\textrm{Syl}_p(G)$ denotes the collection of [[Definition:Sylow p-Subgroup|Sylow $p$-subgroups]] of $G$.
+  * $(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 ====
+==== $\LaTeX$ version ====
 <code>
 %%%%%%%%%%
 % DEPENDENCIES
-% --RequiredMacros: \DeclareMathOperator{\syl}{Syl}
+% RequiredMacros: \DeclareMathOperator{\syl}{Syl}
 %%%%%%%%%%
-\begin{theorem}[Sylow's Thereom]
+\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}

Abstract Algebra IBL Wiki

User Tools

Site Tools

Differences

Page Tools