They came up through long discussions, painstaking research, in-depth analysis, some tragic murderers and mysterious disappearances, and trial and error experimentation with abducted human beings involving their genitalia with the Ten Immutable, Absolute, and Transcendent Laws of Physics, Psychology, Philosophy, and Reality that I will so kindly share with you and show you below [···]

Males are fucked when getting married, no matter what species. The game is rigged. [···] There is a special place in hell for people who don’t flush the toilet. [···] Males can love females, but not understand them and have delusions of adequacy and conceit. On the other hand, females are crazy. The reason why females are crazy is because their male partners make them want to chew their veins violently and without mercy. [···] Most properties apply to the empty set, some less properties apply to finite sets, Apocalypse, Anawim, #justothepoint.

Let (A, *) and (B, ⋄) be two binary algebraic structures. A **homomorphism** is a structure-preserving map between two algebraic structures of the same type (groups, rings, fields, vector spaces, etc.) or, in other words, a map ϕ: A → B, such that ∀x, y ∈ S : ϕ(x ∗ y) = ϕ(x) ⋄ ϕ(y).

Notice that ϕ may not be one to one (injection), nor onto (surjection). **An isomorphism is a bijective homomorphism**, i.e., one-to-one and onto. In other words, let (S, *) and (S’, ⋄) be two binary algebraic structures of the same type. An isomorphism of S with S' is a 1-1 function ϕ mapping from S onto S′ such that the homomorphism property holds: ∀x, y ∈ S : ϕ(x ∗ y) = ϕ(x) ⋄ ϕ(y). S and S’ are said to be **isomorphic binary structures** and we denote or write it by S ≋ S'.

In particular, two groups (G, *) and (G', ⋄) are isomorphic if there exist a bijective homomorphism, i.e., a one-to-one and onto map Φ: G → G’ such that the group operation is preserved, that is, ∀x, y ∈ G : ϕ(x ∗ y) = ϕ(x) ⋄ ϕ(y). **Isomorphic groups are equivalent, that is, they share the same algebraic and group theoretic properties.**

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

Examples:

- There are two automorphism of ℤ: the identity, and the mapping n → -n.
- The conjugation map, i.e., Φ: ℂ → ℂ, Φ(a + bi) = a - bi is an automorphism of (ℂ, +).
- Let ℝ
^{2}= {(a, b) | a, b ∈ ℝ}, Φ: ℝ^{2}→ ℝ^{2}, Φ(a, b) = Φ(b, a), the reflection across the vertical line y = x, is an automorphism of (ℝ^{2}, +). - f: ℝ → ℝ, ∀x ∈ ℝ, f(x) = αx, f is a group automorphism ↭ α ≠ 0.
- There is an automorphism Φ: ℤ
_{5}→ ℤ_{5}, for each choice of Φ(1) ∈ {1, 2, 3, 4}. Notice that Φ(0) = 0 (Φ always carries the identity).

Definition. 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.

Proof. **Φ _{a} is an automorphism of G.**

- Φ
_{a}is a group homomorphism, ∀x_{1}, x_{2}∈ G, Φ_{a}(x_{1}x_{2}) =[By definition] a·(x_{1}x_{2})·a^{-1}= a·(x_{1}·a^{-1}·a·x_{2})·a^{-1}=[Associativity] (ax_{1}a^{-1})(ax_{2}a^{-1}) = Φ_{a}(x_{1})Φ_{a}(x_{2}) - It has an inverse, namely Φ
_{a-1}. Thus, Φ_{a}is bijective, and so is an automorphism∎

We can also prove that is injective Φ_{a}(x_{1}) = Φ_{a}(x_{2}) ↭ a·x_{1}·a^{1} = a·x_{2}·a^{-1} ↭ [Cancellation laws] x_{1} = x_{2}. Besides, ∀x∈ G, since G is closed a^{-1}·x·a ∈ G, then Φ_{a}(a^{-1}·x·a) = [By definition] a·(a^{-1}·x·a)·a^{-1} = [Associativity] (a·a^{-1})·x·(a·a^{-1}) = x ⇒ surjective∎

Example. Let’s compute the inner automorphism of D_{4} induced by R_{90°}. It is shown in the following Figure 1.a.

Definition. Let G be a group, we use **Aut(G) and Inn(G)** to express or denote the set of all automorphisms and inner automorphisms respectively. They **are both groups under composition**.

Aut(G) = {Φ: G → G’: Φ is an isomorphism}

Inn(G) = {Φ_{g}: G → G’: Φ(x) = g·x·g^{-1}}

Proof (Aut(G) forms a group).

- Let be id: G → G, id(a) = a, ∀a ∈ G. Then, id∘Φ = Φ∘id = Φ, and therefore id ∈ Aut(G)
- Associativity follows from the associativity of the compositions of functions.
- ∀Φ ∈ Aut(G), Φ is an isomorphism ⇒ Φ has an inverse for composition of functions ∘, say Φ
^{-1}. is Φ^{-1}a group homomorphism? ∀a, b ∈ G, ∃a’, b’: Φ(a’) = a, Φ(b’) = b ⇒ Φ^{-1}(ab) = Φ^{-1}(Φ(a’)Φ(b’)) =[Φ is a group homomorphism] Φ^{-1}(Φ(a’b’)) = a’b’ = Φ^{-1}(a)Φ^{-1}(b). Φ is bijective ⇒ Φ^{-1}is bijective ⇒ Φ^{-1}∈ Aut(G). - ∀Φ, Φ’ ∈ Aut(G), (Φ ∘ Φ’)(ab) = Φ(Φ’(ab)) = [In particular, Φ’ is a group homomorphism] Φ(Φ’(a)Φ’(b)) = [Φ is group homomorphism] Φ(Φ’(a))Φ(Φ’(b)) = (Φ ∘ Φ’)(a)(Φ ∘ Φ’)(b) ⇒ Φ ∘ Φ’ ∈ Aut(G)∎

Theorem. Let G be a group. Then, the set Inn(G) of all inner automorphisms forms a normal subgroup of the automorphism group, Inn(G) ◁ Aut(G).

Proof. (Let’s use the subgroup test, H ≤ G iff ∀ x, y ∈ H, xy^{-1} ∈ H)

∀ Φ_{a}, Φ_{b} ∈ Inn(G). We claim (Φ_{b})^{-1} = Φ_{b-1}

∀g ∈ G, (Φ_{b}∘Φ_{b-1})(g) = (Φ_{b})((Φ_{b-1})(g)) = (Φ_{b})(b^{-1}gb) = b(b^{-1}gb)b^{-1} =[Associativity] (bb^{-1})g(bb^{-1}) = g.

∀g ∈ G, (Φ_{b-1}∘Φ_{b})(g) = (Φ_{b-1})((Φ_{b})(g)) = (Φ_{b-1})(bgb^{-1}) = b^{-1}(bgb^{-1})b =[Associativity] (b^{-1}b)g(b^{-1}b) = g. Therefore, ∀g ∈ G, (Φ_{b}∘Φ_{b-1})(g) = (Φ_{b-1}∘Φ_{b})(g) = g ⇒ (Φ_{b})^{-1} = Φ_{b-1}

∀ Φ_{a}, Φ_{b} ∈ Inn(G), ∀g ∈ G, Φ_{a}∘(Φ_{b})^{-1}(g) = Φ_{a}∘Φ_{b-1}(g) = Φ_{a}(Φ_{b-1}(g)) = a(b^{-1}gb)a^{-1} =[Associativity] (ab^{-1})g(ba^{-1}) =[The Socks and Shoes Principle] (ab^{-1})g(ab^{-1})^{-1} = Φ_{ab-1}(g) ⇒ Φ_{a}∘(Φ_{b})^{-1} ∈ Inn(G) ⇒ Inn(G) ≤ Aut(G)

∀Φ ∈ Aut(G), ∀Φ_{a} ∈ Inn(G), Φ∘Φ_{a}∘Φ^{-1} ∈ Inn(G)? Claim: Φ∘Φ_{a}∘Φ^{-1} = Φ_{Φ(a)}

∀g ∈ G, (Φ∘Φ_{a}∘Φ^{-1})(g) = (Φ∘Φ_{a})(Φ^{-1}(g)) = Φ(Φ_{a}(Φ^{-1}(g))) = Φ(a·Φ^{-1}(g)·a^{-1}) =[In particular, Φ is a group homomorphism] Φ(a)·Φ(Φ^{-1}(g))·Φ(a^{-1}) =[∀n ∈ ℤ, ∀a ∈ G, Φ(a^{n}) = (Φ(a))^{n}] Φ(a)·g·Φ(a)^{-1} = Φ_{Φ(a)}(g) ⇒ ∀Φ ∈ Aut(G), ∀Φ_{a} ∈ Inn(G), Φ∘Φ_{a}∘Φ^{-1} = Φ_{Φ(a)} ∈ Inn(G) ⇒ **Inn(G) ◁ Aut(G)** ∎

Example. Let’s compute Inn(D_{4}). Observe that the complete list of inner automorphism is {Φ_{R0}, Φ_{R90}, Φ_{R180}, Φ_{R270}, Φ_{H}, Φ_{V}, Φ_{D}, Φ_{D’}} where R_{0}, R_{90}, R_{180} and R_{270} are rotations of a square, H and V denote the horizontal reflections, and D and D’ denote the diagonal reflections. This list may have repeated automorphisms.

Recall, ℤ(D_{n}) = $
\begin{cases}
e, n~is~ odd\\\\
e~ and~ α^{\frac{n}{2}}, n~is~ even
\end{cases}$

Therefore, ℤ(D_{4}) = {e, α^{2}} = {R_{0}, R_{180}} ⇒ Φ_{R180}(x) = R_{180}xR_{180}^{-1} [R_{180} ∈ ℤ(D_{4}) ↭ R_{180}x = xR_{180}] = x ⇒ Φ_{R180} = Φ_{R0}.

Φ_{R270}(x) = R_{270}xR_{270}^{-1} =[R_{270} = R_{90}R_{180}] R_{90}R_{180}xR_{180}^{-1}R_{90}^{-1} = R_{90}(R_{180}xR_{180}^{-1})R_{90}^{-1} = R_{90}xR_{90}^{-1} ⇒ Φ_{R270} = Φ_{R90}.

Inn(D_{4}) = [Figure 1.b, and considering H = R_{180}V, and D’ = R_{180}D] {Φ_{R0}, Φ_{R90}, Φ_{H}, Φ_{D}}.

Example. Let’s compute Aut(ℤ_{10})

Let be α ∈ Aut(ℤ_{10}). Once we know α(1), we know α(k) for any k, because α(k) = α(1+··_{k}··+1) = α(1)+··_{k}··+α(1) = kα(1)

We have already demonstrated that ∀Φ isomorphism from G to G’, **|a| = |Φ(a)| ∀a in G**, i.e., isomorphisms preserve order and also map generators to generators -Properties of Isomorphisms acting on elements- ⇒ |α(1)| = |1| = 10 ⇒ There are four candidates for α(1) -4 generators of ℤ_{10}, numbers less than 10 and coprime with 10-, namely α(1)=1 (let’s name this isomorphism as α_{1}), α(1)=3 (α_{3}), α(1)=7 (α_{7}), and α(1)=9 (α_{9}).

A similar argument will reveal that the possible automorphisms of ℤ_{8} are α(1) = 1 (id), α(1) = 3 (α_{3}), α(1) = 5 (α_{5}), and α(1) = 7 (α_{7}).

α_{1} is the identity. is α_{3} an automorphism?

α_{3}(1)=3, α_{3}(k) = kα_{3}(1) = 3k mod 10.

- Is it well defined? [x]
_{ℤ10}= [y]_{ℤ10}⇒ x mod 10 = y mod 10 ⇒ 3x mod 10 = 3y mod 10. - Is α
_{3}onto? Yes, it is, because α(1) = 3 and 3 is a generator of ℤ_{10}. - Is α
_{3}one to one? 3a mod 10 = 3b mod 10 ⇒ (3a-3b) mod 10 = 0 mod 10 ⇒ a-b mod 10 = 0 mod 10 ⇒ [a]_{ℤ10}= [b]_{ℤ10} - Is it a homomorphism? α
_{3}(a + b) = 3(a + b) = 3a + 3b = α_{3}(a)α_{3}(b)

Therefore α_{3} is an automorphism. The same argument shows that α_{7} and α_{9} are automorphisms, too. Aut(ℤ_{10}) = {α_{1}, α_{3}, α_{7}, α_{9}}

What is it structure? (α_{3}α_{3})(1) = α_{3}(α_{3}(1)) = α_{3}(3) = 3·3 = 9 = α_{9}(1) ⇒ α_{3}α_{3} = α_{9}. Further calculations show that α_{3}^{3} = α_{7} and α_{3}^{4} = α_{1}. Thus, Aut(ℤ_{10}) is cyclic, Aut(ℤ_{10}) = ⟨α_{3}⟩. Actually, it is isomorphic to U_{10} = {1, 3, 7, 9}.

Theorem. ∀n ∈ ℤ, n > 0, Aut(ℤ_{n})≋ U_{n} or ℤ_{n}^{x}, the group of the integers relatively prime to n under multiplication mod n. In particular, |Aut(ℤ_{n})| = Φ(n) where Φ(n) is Euler’s totient function, which gives the number
of positive integers less than or equal to n that are
relatively prime to n.

Proof.

Let α ∈ Aut(ℤ_{n}). α(0) = 0. Once we know α(1), we know α(k) for any k∈ℤ_{n} because α(k) = α(1+1+··_{k}··+1) = α(1)+α(1)+··_{k}··+α(1) = kα(1). Any automorphism α is determined by α(1). Besides, α(1) ∈ U_{n} because it needs to be a generator of ℤ_{n}, that is, an integer less than n and coprime to n, but these integers are precisely the elements of U_{n}.

We claim that Φ: Aut(ℤ_{n}) → U_{n}, defined by Φ(α) = α(1) is an isomorphism.

- is Φ one-to-one? Let α, β ∈ Aut(ℤ
_{n}), and suppose Φ(α) = Φ(β) ⇒ α(1) = β(1) ⇒ α(k) = kα(1) = kβ(1) = β(k), ∀k ∈ ℤ_{n}⇒ α = β - is Φ onto? Let r ∈ U
_{n}, consider α: ℤ_{n}→ ℤ_{n}defined as α(s) = sr (mod n), ∀s ∈ ℤ_{n}. It can easily be demonstrated that α ∈ Aut(ℤ_{n}), and Φ(α) = α(1) = r. - is Φ operation-preserving? ∀α, β ∈ Aut(ℤ
_{n}), Φ(αβ) = (αβ)(1) = α(β(1)) = α(1+1+··_{β(1)}··+1) =[In particular, α is a group homomorphism] α(1)+α(1)+··_{β(1)}··+α(1) = α(1)β(1) = Φ(α)Φ(β) ∎

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.