isomorphism

4
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}.

Upload: ma-irene-gonzales

Post on 15-Aug-2015

45 views

Category:

Education


1 download

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