Funny enough, they all think of themselves as rational and intelligent human beings, but they don’t act humanely, behave rationally, or think sensibly. They can be categorized into three classes: A. Men. When they talk of love, they mean sex. B. Women. When they talk of love, they mean money. C. 2SLGBTQIA+. When they talk about sex, nobody knows what they are talking about, Apocalypse, Anawim, #justtothepoint.com
Recall that two groups (G, *) and (G', ⋄) are said to be 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).
Suppose that Φ is an isomorphism between two groups, Φ: G → G’. Then,
Proof: Φ(e) =[G group, ∃e identity e·e = e] Φ(e·e) =[Φ is isomorphism, the group operation is preserved] Φ(e)·Φ(e) ⇒ Φ(e) = Φ(e)·Φ(e) ⇒ [By cancellation property, ab = ac ⇒ b = c Λ Φ(e) = Φ(e)·Φ(e)] e’ = Φ(e).
Proof:
n = 0, Φ(a0) = Φ(e) = [Previous result] e’ = Φ(a)0.
n = 1, Φ(a1) = Φ(a) = Φ(a)1. Trivial
n = 2, Φ(a2) = Φ(a·a) = [isomorphism, the group operation is preserved] Φ(a)Φ(a) = (Φ(a))2. Let’s apply induction on n.
Φ(an+1) = Φ(ana) = [Φ is isomorphism] Φ(an)Φ(a) = [By Inductive hypothesis] (Φ(a))nΦ(a) = (Φ(a))n+1.
n ≤ 0, -n ≥ 0, e’ = Φ(e) = Φ(ana-n) = Φ(an)Φ(a-n) = [We have already demonstrated for all positive integers Λ -n ≥ 0] Φ(an)(Φ(a))-n ⇒ [e’ = Φ(an)(Φ(a))-n and multiplying both sides by (Φ(a))n] (Φ(a))n = Φ(an)∎
Proof:
⇒) Suppose (G, ·) is Abelian, ∀a,b: a·b = b·a. Besides, ∀a’, b’ ∈ G’: ∃a, b ∈ G: Φ(a) = a’, Φ(b) = b'.
a’·b’ = [Φ is onto] Φ(a)·Φ(b) = [Φ is isomorphism ⇒ homomorphism] Φ(a·b) = [By assumption, (G, ·) is Abelian, a·b = b·a] Φ(b·a) = [Φ is homomorphism] Φ(b)·Φ(a) = b’·a’ ⇒ (G’, ·) is Abelian.
⇐) Suppose G’ is Abelian and for the sake of contradiction, assume G is not Abelian ⇒ ∃a, b ∈ G: a·b ≠ b·a ⇒ [Φ is injective] Φ(a·b) ≠ Φ(b·a) ⇒ [Φ is homomorphism] Φ(a)·Φ(b) ≠ Φ(b)·Φ(a) ⊥ (G’ is not Abelian).
Proof: Suppose G = ⟨a⟩ ⇒ [Φ(a) ∈ G’ and (G’, ·) group, so by closure, Φ(a)·Φ(a)∈ G’. In general, Φ(a)n ∈ G’] ⟨Φ(a)⟩ ⊆ G’. Since Φ is onto, ∀b ∈ G’, ∃k ∈ℤ such that ak ∈ G Λ Φ(ak) = b ⇒ b = Φ(ak) = [∀n ∈ ℤ, ∀a ∈ G, Φ(an) = (Φ(a))n] (Φ(a))k ∈ ⟨Φ(a)⟩ ⇒ ∀b ∈ G’, ∃k ∈ℤ such that b = (Φ(a))k ∈ ⟨Φ(a)⟩ ⇒ G’ ⊆ ⟨Φ(a)⟩ ⇒ ⟨Φ(a)⟩ = G'.
Suppose G’ = ⟨Φ(a)⟩ ⇒ [a ∈ G, (G, ·) group, and by closure] ⟨a⟩ ⊆ G. ∀b ∈ G, Φ(b) ∈ G’ = ⟨Φ(a)⟩ ⇒ ∃k ∈ℤ, Φ(b) = (Φ(a))k = [∀n ∈ ℤ, ∀a ∈ G, Φ(an) = (Φ(a))n] Φ(ak), so Φ(b) = Φ(ak) ⇒ [Φ is one-to-one] b = ak ∈ G ⇒ ∀b ∈ G ∃k∈ℤ such that b = ak ⇒ G ⊆ ⟨a⟩ ⇒ ⟨a⟩ = G ∎
Proof: Suppose that G and G’ are finite, |a| = n and |Φ(a)| = m.
|a| = n ⇒ Φ(an) = Φ(e) = [Φ carries the identity] e’, and Φ(an) = [∀n ∈ ℤ, ∀a ∈ G, Φ(an) = (Φ(a))n] Φ(a)n = e’ ⇒ [By assumption, |Φ(a)| = m] m ≤ n.
|Φ(a)| = m ⇒ (Φ(a))m = [∀n ∈ ℤ, ∀a ∈ G, Φ(an) = (Φ(a))n] Φ(am) = e’. Therefore, Φ(am) = Φ(an) = e’ ⇒ [Φ is one-to-one] an = am = e ⇒ [By assumption, |a| = n] n ≤ m ⇒ n = m.
Suppose that |a| = n and |Φ(a)| = ∞ ⇒ an = e ⇒ [Φ carries the identity] Φ(an) = e’ ⇒ (Φ(a))n = e’ ⊥
Suppose that |a| = ∞ and |Φ(a)| = n ⇒ (Φ(a))n = e’ ⇒ Φ(an) = e’, but we already know that [Φ carries the identity] Φ(e) = e’, and Φ is one-to-one ⇒ an = e ⊥
Proof: Let A be the set of all solutions to xk = b.
∀a ∈ A: ak = b ⇒ Φ(ak) = Φ(b) ⇒ Φ(a)k = Φ(b). Therefore, the image Φ(A) is a subset of all solutions to xk = Φ(b).
Let q’ ∈ G’ be a solution to xk= Φ(b) in G’: q’k = Φ(b). Since Φ is onto, ∃q ∈ G: Φ(q) = q’, and therefore, (Φ(q))k = Φ(qk) = Φ(b) ⇒ Φ(qk) = Φ(b) ⇒ [Φ is one-to-one] qk = b ⇒ q ∈ A ⇒ q’=Φ(q) ∈ Φ(A) ⇒[q’ ∈ G’ be an arbitrary solution to xk= Φ(b) in G’] Φ(A) is equal to the set of all solutions to xk = Φ(b), and since Φ is an isomorphism |A|=|Φ(A)|.
ℂ* and ℝ* are not isomorphic because the equation x4 = 1 has four solution in ℂ* (1, -1, i,-i), but only two in ℝ*.
Suppose that Φ is an isomorphism between two groups, Φ: G → G’. Then,
Proof: We know that Φ(H) ⊆ G’, is Φ(H) a subgroup of G'?
∀a’, b’ ∈ Φ(H) ⇒ ∃a, b ∈ H: Φ(a) = a’, Φ(b) = b’ ⇒ [H is a subgroup] a·b-1 ∈ H ⇒ Φ(a·b-1) =[Φ is a group homomorphism] Φ(a)Φ(b-1) =[∀n ∈ ℤ, ∀a ∈ G, Φ(an) = (Φ(a))n] Φ(a)(Φ(b))-1 = a’b’-1 ∈ Φ(H) ⇒ ∀a’, b’ ∈ Φ(H), a’b’-1 ∈ Φ(H) ⇒ Φ(H) ≤ G’ ∎
Proof.
Proof: The composition of two bijections is a bijection, too. Besides, (Φφ)(g1g2) = Φ(φ(g1g2)) = [φ is a group homomorphism] Φ(φ(g1)φ(g2)) = [Φ is a group homomorphism] Φ(φ(g1))Φ(φ(g2)) = (Φφ)(g1)(Φφ)(g2)∎