Dad, there’s a bug in my code,” I asked him. “As the first law of programming states, there are not bugs, only unexpected and undocumented features for your users, aka guinea pigs, to discover and maybe, even enjoy,” Anawim, Apocalypse, #justtothepoint.

Definition. A subgroup H of a group G, H ≤ G, is called a normal subgroup of G if aH = Ha, ∀a ∈ G. In other words, a normal subgroup of a group G is one in which the right and left cosets are precisely the same. The usual notation for this relation is H ◁ G. It means ∀a ∈ G, h ∈ H, ∃h’, h’’∈ H: **ah = h’a and ha = ah’’**.

**Normal Subgroup Test or alternative definition**. A subgroup H of a group G is normal in G if and only if is invariant under conjugation by members of the group G. **H ◁ G iff gHg ^{-1} ⊆ H**, ∀g ∈ G, i.e., ∀g ∈ G, h ∈ H, ghg

Recall. An automorphism is an isomorphism from a group to itself.

Let G be a group, and let a be a fixed or given element of G, a ∈ G.An inner automorphism of G (induced or given by a) is defined by the conjugation action of the fixed element a, called the conjugating element i.e., Φ_{a} defined by Φ_{a}(x) = a·x·a^{-1} ∀x ∈ G.

Theorem. For any group G, G/Z(G) is isomorphic to Inn(G), i.e., G/Z(G) ≋ Inn(G).

Proof:

Let’s consider the mapping from T: G/Z(G) → Inn(G), T(gZ(G)) = Φ_{g} where Φ_{g}(x) = gxg^{-1} ∀x ∈ G.

- Is it well-defined? Or, alternatively,
**does the image depend only on the coset itself**and not on the element representing the coset? Let’s suppose that gZ(G) = hZ(G), Φ_{g}= Φ_{h}?

∀x ∈ G, Φ_{g}(x) = gxg^{-1}.

gZ(G) = hZ(G) ⇒ h^{-1}gZ(G) = Z(G) ⇒[aH = H ↭ a ∈ H.] h^{-1}g ∈ Z(G) ⇒ h^{-1}gx = xh^{-1}g ⇒ gx = hxh^{-1}g ⇒ gxg^{-1} = hxh^{-1} ⇒ Φ_{g}(x) = gxg^{-1} = hxh^{-1} = Φ_{h}(x) ⇒ ∀x ∈ G, Φ_{g}(x) = Φ_{h}(x) ⇒ Φ_{g} = Φ_{h}.

- is T one-to-one? Suppose Φ
_{g}= Φ_{h}.

∀x ∈ G, Φ_{g}(x) = Φ_{h}(x) ⇒ gxg^{-1} = hxh^{-1} ⇒ ∀x ∈ G, h^{-1}gxg^{-1} = xh^{-1} ⇒ ∀x ∈ G, h^{-1}gx = xh^{-1}g ⇒ h^{-1}g ∈ Z(G) ⇒[aH = H ↭ a∈H.] h^{-1}gZ(G) = Z(G) ⇒ gZ(G) = hZ(G).

- T is onto by construction and operation preserving, ∀x ∈G: Φ
_{gh}(x)= (gh)x(gh)^{-1}=[Sock- Shoe Property] (gh)x(h^{-1}g^{-1}) = g(hxh^{-1})g^{-1}= gΦ_{h}(x)g^{-1}= Φ_{g}(Φ_{h}(x)) ⇒ Φ_{gh}= Φ_{g}Φ_{h}∎

Example. Inn(D_{6}) ≋ D_{3}.

- The center of the dihedral group D
_{n}, Z(D_{n}) = {e, α^{n/2}}, if n is even. Therefore, |Z(D_{6})| = 2. - |D
_{6}/Z(D_{6})| = 12/2 = 6 = 2·3, 3 prime. - Classification of Groups of Order 2p. Let G be a group, |G| = 2p, p is prime, p ≥ 2 ⇒ G ≋ ℤ
_{2p}or D_{p}. Therefore D_{6}/Z(D_{6}) ≋ Inn(D_{6}) is isomorphic to ℤ_{6}or D_{3}. - If Inn(D
_{6}) were to be cyclic, then D_{6}/Z(D_{6}) would be cyclic ⇒ [Theorem. If G/Z(G) is cyclic, then G is Abelian] However, D_{6}= ⟨a, b | a^{6}= b^{2}= e, ba = a^{-1}b⟩ = {e, a, a^{2}, a^{3}, a^{4}, a^{5}, b, ab, a^{2}b, , a^{3}b, a^{4}b, a^{5}b} is the dihedral group of order 2n, but we know the dihedral groups D_{n}are non-Abelian for n ≥ 3. Therefore, Inn(D_{6}) ≋ D_{3}∎

We know the importance of Lagrange’s Theorem. Let G be a finite group and let H be a subgroup of G. Then, the order of H is a divisor of the order of G.

The converse of Lagrange’s Theorem is not true, e.g., A_{4}, |A_{4}| = 12, but even though 6 is a divisor of 12, A_{4} does not have a subgroup of order 6. Cauchy’s Theorem is a partial converse of Lagrange’s Theorem.

**Cauchy’s Theorem for Abelian Groups**. Let G be a finite Abelian group, |G| = n, and let p be a prime number dividing the order of G, then G contains an element of order p.

Proof.

If G has order 2 ⇒ G ≋ ℤ/2ℤ. If p is a prime such that p divides 2, then p = 2, and ℤ/2ℤ has an element of order 2, namely 1 ⇒ [Group isomorphisms preserve the order of an element] G has an element of order 2, too.

Let’s use induction on |G|. Let’s assume that the statement is true for all Abelian groups with fewer elements than G.

Let a ∈ G, a ≠ e, and let H be the cyclic group it generates, H = ⟨a⟩ ⇒ [Normal. Every subgroup of an Abelian group is normal] H = ⟨x⟩ ◁ G. There are two options:

- If p divides |H|, then $a^{\frac{|H|}{p}}$ is an element of order p, just consider $(a^{\frac{|H|}{p}})^{p}= e$
- If p does not divide |H|, and by assumption p divides |G| ⇒ p divides the order of G/H (|G/H| = |G|/|H|), and by the induction hypothesis (|G/H| < |G|), there is a closet of order p, i.e., there is a xH, for some x ∈ G. Let be m the order of x in G, x
^{m}= e ⇒ (xH)^{m}= x^{m}H = eH = H in G/H ⇒[|xH| = p] p divides m ⇒ x^{m/p}is now an element of order p in G ∎

Corollary. Let G be a finite group and p be a prime. If p | |G|, then G has a subgroup of order p.

Proof.

We already know that there exist a “g” ∈ G, |g| = p ⇒ Consider H = ⟨g⟩, |H| = p∎

Example. Let G = A_{4}. |A_{4}| = 4!/2 = 12 = 2^{2}·3 ⇒ [Cauchy’s Theorem] A_{4} has elements (and hence cyclic subgroups) of order 2 and 3, and these are the 2-2 cycles and the 3-cycles in A_{4}, but **there is no guarantee for elements of order 4, 6, and 12.** In fact, no such elements exists in A_{4}.

**Classification of groups of order p ^{2}**. Let G be a group of order p

Proof:

|G| = p^{2}, p prime. If G has an element of order p^{2}, then G ≋ ℤ_{p2} that’s because if G is a finite cyclic group of order n, then it is isomorphic to (ℤ_{n}, +) or, in other words, we have previously demonstrated that there is only one cyclic group up to isomorphism of any given order.

From now on, let’s suppose that G has not an element of order p^{2} (G is not cyclic) ⇒[By Lagrange’s Theorem Corollary, the order of an element divides the order of the finite group] ∀a ∈ G ⇒ |a| = 1, i.e., it is the trivial element (a = e) or has order p, |a| = p.

Claim: The subgroup generated by any arbitrary element a ∈ G, |a| = p, ⟨a⟩ is normal in G, ⟨a⟩ ◁ G

For the sake of contradiction, let’s suppose that this is not the case. Then, ∃b ∈ G: bab^{-1} ∉ ⟨a⟩ ⇒ [By previous assumption, G is not cyclic] ⟨bab^{-1}⟩ and ⟨a⟩ are distinct subgroups of order p ⇒ ⟨bab^{-1}⟩ ∩ ⟨a⟩ is a subgroup of both of them, and they are distinct subgroups, then ⟨bab^{-1}⟩ ∩ ⟨a⟩ = {e} ⇒ Since |G| = p^{2}, |⟨a⟩| = p, and all cosets have the same order, ⟨bab^{-1}⟩, a⟨bab^{-1}⟩, a^{2}⟨bab^{-1}⟩, … a^{p-1}⟨bab^{-1}⟩ are p distinct left cosets of order p, so every element of G is in one of them (as distinct coset partition G into equivalent classes).

In particularly, b^{-1} must be in one of these cosets, say b^{-1} ∈ a^{i}⟨bab^{-1}⟩ ⇒∃j: b^{-1} = a^{i}(bab^{-1})^{j} = [Observe that bab^{-1}bab^{-1} = ba(b^{-1}b)ab^{-1} = ba^{2}b^{-1}] a^{i}(ba^{j}b^{-1}) ⇒ b^{-1} = a^{i}(ba^{j}b^{-1}) ⇒ [Cancelling terms] e = a^{i}ba^{j} ⇒ b = a^{-i-j} ∈ ⟨a⟩ ⊥

Therefore, **every subgroup of the form ⟨a⟩ is normal in G and of order p**, let a be a non-identity element in G, and b any element of G not in ⟨a⟩, then **G = ⟨a⟩ x ⟨b⟩ ≋ ℤ _{p} ⊕ ℤ_{p}** because of a previous theorem’s requirements are satisfied, namely (i) ⟨a⟩ ◁ G, ⟨b⟩ ◁ G, (ii) G = ⟨a⟩ x ⟨b⟩ -⟨a⟩ and ⟨b⟩ = b⟨a⟩ are a partition of G, |G/⟨a⟩| = p

Corollary. If G is a group of order p^{2}, where p is a prime, then G is Abelian.

Theorem. If m = n_{1}n_{2} ··· n_{k} where gcd(n_{i}, n_{j}) = 1 for i ≠ j, then U(m) = U_{m/n1}(m) x U_{m/n2}(m) x ··· U_{m/nk}(m) ≋ U(n_{1})⊕U(n_{2})⊕ ··· ⊕ U(n_{k}).

Proof.

We used the previous theorem and we have already demonstrated that if s and t are relatively prime, U(st)≈U(s)⊕U(t), U_{s}(st)≈U(t) and U_{t}(st)≈U(s). Besides, m = n_{1}n_{2} ··· n_{k} where gcd(n_{i}, n_{j}) = 1 for i ≠ j, then U(m) = U_{m/n1}(m) x U_{m/n2}(m) x ··· U_{m/nk}(m) ≋ U(n_{1})⊕U(n_{2})⊕ ··· ⊕ U(n_{k}).

Examples:

- U(165) = U(5· 33) = U
_{5}(165) x U_{33}(165) ≋ U(33)⊕U(5). - U(165) = U(3· 55) = U
_{3}(165) x U_{55}(165) ≋ U(55)⊕U(3). - U(165) = U(15· 11) = U
_{15}(165) x U_{11}(165) ≋ U(11)⊕U(15). - U(165) = U(3· 5· 11) = U
_{55}(165) x U_{33}(165)x U_{15}(165) ≋ U(3)⊕U(5)⊕U(11) ≋ ℤ_{2}⊕ ℤ_{4}⊕ ℤ_{10}. - Analogously, U(105) = U(15 · 7) = U
_{15}(105) x U_{7}(105) ≋ U(7)⊕U(15) or, alternatively, U(105) = U(5 · 21) = U_{5}(105) x U_{21}(105) ≋ U(21)⊕U(5). Besides, U(105) = U(3 · 5 · 7) = U_{35}(105) x U_{21}(105) x U_{15}(105) ≋ U(3)⊕U(5)⊕U(7) ≋ ℤ_{2}⊕ ℤ_{4}⊕ ℤ_{6}.

This content is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. This post relies heavily on the following resources, specially on NPTEL-NOC IITM, Introduction to Galois Theory, Michael Penn, and Contemporary Abstract Algebra, Joseph, A. Gallian.

- NPTEL-NOC IITM, Introduction to Galois Theory.
- Algebra, Second Edition, by Michael Artin.
- LibreTexts, Abstract and Geometric Algebra, Abstract Algebra: Theory and Applications (Judson).
- Field and Galois Theory, by Patrick Morandi. Springer.
- Michael Penn (Abstract Algebra), and MathMajor.
- Contemporary Abstract Algebra, Joseph, A. Gallian.
- Andrew Misseldine: College Algebra and Abstract Algebra.