diff --git a/contents/algebra.tex b/contents/algebra.tex
index fcb8d3a..9a00d52 100644
--- a/contents/algebra.tex
+++ b/contents/algebra.tex
@@ -54,6 +54,22 @@
 	Un groupe est dit \textbf{abélien} ou \textbf{commutatif} si la loi de composition est commutative \ref{definition:commutativity}.
 \end{definition_sq}
 
+\begin{definition_sq}
+	Soit $(G, +) \in \Ab$, on appelle $T$ \textbf{groupe de torsion} l'ensemble $T := \{ g \in G \mid \exists n \in \N, g^n = \Identity_G \} \subseteq G$.
+\end{definition_sq}
+
+\begin{definition_sq}
+	Soit $(G, +) \in \Ab$, si le groupe de torsion $T = \{ \Identity_G \}$ alors $G$ est dit \textbf{sans torsion}.
+\end{definition_sq}
+
+\begin{theorem_sq}
+	Soit $(G, +) \in \Ab$, le groupe de torsion $T$ est un groupe.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
 \langsubsubsection{Sous-groupe}{Subgroup}
 
 \begin{definition_sq} \label{definition:subgroup}
@@ -96,7 +112,7 @@
 \end{definition_sq}
 
 \begin{theorem_sq} \label{theorem:identity_homomorphism_is_identity}
-	Soit $(G, +)$ et $(H, \star)$ deux groupes \ref{definition:group} et $f$ un homomorphisme entre $G$ et $H$ \ref{definition:honomorphism}.
+	Soit $(G, +)$ et $(H, \star)$ deux groupes \ref{definition:group} et $f$ un homomorphisme entre $G$ et $H$ \ref{definition:homomorphism}.
 
 	$$f(\Identity_G) = \Identity_H$$
 \end{theorem_sq}
@@ -108,7 +124,7 @@
 \end{proof}
 
 \begin{theorem_sq} \label{theorem:inv_homomorphism_is_inv}
-	Soit $(G, +)$ et $(H, \star)$ deux groupes \ref{definition:group} et $f$ un homomorphisme entre $G$ et $H$ \ref{definition:honomorphism}.
+	Soit $(G, +)$ et $(H, \star)$ deux groupes \ref{definition:group} et $f$ un homomorphisme entre $G$ et $H$ \ref{definition:homomorphism}.
 
 	$$\forall x \in G, f(x^{-1}) = f^{-1}(x)$$
 \end{theorem_sq}
@@ -134,7 +150,7 @@
 
 	$f$ est un monomorphisme $\implies \forall (x, y) \in G^2 \land x \neq y, \exists! (a, b) \in H^2 \land f(a) = x \land f(b) = y$
 
-	$\implies x \star y = f(a) \star f(b) = f(b) \star f(a) = y \star x$
+	$\implies f(x + y) = f(a) \star f(b) = f(b) \star f(a) = f(y + x)$
 \end{proof}
 
 \begin{theorem_sq} \label{theorem:ab_epimor_imp_ab}
@@ -212,6 +228,248 @@
 	\end{itemize}
 \end{proof}
 
+\langsubsubsection{Groupes cycliques}{Cyclic groups}
+
+\begin{definition_sq} \label{definition:cyclic_group}
+	On dit qu'un groupe $(G, \star)$ \ref{definition:group} est \textbf{cyclique} s'il existe $x \in G$ tel que $\generator{x} = G$. On dit alors que $x$ est un \textbf{générateur} de $G$.
+\end{definition_sq}
+
+\begin{theorem_sq}
+	Soit $(G, \star)$ un groupe cyclique \ref{definition:cyclic_group}
+	\begin{itemize}
+		\item{Si $\card{G} = \infty \implies (G, \star) \isomorphic (\Z, +)$}
+		\item{Si $\card{G} = n < \infty \implies (G, \star) \isomorphic (\Z/n\Z, +)$}
+	\end{itemize}
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star)$ un groupe cyclique fini \ref{definition:cyclic_group} tel que $n := \card{G}$ avec le générateur $a \in G$ ainsi que $x := a^{q}$ avec $q \in \discreteInterval{1, n - 1}$ alors l'ordre de $G$ est $\frac{n}{\gcd(n, q)}$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star)$ un groupe cyclique fini \ref{definition:cyclic_group} tel que $n := \card{G}$ avec $a \in G$ ainsi que $x := a^{q}$ avec $q \in \discreteInterval{1, n - 1}$ si $\gcd(n, q) = 1 \implies x$ est un générateur de $G$.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{definition_sq} \label{definition:euler_indic_func}
+	L'indicatrice d'Euler est défini de la manière suivante : $q(n) := \# \{ n \in \N^* \mid m \le n \land \gcd(m, n) = 1 \}$, si $n = \prod\limits_{k = 1}^r p_i^{k_i} \implies q(n) = n \prod\limits_{i = 1}^r (1 - \frac{1}{P_i})$
+\end{definition_sq}
+
+\begin{theorem_sq}
+	Soit $(G, \star)$ un groupe cyclique d'ordre $n$ \ref{definition:cyclic_group} avec $a \in G$ générateur. Si $d \in \N, d \divides n \implies \exists! H \subgroup G, \card{H} = d$, autrement dit, on a $H = \generator{a^{\frac{n}{d}}}$.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{definition_sq}
+	Soit $(G, \star) \in \Grp$ et $H \subgroup G$. Pour $a \in G$, on appelle \textbf{classe à gauche} de $a$ modulo $H$ ainsi que \textbf{classe à droite} de $a$ modulo $H$ les ensembles suivants $aH := \{ ax \mid x \in H \}$ et $Ha := \{ xa \mid x \in H \}$.
+
+	Soit $x, y \in G^2$, on écrit donc
+	$$x \sim_g y \equivalence y \in xH \equivalence x^{-1}y \in H$$
+	$$x \sim_d y \equivalence y \in Hx \equivalence yx^{-1} \in H$$
+\end{definition_sq}
+
+\begin{theorem_sq}
+	Les notations $\sim_g$ et $\sim_d$ sont des relations d'équivalences.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp$ et $H \subgroup G$ ainsi que $G / \sim_g$ (et $G / \sim_d$) le quotient de $G$. Alors, on a une bijection $\function{\phi}{G / \sim_g}{G / \sim_d}$ $\functiondef{[xH]}{[Hx^{-1}]}$.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{definition_sq} \label{definition:group_indice}
+	Soit $(G, \star) \in \Grp$ et $H \subgroup G$. Si le nombre de classes modulo $H$ est fini, on appelle ce nombre \textbf{l'indice} de $H$ dans $G$ noté $[G:H]$
+\end{definition_sq}
+
+\begin{theorem_sq} \label{theorem:lagrange_theorem}
+	Soit $(G, \star)$ un groupe fini et $H \subgroup G \implies [G:H] = \frac{\card{G}}{\card{H}}$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star)$ un groupe fini d'ordre $n$ et $a \in G \implies [ ord(a) \divides n ] \land [ a^n = 1 ]$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star)$ un groupe fini d'ordre $n$ un nombre premier alors $G$ est cyclique.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\langsubsubsection{Sous-groupe distingué et quotient}{Proper subgroup and quotient}
+
+\begin{definition_sq}
+	Soit $(G, \star) \in \Grp$, on dit que $H \subgroup G$ est \textbf{distingué} si $\forall x \in G, xH = Hx$. On écrira alors $H \normalSubgroup G$ ainsi que $G/H := G / \sim_g = G / \sim_d$ l'ensemble des classes à gauche et droite.
+\end{definition_sq}
+
+\begin{theorem_sq}
+	Le noyau de $\function{f}{(G, \star)}{(H, +)}$ un morphisme de groupe \ref{definition:group_morphism} est distingué.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp$ si $H \subgroup G$ est un sous-groupe d'indice 2 alors $H$ est distingué.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp$, on a $H \normalSubgroup G \equivalence \forall x \in G, xHx^{-1} = H$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp$ et $H \normalSubgroup G \implies G / H$ a une structure de groupe donné par $\function{f}{G/H \cartesianProduct G/H}{G/H} \functiondef{([xH], [yH])}{[xyH]}$ de plus, l'application quotient $\function{q}{G}{G/H} \functiondef{x}{[xH]}$ est un morphisme de groupe avec $\ker(q) = H$.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq} \label{theoren:universal_property_quotient}
+	Soit $(G, \star) \in \Grp$ et $H \normalSubgroup G$ avec quotient $\function{q}{G}{G/H}$ ainsi que le morphisme de groupe $\function{f}{(G, \star)}{(G', +)}$ tel que $H \subseteq \ker(f)$.
+
+	Alors $\exists! \function{\bar{f}}{G/H}{G}$ un morphisme de groupes tel que $f = \bar{f} \composes q$. De plus, on a
+	$\bar{f}$ injectif $\equivalence \ker(f) = H$
+	$\bar{f}$ surjectif $\equivalence f$ surjectif
+
+
+	\[\begin{tikzcd}
+		G \arrow[r, "q"] \arrow[d, "f" left] & G/H \arrow[dl, dotted, "\exists! \bar{f}"] \\
+		G'
+	\end{tikzcd}\]
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $\function{f}{(G, \star)}{(H, +)}$ un morphisme de groupe \ref{definition:group_morphism} alors $G / \ker(f) \isomorphic im(f)$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(p, q) \in \N^2, \gcd(p, q) = 1 \implies \Z/pq\Z \isomorphic \Z/p\Z \cartesianProduct \Z/q\Z$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{definition_sq}
+	Soit $(G, \star) \in \Grp$ et $K \normalSubgroup G$ et $H \subgroup G$. On définit $KH := \{ kh \mid k \in K, h \in H \} \subseteq G$
+\end{definition_sq}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp$ et $K \normalSubgroup G$ et $H \subgroup G \implies KH \subgroup G$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp$ et $K \normalSubgroup G$ et $H \subgroup G \implies KH/K \isomorphic H/K \intersection H$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp$ et $K \normalSubgroup G$ et $H \normalSubgroup G$ tel que $H \subseteq K \implies (K/H) \normalSubgroup (G/H)$ ainsi que $(G/H)/(K/H) \isomorphic G/K$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{definition_sq}
+	Soit $(K, \star) \in \Grp$. On appelle groupe des automorphismes \ref{definition:automorphism}, noté $Aut(K)$, l'ensemble $\{ \phi \in S(K) \mid \phi \in \hom(K, K) \} \subseteq S(K)$
+\end{definition_sq}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp \implies Aut(G) \subgroup S(K)$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{definition_sq}
+	Soit $((K, \star), (Q, \composes)) \in \Grp^2$ ainsi que $\function{\phi}{(Q, \star)}{(Aut(K), \composes)}$ un morphisme de groupes. Alors on appelle \textbf{produit semi-direct} l'opération sur l'ensemble $K \cartesianProduct Q$
+
+	$$\function{\psi}{(K \cartesianProduct Q)^2}{K \cartesianProduct Q} \functiondef{(k_1, q_1), (k_2, q_2)}{(k_1 \star \phi(q_1)(k_2), q_1 \composes q_2))}$$
+\end{definition_sq}
+
+\begin{theorem_sq}
+	Soit $((K, \star), (Q, \composes)) \in \Grp^2$ ainsi que le produit semi-direct $(\psi)$, alors le tuple $(K \cartesianProduct Q, \psi) \in \Grp$ et on le note $K \ltimes_q Q$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Si $K \ltimes_\phi Q$ est un produit semi-direct alors l'application $\function{\pi}{K \ltimes_\phi Q}{Q} \functiondef{(k, q)}{q}$ est un morphisme de groupes et $\ker(\pi) = K$.
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
+\begin{theorem_sq}
+	Soit $(G, \star) \in \Grp$ et $K \normalSubgroup G$.
+
+	$$\exists Q \subgroup G, KQ = G \land K \intersection Q = \{ \Identity_G \} \implies G \isomorphic K \ltimes_\phi Q$$
+\end{theorem_sq}
+
+\begin{proof}
+	% TODO Complete proof
+\end{proof}
+
 \langsubsection{Corps}{Field}
 
 \begin{definition_sq} \label{definition:field}
diff --git a/packages/macros.sty b/packages/macros.sty
index 5d021eb..cf3193c 100644
--- a/packages/macros.sty
+++ b/packages/macros.sty
@@ -54,6 +54,7 @@
 \newenvironment{corollary_sq}{\begin{mdframed}\begin{corollary}}{\end{corollary}\end{mdframed}}
 \DeclarePairedDelimiter{\generator}{\langle}{\rangle}
 \DeclareMathOperator{\subgroup}{\leqslant}
+\DeclareMathOperator{\normalSubgroup}{\triangleleft}
 \newcommand{\rank}[1]{\text{rg}(#1)}
 \DeclarePairedDelimiter{\norm}{\lVert}{\rVert}
 \DeclarePairedDelimiter{\Norm}{\lVert}{\rVert}