\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{simple group}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{group_theory}{}\paragraph*{{Group Theory}}\label{group_theory}

[[!include group theory - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{standard_definition}{Standard definition}\dotfill \pageref*{standard_definition} \linebreak
\noindent\hyperlink{in_constructive_algebra}{In constructive algebra}\dotfill \pageref*{in_constructive_algebra} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{finite_simple_groups}{Finite simple groups}\dotfill \pageref*{finite_simple_groups} \linebreak
\noindent\hyperlink{directed_colimits}{Directed colimits}\dotfill \pageref*{directed_colimits} \linebreak
\noindent\hyperlink{infinite_simple_groups}{Infinite simple groups}\dotfill \pageref*{infinite_simple_groups} \linebreak
\noindent\hyperlink{tarski_monsters}{Tarski monsters}\dotfill \pageref*{tarski_monsters} \linebreak


\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

\hypertarget{standard_definition}{}\subsubsection*{{Standard definition}}\label{standard_definition}

A \textbf{simple group} is a [[group]] $G$ with exactly two [[quotient group]]s: the [[trivial quotient group]] $\{1\} \cong G/G$ and the group $G \cong G/\{1\}$ itself.

Equivalently, a simple group is a group possessing exactly two [[normal subgroup|normal subgroups]]: the [[trivial subgroup]] $\{1\}$ and the group $G$ itself. One can also say that a normal subgroup is trivial iff it is not $G$, or trivial iff proper (compare the definition in constructive mathematics below).

Note that the [[trivial group]] does not itself count as simple, on the grounds that it has only \emph{one} quotient group (or only one normal subgroup). It may be possible to find authors that use ``at most'' in place of ``exactly'', thereby allowing the trivial group to be simple. (Compare [[too simple to be simple]].)

\hypertarget{in_constructive_algebra}{}\subsubsection*{{In constructive algebra}}\label{in_constructive_algebra}

In [[constructive mathematics]], we consider a group $G$ equipped with a [[tight apartness]] $\ne$ such that the group operations are [[strongly extensional function|strongly extensional]] and use the theory of [[antisubgroups]] (which classically are the complements of subgroups). Then $G$ is \textbf{simple} if, given any [[normal antisubgroup]] $N$ of $G$, $N$ is trivial iff it is proper. Explicitly, this says $N$ owns every nonidentity element (every $x$ such that $x \ne 1$) iff $N$ is [[inhabited subset|inhabited]] (with some $x$ such that necessarily $x \ne 1$). Replacing `iff' with `if' here would allow the trival group to be simple.

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

\hypertarget{finite_simple_groups}{}\subsubsection*{{Finite simple groups}}\label{finite_simple_groups}

Simple groups are most commonly encountered in the theory of [[finite group]]s. Every finite group $G$ admits a [[composition series]], i.e., a finite filtration of subgroups

\begin{displaymath}
1 = G_0 \subseteq G_1 \subseteq \ldots \subseteq G_n = G
\end{displaymath}
where each inclusion $G_i \subseteq G_{i+1}$ is a [[normal subgroup]] and the quotient $G_{i+1}/G_i$ (called a \textbf{composition factor}) is simple. The condition of simplicity means that that the filtration cannot be further refined by addition of strict inclusions of normal subgroups. Furthermore, the [[Jordan-Hölder theorem]] ensures that any two composition series have the same length and the same composition factors (up to permutation).

Thus finite simple groups are in some sense the primitive building blocks of finite groups generally. The massive program of classifying all finite simple groups was announced as completed by Daniel Gorenstein in 1983, although some doubts remained because there were some gaps in proofs. Most if not all the gaps are considered by experts in the area to have been filled, but there remain some notable skeptics, including for example [[Jean-Pierre Serre]], who said in an interview

\begin{quote}%
Whenever I asked the specialists, they replied something like: ``Oh no, it is not a gap; it is just something which has not been written, but there is an incomplete unpublished 800-page manuscript on it.'' For me, it was just the same as a ``gap,'' and I could not understand why it was not acknowledged as such. (\href{https://cs.nyu.edu/pipermail/fom/2008-November/013181.html}{Source})


\end{quote}
and possibly also [[John H. Conway]], although according to \href{https://cs.nyu.edu/pipermail/fom/2008-November/013178.html}{Joe Shipman},

\begin{quote}%
A few months ago I was discussing the COFSG with John Conway and he was still pessimistic. (Meaning of course that he was confident the classification was correct, ``optimistic'' in his case means there are previously undiscovered finite simple groups, because they're beautiful and interesting objects and it would be disappointing to have no more.)


\end{quote}
See [[classification of finite simple groups]].

\hypertarget{directed_colimits}{}\subsubsection*{{Directed colimits}}\label{directed_colimits}

\begin{prop}
\label{directed}\hypertarget{directed}{}
Let $S_\alpha$ be a directed system of simple groups and monomorphisms between them. Then $colim_\alpha S_\alpha$ is also simple.

\end{prop}
\begin{proof}
Suppose $N$ is a normal subgroup of $colim_\alpha S_\alpha$ with a non-identity element. Then $N_\alpha = N \cap S_\alpha$ is normal in $S_\alpha$ (if $x \in S_\alpha$ and $y \in N \cap S_\alpha$, then clearly $x y x^{-1}$ belongs to both $N$ and $S_\alpha$). As soon as $\alpha$ is large enough that $S_\alpha$ contains a non-identity element of $N$, it follows from simplicity of $S_\alpha$ that $N_\alpha = S_\alpha$. By directedness, this shows $N_\alpha = S_\alpha$ for all $\alpha$, and since for any $s \in S$ there is $\alpha$ such that $s \in S_\alpha$, we conclude $s \in S_\alpha = N_\alpha \subseteq N$, i.e., $N$ contains any $s \in S$.

\end{proof}
\hypertarget{infinite_simple_groups}{}\subsubsection*{{Infinite simple groups}}\label{infinite_simple_groups}

There are simple groups of any infinite [[cardinality]] $\kappa$; take for example the smallest normal subgroup of the [[automorphism group]] $Aut(\kappa)$ containing all 3-cycles (this is the infinite version of the [[alternating group]]).

To see that $Alt(\kappa)$ is simple, it is enough to observe that it is a directed colimit of $Alt(X)$ where $X$ ranges over finite subsets of $\kappa$ of cardinality at least $5$; then simplicity of $A_n$ for integers $n \geq 0$, coupled with Proposition \ref{directed}, yields the desired result.

A rather deeper set of examples is afforded by the following result, which follows from a theorem named after \href{https://groupprops.subwiki.org/wiki/Baer-Schreier-Ulam_theorem}{Baer, Ulam, and Schreier}.

\begin{theorem}
\label{}\hypertarget{}{}
For an infinite set $X$, every proper normal subgroup of the permutation group $Sym(X)$ is contained in a maximal such normal subgroup $N_X$, consisting of all permutations that move fewer than ${|X|}$ many elements of $X$, where ${|X|}$ is the cardinality of $X$.

\end{theorem}
It follows that the quotient group $Q_X = Sym(X)/N_X$ is simple, and we have the following corollary.

\begin{cor}
\label{}\hypertarget{}{}
Every group embeds into a simple group.

\end{cor}
\begin{proof}
For finite groups $G$ (WLOG, of cardinality at least $3$), we have the Cayley embedding $G \hookrightarrow Sym(G)$ into the permutation group of the underlying set, and there is an embedding $Sym(G) \hookrightarrow Alt(G + 2)$ which carries an even permutation on $G$ to the obvious even permutation on $G + 2$ that fixes the elements $a, b$ of $2$, and an odd permutation $\pi$ on $G$ to the even permutation $\pi (a\; b)$. Hence $G$ embeds in a simple group $Alt(G + 2)$.

An infinite group $G$ embeds in $Q_G$ via the Cayley embedding

\begin{displaymath}
G \hookrightarrow Sym(G) \to Sym(G)/N_G = Q_G
\end{displaymath}
noting that for any non-identity $g \in G$, the permutation $Cayley(g) = (h \mapsto g h)$ has no fixed points, hence does not belong to $N_G$, so that $G \to Q_G$ is indeed monic.

\end{proof}
\hypertarget{tarski_monsters}{}\paragraph*{{Tarski monsters}}\label{tarski_monsters}

Among the infinite simple groups, there are curious examples called ``Tarski monsters'' for primes $p$, infinite groups with the property that every subgroup is either trivial, of prime order $p$, or the entire group. Their existence (for all primes $p \gt 10^{75}$, according to \href{https://en.wikipedia.org/wiki/Tarski_monster_group}{Wikipedia}) was established only in 1979, by Olshanskii. It may be shown that all such groups must be simple, and generated by two elements, and also that for each prime $p \gt 10^{75}$ there are continuum many monsters for $p$ that are distinct up to isomorphism.

[[!redirects simple group]] [[!redirects simple groups]]



\end{document}