isomorphism
TRANSCRIPT
Page 1 of 3
ISOMORPHISM
GROUP ISOMORPHISM
Let G and Gโ be groups with operations โand โ โฒ. An isomorphism ๐ from a group G to a group Gโ is a one โ to โ one mapping (or function) from G onto Gโ that preserves the group operation. That is,
๐ ๐ โ ๐ = ๐ ๐ โ โฒ๐(๐) for all a, b in G.
If there is an isomorphism from G onto Gโ, we say that G and Gโ are isomorphic and write Gโ Gโ. Steps involved in proving that a group G is isomorphic to group Gโ:
1. โMapping.โ Define a candidate for isomorphism; that is, define a function ๐ from G to Gโ. 2. โ1 โ 1.โ Prove that ๐ is one โ to โ one: that is, assume ๐ ๐ = ๐(๐) and prove that ๐ = ๐. 3. โOnto.โ Prove that ๐ is onto; that is, from any element gโ in Gโ, find an element g in G such
that ๐ ๐ = ๐โฒ. 4. โO.P.โ Prove that ๐ is operation โ preserving; that is, show that ๐ ๐ โ ๐ = ๐ ๐ โ โฒ๐(๐) for
all a andb in G.
Note: We can relate Steps 2 and 4 to Kernel and Homomorphism, respectively. HOMOMORPHISM
Let G and Gโ be groups with operations โand โ โฒ. A homomorphism of G into Gโ is a mapping ๐ of G intoGโ such that for every a and b in G,
๐ ๐ โ ๐ = ๐ ๐ โโฒ ๐ ๐ . Examples: Determine whether the given map is a homomorphism.
1. Let ๐: ๐ โ โ ๐ โ under addition given by ๐ ๐ฅ = ๐ฅ2. Answer: ๐ ๐ฅ + ๐ฆ = ๐ฅ + ๐ฆ 2 = ๐ฅ2 + 2๐ฅ๐ฆ + ๐ฆ2 โ ๐ฅ2 + ๐ฆ2 = ๐ ๐ฅ + ๐(๐ฆ). Thus ๐ is NOT a homomorphism.
2. Let ๐: ๐ โ โ ๐ โ under multiplication given by ๐ ๐ฅ = ๐ฅ2. Answer: ๐ ๐ฅ๐ฆ = ๐ฅ๐ฆ 2 = ๐ฅ2๐ฆ2 = ๐ฅ2๐ฆ2 = ๐ ๐ฅ โ ๐(๐ฆ). Thus ๐ is a homomorphism.
3. Let ๐: ๐ โ โ ๐ โ under multiplication given by ๐ ๐ฅ = โ๐ฅ. Answer: ๐ ๐ฅ๐ฆ = โ ๐ฅ๐ฆ = โ๐ฅ๐ฆ โ โ๐ฅ (โ๐ฆ) = ๐ ๐ฅ โ ๐(๐ฆ). Thus ๐ is NOT ahomomorphism.
Types of Homomorphisms:
1. Epimorphism โ surjective homomorphism 2. Monomorphism โ injective homomorphism 3. Isomorphism โ bijective homomorphism 4. Automorphism โ isomorphism, domain and codomain are the same group 5. Endomorphism โ homomorphism, domain and codomain are the same group
KERNEL
Let ๐: ๐บ โ ๐บโฒ be a homomorphism of groups. The subgroup ๐โ1 ๐โฒ = ๐ฅ ๐ ๐บ ๐ ๐ฅ = ๐โฒ is the kernel of ๐, denoted by Ker(๐).
Examples: Find the kernel of the following homomorphism:
1. Let ๐: ๐ โ โ ๐ โ under multiplication given by ๐ ๐ฅ = ๐ฅ2. Answer: The identity element of the set of images is 1 under the operation of multiplication. If ๐ฅ2 = 1 then ๐ฅ = โ1 or ๐ฅ = 1. Thus, Ker(๐)={โ1,1}.
Page 2 of 3
2. Let ๐: ๐ โ ๐ under addition given by ๐ ๐ฅ = 5๐ฅ. Answer: The identity element of the set of images is 0 under the operation of addition. If 5x = 0, then x = 0. Thus, Ker(๐)={0}.
COROLLARY:
A group homomorphism ๐: ๐บ โ ๐บโฒ is one โ to โ one map if and only if Ker(๐) = {๐}.
In view of this corollary, we can modify our steps in showing that two groups are isomorphic. To show ๐: ๐ฎ โ ๐ฎโฒ is an isomorphism: (modified version)
1. Show ๐ is a homomorphism. 2. Show Ker(๐) = {๐}. 3. Show ๐ maps G onto Gโ.
Examples: (On showing isomorphism between G and Gโ)
A. Let us show that the binary structure <R, +> with operation the usual addition is isomorphic to the structure <R+, โ> where โ is the usual multiplication. Step 1. We have to somehow convert an operation of addition to multiplication. Recall from ๐๐+๐ = ๐๐ (๐๐) that the addition of exponents corresponds to multiplication of two quantities.
Thus we try defining ๐: ๐ โ ๐ + by ๐ ๐ฅ = ๐๐ฅ for ๐ฅ โ ๐ . Note that ๐๐ฅ > 0 for all ๐ฅ โ ๐ so indeed ๐ ๐ฅ โ ๐ +. Step 2. If ๐ ๐ฅ = ๐(๐ฆ), then ๐๐ฅ = ๐๐ฆ . Taking the natural logarithm, we see that ๐ฅ = ๐ฆ, so ๐ is indeed 1-1. Step 3. If ๐ โ ๐ +, then ln(๐) โ ๐ and ๐ ln ๐ = ๐ln ๐ = ๐. Thus ๐ is onto R+. Step 4.For๐ฅ, ๐ฆ โ ๐ , we have๐ ๐ฅ + ๐ฆ = ๐๐ฅ+๐ฆ = ๐๐ฅ โ ๐๐ฆ = ๐ ๐ฅ โ ๐ ๐ฆ . Thus, ๐ is an isomorphism. B. Let 2๐ = 2๐ ๐ โ ๐ , so that 2Z is the set of all even integers, positive, negative and zero. We claim that <Z, +> is isomorphic to <2Z, +> where + is the usual addition. Step 1. Define ๐: ๐ โ 2๐ by ๐ ๐ = 2๐ for ๐ โ ๐. Step 2. If ๐ ๐ = ๐(๐), then 2๐ = 2๐ so ๐ = ๐. Thus ๐ is 1-1. Step 3. If ๐ โ 2๐, then n is even so ๐ = 2๐ for ๐ = ๐/2 โ ๐. Hence ๐ ๐ = 2(๐/2) = ๐ so ๐ is onto 2Z. Step 4. For๐, ๐ โ ๐, we have๐ ๐ + ๐ = 2 ๐ + ๐ = 2๐ + 2๐ = ๐ ๐ + ๐(๐). Thus, ๐ is an isomorphism. C. Determine whether the given map ๐ is an isomorphism of the first binary structure with the second.
1. <Z, +> with <Z, +> where ๐ ๐ = 2๐ for ๐ โ ๐. Answer: ๐ is 1-1, but NOT onto. Thus, ๐ is NOT an isomorphism.
2. <Z, +> with <Z, +> where ๐ ๐ = ๐ + 1 for ๐ โ ๐. Answer:๐ is 1-1, onto, but NOT operation preserving. Thus, ๐ is NOT an isomorphism.
Page 3 of 3
3. <R, โ> with <R, โ> where ๐ ๐ฅ = ๐ฅ3 for ๐ฅ โ ๐ . Answer:๐ is 1-1, onto, and operation preserving. Thus, ๐ is an isomorphism.
4. <R, +> with <R+, โ> where ๐ ๐ = 0.5๐ for ๐ โ ๐ . Answer:๐ is 1-1, onto, and operation preserving. Thus, ๐ is an isomorphism.
CAYLEYโS THEOREM
Every group is isomorphic to a group of permutations. Example:
Let ๐บ = {2,4,6,8}โZ10, where G forms a group with respect to multiplication modulo 10. Write out the elements of a group of permutations that are isomorphic to G, and exhibit an isomorphism from G to this group. Solution:
Let ๐๐ : ๐บ โ ๐บโฒ be defined by ๐๐ ๐ฅ = ๐๐ฅ for each ๐ฅ โ G. Then we have the following permutations:
๐2 =
๐2 2 = 4
๐2 4 = 8
๐2 6 = 2
๐2 8 = 6
๐4 =
๐4 2 = 8
๐4 4 = 6
๐4 6 = 4
๐4 8 = 2
๐6 =
๐6 2 = 2
๐6 4 = 4
๐6 6 = 6
๐6 8 = 8
๐8 =
๐8 2 = 6
๐8 4 = 2
๐8 6 = 8
๐8 8 = 4
Thus, the set ๐บ โฒ = {๐2 , ๐4 , ๐6 , ๐8} is a group of permutations and the mapping ๐: ๐บ โ ๐บโฒ is defined by
๐:
๐ 2 = ๐2
๐ 4 = ๐4
๐ 6 = ๐6
๐ 8 = ๐8
is an isomorphism from G to Gโ. CAYLEY TABLE
A Cayley table (or operation table) of a (finite) group is a table with rows and columns labelled by the elements of the group and the entry ๐ โ โ in the row labelled g and column labelled h. CAYLEY DIGRAPHS (DIRECTED GRAPHS)/CAYLEY DIAGRAMS
For each generating set S of a finite group G, there is a directed graph representing the group in terms of the generators of S.
A digraph consists of a finite number of points, called vertices of the digraph, and some arcs (each with a direction denoted by an arrowhead) joining vertices.
In a digraph for a group G using the generator set S we have one vertex, represented by a dot, for each element of G.
Each generator in S is denoted by one type of arc. Example:
At the right is a possible digraph for๐6 with๐ = {2, 3} using for <2> and --- for <3>.
Page 4 of 3
University of Santo Tomas
College of Education
Espaรฑa, Manila
MATH 115: Abstract Algebra
Performance Task 1: Oral Presentation
Written Report on
Isomorphism
Submitted by:
CAPIOSO, RIKKI JOI A.
CHUA, ERNESTO ERIC III A.
GONZALES, MA. IRENE G.
PARK, MIN YOUNG
4MM
Submitted to:
Assoc. Prof. JOEL L. ADAMOS
Course Facilitator
Date Submitted:
08 April 2015, Wednesday