Don’t worry if people think you’re crazy. You are crazy. You have that kind of intoxicating insanity that lets other people dream outside of the lines and become who they’re destined to be, Jennifer Elisabeth, Born Ready: Unleash Your Inner Dream Girl.
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’ or 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.
Examples
For any group G, G ≋ G.
S_{2} is isomorphic to C_{2} (it is also denoted as ℤ_{2} and ℤ/2ℤ) = {1, -1}, the cyclic group of order 2, i.e., the multiplicative group comprising 1 and -1 (1.a).
ℤ_{4} = {0, 1, 2, 3}, ℤ_{4} = ⟨1⟩, ℤ_{4} ≋ ⟨i⟩ = {1, -1, i, -i}, Φ: ℤ_{4} → ⟨i⟩ defined by Φ(n) = i^{n}, 0 → 1, 1 → i, 2 → -1, 3 → -i, so it is obviously one-to-one and onto. Besides, Φ(m + n) = i^{m+n} = i^{m}·i^{n} = Φ(m)·Φ(n).
Let C_{4} = ⟨σ⟩ = {i, σ, σ^{2}, σ^{3}}, i = (), σ = (1234) -1.b.- The Klein 4-group K_{4} and the cyclic group of order 4, C_{4}, are not isomorphic because the Klein four-group is a group with four elements, in which each element is self-inverse (composing it with itself produces the identity). However, σ·σ = σ^{2} ≠ identity. Suppose for the sake of contradiction, Φ: C_{4} → K_{4} isomorphism ⇒ Φ(σ^{2}) = Φ(σ)·Φ(σ) = Φ(σ)^{2} = [Each element in K_{4} has order 2] id. Φ(i) = Φ(i·i) = Φ(i)^{2} = [Each element in K_{4} has order 2] id. Therefore, Φ(σ^{2}) = Φ(i) = id ⊥ Φ is an isomorphism (Φ is not one to one).
If Φ: G → G’ is a group homomorphism, then ∀a ∈ G, |Φ(a)| = |a|. In particular, σ = (1234), |σ| = 4, but K_{4} has no elements of order 4⊥
(ℤ, +) is isomorphic to (2ℤ, +) where 2ℤ = {2n | n ∈ ℤ}.
First, we define the function ϕ: ℤ → 2ℤ, ϕ(n) = 2n.
Let’s see that ϕ is a one-to-one function. ϕ(n)=ϕ(m) ⇒ 2n = 2m ⇒ n = m.
ϕ is onto S’. ∀n ∈ 2ℤ, then ∃m ∈ ℤ: n = 2m, ϕ(m) = 2m = n.
ϕ(m+n) = 2(m+n) = 2m + 2n = ϕ(m) + ϕ(n).
(ℝ, +) is isomorphic to (ℝ^{+}, ·). Fig. 1.c.
First, we define the function ϕ: ℝ → ℝ^{+}. ϕ(x) = e^{x}.
Let’s see that ϕ is a one-to-one function. ϕ(n)=ϕ(m) ⇒ e^{n} = e^{m} ⇒ ln(e^{n}) = ln(e^{m}) ⇒ n = m.
ϕ is onto S’. ∀r’ ∈ ℝ^{+}, ∃r ∈ ℝ such that r = ln(r’), and obviously ϕ(r) = e^{r} = e^{ln(r’)} = r'.
ϕ(r+s) = e^{r+s} = e^{r}e^{s} = ϕ(r)ϕ(s).
Conversely, we could have demonstrated that (ℝ^{+}, ·) is isomorphic to (ℝ, +).
First, we define the function ϕ: ℝ^{+} → ℝ. ϕ(r) = ln(r).
Let’s see that ϕ is a one-to-one function. ϕ(n)=ϕ(m) ⇒ ln(n) = ln(m) ⇒ e^{ln(n)} = e^{ln(m)} ⇒ n = m.
ϕ is onto S’. ∀r ∈ ℝ, ∃r’ ∈ ℝ^{+} such that r’= e^{r}, and obviously ϕ(r’) = ln(e^{r}) = r.
ϕ(r+s) = ln(r+s) = ln(r) + ln(s) = ϕ(r) + ϕ(s).
The circle group, $\Tau$ = {z ∈ ℂ: |z|=1} is a proper subgroup of ℂ*. It is the multiplicate group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane. It has infinite order.
There is an homomorphism between ℂ* and $\Tau$, ϕ: ℂ* → $\Tau$, ϕ(re^{iθ}) = e^{iθ}.
Let z = re^{iα}, w = se^{iβ} ⇒ ϕ(zw) = e^{i(α+β)} = (e^{iα})(e^{iβ}) = ϕ(z)ϕ(w), but it is not obviously onto because for every point in the unit circle, there are infinite number of complex numbers which map to it.
However, there is an isomorphism between U = $\Tau$ and ℝ_{2π} with addition modulo 2π. z_{1} = e^{iθ1} (z_{1} ↔ θ_{1}), z_{2} = e^{iθ2} (z_{1} ↔ θ_{1}) then z_{1} + z_{2} ↔ θ_{1} + θ_{2}.
In other words, the algebraic properties of U and ℝ_{2π} are the same, e.g., z^{4} = 1 has four solutions in U, namely 1, i, -1, -i, and x +_{2π} + x +_{2π} + x +_{2π} x = 0 has four solutions in ℝ_{2π} (0, π, π/2, 3π/2), too.
Let G be a cyclic group with generator a. If the order of G is infinite, then G is isomorphic to (ℤ, +). Otherwise, G is isomorphic to (ℤ_{n}, +_{n}) As a result, U_{10} ≋ ℤ_{4}, U_{7} ≋ ℤ_{6}, and U_{5} ≋ ℤ_{4} because U_{10} and U_{5} are both cyclic of order 4, and U_{7} is cyclic of order 6. Therefore, for every n, there is really only one cyclic group of order n (up to isomorphism).
G = ⟨a⟩. If (G, ·) is infinite, ∀m ∈ ℤ, m ≠ 0, a^{m} ≠ e, Φ: (G, ·) → (ℤ, +), Φ(a^{m}) = m, Φ is an isomorphism. If (G, ·) is finite, ∃m ∈ℤ: a^{m} = e. Let n be the smallest positive integer such that a^{n} = e, then Φ: (G, ·) → (ℤ_{n}, +_{n}) defined by Φ(a^{i}) = i is an isomorphism.
There is no isomorphism from (ℚ, +) to (ℚ^{*}, ·)
Proof by contradiction: Suppose that Φ were such a mapping, there would be an a ∈ ℚ: Φ(a) = -1 ⇒ -1 = Φ(a) = Φ(a/2 + a/2) = Φ(a/2)Φ(a/2) = Φ(a/2)^{2} ⇒ there would be an a ∈ ℚ: -1 = Φ(a/2)^{2} ⊥
There is no isomorphism from U_{12} to U_{10}.
U_{12} = {1, 5, 7, 11}. Assume there is an isomorphism Φ: U_{10} → U_{12}, Φ(9) = Φ(3·3) = Φ(3)Φ(3) = (Φ(3))^{2} = [Observe that x^{2} = 1 ∀x ∈ U_{12}] 1. Similarly, Φ(1) = Φ(1·1) = Φ(1)Φ(1) = (Φ(1))^{2} = 1. Therefore, Φ(9) = Φ(1), that is, Φ is not one to one, ⊥
Let G = SL(2, ℝ) the group of two by two real matrices with determinant one. Let M be any arbitrary two by two matrix with determinant one and let’s define a mapping Φ_{M}: SL(2, ℝ) → SL(2, ℝ), Φ_{M}(A) = MAM^{-1}. Φ_{M} is indeed an isomorphism:
Cayley’s Theorem. Every group G is isomorphic to a subgroup of a symmetric group. In particular, every finite group is isomorphic to a subgroup of S_{n}.
Recall: The symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group S_{n} defined over a finite set of n symbols consists of all the permutations that can be performed on the n symbols.
Proof.
∀g ∈ G, consider the function f_{g}: G → G, defined by f_{g}(x) = g · x. By the existence of inverses, f_{g} has an inverse f_{g-1}, defined as f_{g-1}(x) = g^{-1}·x.
Theorem. A function is bijective if and only if has an inverse. Therefore, f_{g} is bijective ⇒ f_{g} is a permutation of G ⇒ f_{g} ∈ Sym(G).
The set K = {f_{g}: g ∈ G} is a subgroup of Sym(G) that is isomorphic to G. Let’s prove K ≤ Sym(G).
Associative. The operation of function composition is associative.
Close under function composition. ∀g, h, x ∈ G: f_{g}·f_{h}(x) = f_{g}(f_{h}(x)) = f_{g}(h·x) = g·(h·x) = [G group. Associative] (g·h)·x = f_{gh}(x), gh ∈ G (G is a group, ∀g, h, gh ∈ G) ⇒ f_{gh} ∈ K.
f_{e} is the identity.
∀g ∈ G, (f_{g})^{-1} = f_{g-1} (it was previously proven).
We are going to establish a map Φ between G and K = {f_{g}: g ∈ G}.
First, we define the function Φ: G → K, Φ(g) = f_{g}.
Φ is a group homomorphism, Φ(g·h) = f_{g·h} = [*1] f_{g}·f_{h} = Φ(g)·Φ(h)
Φ(g) = Φ(h) ⇒ f_{g} = f_{h} ⇒ ∀x ∈ G, f_{g}(x) = f_{h}(x) ⇒ ∀x ∈ G, g·x = h·x. The identity element, e ∈ G ⇒ g·e = h·e ⇒ g = h ⇒ Φ is one-to-one.
By the way K = {f_{g}: g ∈ G} was constructed, Φ is obviously onto∎
Definition. The map Φ in the proof of Cayley’s Theorem is the left representation of G.
Examples of the regular group representation.
(ℤ_{2}, +_{mod2}) = {0, 1}. 0 corresponds to the identity permutation → (), 1 → (12).
(ℤ_{3}, +_{mod3}). 0 corresponds to the identity permutation, 1 → (123) -f_{1}(x) =[Additive notation] 1 +_{mod 3} x-, and 2 → (132) -f_{2}(x) = 2 +_{mod 3} x-.
ℤ_{4}, +_{mod4}. 0 corresponds to the identity permutation, 1 → (1234), 2 → (13)(24), and 3 → (1432).
Let’s calculate a group of permutations that is isomorphic to U_{8} = {1, 3, 5, 7}, U’_{8} = {T_{1}, T_{3}, T_{5}, T_{7}}. Observing Cayley's Tables, it is obvious that U_{8} and U'_{8} are algebraically or structurally the same.
Klein four-group {e, a, b, c} corresponds to e, (12)(34) -f_{a}(x) = a·x, f_{a}(e) = a, f_{a}(a) = e, f_{a}(b) = c, f_{a}(c) = a, (ea)(bc)-, (13)(24), and (14)(23).
D_{6} = {id (e), rotations (ρ_{1} -90° around the center anticlockwise-, ρ_{2} -180°-, and ρ_{3} -270°-), reflections or mirror images in the x -horizontal- and y -diagonal- axes (μ_{1}, μ_{2}), and reflections in the diagonal δ_{1} and δ_{2}} = {e, s, rs, r^{2}s, r^{2}, r^{3}s, r, r^{3} where rs = sr^{3}} → e, (12)(35)(46) -f_{s}(x) = s·x, f_{s}(e) = s, f_{s}(s) = e, f_{s}(rs) = srs = ssr^{3} = r^{3}, f_{s}(r^{3}) = sr^{3} = rs, f_{s}(r^{2}s) = sr^{2}s = srrs = s(rs)r^{3} = ssr^{3}r^{3} = r^{2}, f_{s}(r^{2}) = sr^{2} = sr^{2}r^{4} = sr^{3}r^{3} = rsr^{3} = r^{2}s -, (13)(26)(45), (14)(25)(36), (156)(243), (165)(234).
Bibliography
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.
This website uses cookies to improve your navigation experience. By continuing, you are consenting to our use of cookies, in accordance with our Cookies Policy and Website Terms and Conditions of use.