Lagrange's Theorem
Forfatter:
Shateil French
Sidst opdateret:
9 år siden
Licens:
Creative Commons CC BY 4.0
Resumé:
Lagrange's Theorem
\begin
Opdag hvorfor 18 millioner mennesker verden rundt stoler på Overleaf med deres arbejde.
Lagrange's Theorem
\begin
Opdag hvorfor 18 millioner mennesker verden rundt stoler på Overleaf med deres arbejde.
\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amsthm}
\begin{document}
\begin{center}
Senior Seminar: Project 1
\\Shateil French
\\Math 4991; Dr. Yi Jiang
\\February 01, 2016
\end{center}
\subsection*{Lagrange's Theorem (Group Theory)}
For any finite group \emph{G}, the order (number of elements) of every subgroup \emph{H} of \emph{G} divides the order of \emph{G}.
\subsection*{Theorem}
The order of a subgroup \emph{H} of group \emph{G} divides the order of \emph{G}. group \emph{G}, a subgroup of \emph{H}
of \emph{G}, and a subgroup \emph{K} of \emph{H}, (\emph{G:K)}=\emph{(G:H)(H:K)}.
Proof:
For any element \textbf{x} of \emph{G}, \{\emph{H}\textbf{x} = {\textbf{h $\cdot$ x} $\mid$ \textbf{h} is in \emph{H}}\} defines a right coset of \emph{H}. By the cancellation law each \textbf{h} in \emph{H} will give a different product when multiplied on the left onto \textbf{x}. Thus \emph{H}\textbf{x} will have the same number of elements as \emph{H}.
Lemma: Two right cosets of a subgroup \emph{H} of a group \emph{G} are either identical or disjoint.
Proof: Suppose $\emph{H}\textbf{x}$ and $\emph{H}\textbf{y}$ have an element in common. Then for some elements $\textbf{h}_1$
and $\textbf{h}_2$ of $\emph{H}$
$$\textbf{h}_1 \cdot \textbf{x} = \textbf{h}_2 \cdot \textbf{y}$$
Since \emph{H} is closed this means there is some element $\textbf{h}_3$ of \emph{H} such that $\textbf{x} = \textbf{h}_3 \cdot y$. This means that every element of \emph{H}\textbf{x} can be written as an element of \emph{H}\textbf{y} by the correspondence
$$\textbf{h} \cdot \textbf{x} = (\textbf{h} \cdot \textbf{h}_3) \cdot \textbf{y}$$
for every \textbf{h} in \emph{H}. We have shown that if \emph{H}\textbf{x} and \emph{H}\textbf{y} have a single element in common then every element of \emph{H}\textbf{x} is in \emph{H}\textbf{y}. By a symmetrical argument it follows that every element of \emph{H}\textbf{y} is in \emph{H}\textbf{x} and therefore the "two" cosets must be the same coset.
Since every element \textbf{g} of \emph{G} is in some coset the elements of \emph{G} can be distributed among \textbf{H} and its right cosets without duplication. If \emph{k} is the number of right cosets and \emph{n} is the number of elements in each coset then $\mid$\emph{G}$\mid$ = \emph{kn}.
\end{document}