SlideShare a Scribd company logo
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

More Related Content

What's hot

Isomorphism in Math
Isomorphism in MathIsomorphism in Math
Isomorphism in Math
Mahe Karim
 
1st Test - If then, converse, inverse and contrapositive
1st Test - If then, converse, inverse and contrapositive1st Test - If then, converse, inverse and contrapositive
1st Test - If then, converse, inverse and contrapositiveBrandeis High School
 
Abstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptxAbstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptx
VidhyaSenthil
 
ABSTRACT ALGEBRA
ABSTRACT ALGEBRAABSTRACT ALGEBRA
ABSTRACT ALGEBRA
MANJULAKAMALANATHAN
 
Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)
Matthew Leingang
 
Illustrating Rational Algebraic Expressions
Illustrating Rational Algebraic ExpressionsIllustrating Rational Algebraic Expressions
Illustrating Rational Algebraic Expressions
Free Math Powerpoints
 
Chapter 4 Cyclic Groups
Chapter 4 Cyclic GroupsChapter 4 Cyclic Groups
Chapter 4 Cyclic Groups
Tony Cervera Jr.
 
Trigonometry Functions
Trigonometry FunctionsTrigonometry Functions
Trigonometry Functions
Siva Palanisamy
 
Ppt sets and set operations
Ppt sets and set operationsPpt sets and set operations
Ppt sets and set operations
geckbanaag
 
PROPERTIES OF THE OPERATIONS ON INTEGERS
PROPERTIES OF THE OPERATIONS ON INTEGERSPROPERTIES OF THE OPERATIONS ON INTEGERS
PROPERTIES OF THE OPERATIONS ON INTEGERS
Kheysho Bevz Alinsub
 
Relations and Functions
Relations and FunctionsRelations and Functions
Relations and Functionstoni dimella
 
Limits and continuity powerpoint
Limits and continuity powerpointLimits and continuity powerpoint
Limits and continuity powerpointcanalculus
 
Remainder theorem
Remainder theoremRemainder theorem
Remainder theorem
Department of Education
 
Slope of a Line
Slope of a LineSlope of a Line
Slope of a Line
karen wagoner
 
Linear Equations in Two Variables
Linear Equations in Two VariablesLinear Equations in Two Variables
Linear Equations in Two Variables
sheisirenebkm
 
Math 7 | Lesson 2 Set Operations and the Venn Diagram
Math 7 |  Lesson 2 Set Operations and the Venn DiagramMath 7 |  Lesson 2 Set Operations and the Venn Diagram
Math 7 | Lesson 2 Set Operations and the Venn Diagram
Ariel Gilbuena
 
Factor Theorem and Remainder Theorem
Factor Theorem and Remainder TheoremFactor Theorem and Remainder Theorem
Factor Theorem and Remainder Theorem
Ronalie Mejos
 
Different types of functions
Different types of functionsDifferent types of functions
Different types of functions
Katrina Young
 

What's hot (20)

Isomorphism in Math
Isomorphism in MathIsomorphism in Math
Isomorphism in Math
 
1st Test - If then, converse, inverse and contrapositive
1st Test - If then, converse, inverse and contrapositive1st Test - If then, converse, inverse and contrapositive
1st Test - If then, converse, inverse and contrapositive
 
Abstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptxAbstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptx
 
ABSTRACT ALGEBRA
ABSTRACT ALGEBRAABSTRACT ALGEBRA
ABSTRACT ALGEBRA
 
Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)
 
Illustrating Rational Algebraic Expressions
Illustrating Rational Algebraic ExpressionsIllustrating Rational Algebraic Expressions
Illustrating Rational Algebraic Expressions
 
Chapter 4 Cyclic Groups
Chapter 4 Cyclic GroupsChapter 4 Cyclic Groups
Chapter 4 Cyclic Groups
 
Trigonometry Functions
Trigonometry FunctionsTrigonometry Functions
Trigonometry Functions
 
Ppt sets and set operations
Ppt sets and set operationsPpt sets and set operations
Ppt sets and set operations
 
PROPERTIES OF THE OPERATIONS ON INTEGERS
PROPERTIES OF THE OPERATIONS ON INTEGERSPROPERTIES OF THE OPERATIONS ON INTEGERS
PROPERTIES OF THE OPERATIONS ON INTEGERS
 
Relations and Functions
Relations and FunctionsRelations and Functions
Relations and Functions
 
2.2 Set Operations
2.2 Set Operations2.2 Set Operations
2.2 Set Operations
 
Limits and continuity powerpoint
Limits and continuity powerpointLimits and continuity powerpoint
Limits and continuity powerpoint
 
Remainder theorem
Remainder theoremRemainder theorem
Remainder theorem
 
Slope of a Line
Slope of a LineSlope of a Line
Slope of a Line
 
Linear Equations in Two Variables
Linear Equations in Two VariablesLinear Equations in Two Variables
Linear Equations in Two Variables
 
Math 7 | Lesson 2 Set Operations and the Venn Diagram
Math 7 |  Lesson 2 Set Operations and the Venn DiagramMath 7 |  Lesson 2 Set Operations and the Venn Diagram
Math 7 | Lesson 2 Set Operations and the Venn Diagram
 
Factor Theorem and Remainder Theorem
Factor Theorem and Remainder TheoremFactor Theorem and Remainder Theorem
Factor Theorem and Remainder Theorem
 
Abstract algebra i
Abstract algebra iAbstract algebra i
Abstract algebra i
 
Different types of functions
Different types of functionsDifferent types of functions
Different types of functions
 

Similar to Isomorphism

MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and Functions
Kevin Johnson
 
Group theory notes
Group theory notesGroup theory notes
Group theory notes
mkumaresan
 
Integral dalam Bahasa Inggris
Integral dalam Bahasa InggrisIntegral dalam Bahasa Inggris
Integral dalam Bahasa Inggris
immochacha
 
A Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary ConditionA Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary Condition
IJMERJOURNAL
 
Brian Covello: Research in Mathematical Group Representation Theory and Symmetry
Brian Covello: Research in Mathematical Group Representation Theory and SymmetryBrian Covello: Research in Mathematical Group Representation Theory and Symmetry
Brian Covello: Research in Mathematical Group Representation Theory and Symmetry
Brian Covello
 
DISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEMDISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEM
MANISH KUMAR
 
MATRICES-MATHED204.pptx
MATRICES-MATHED204.pptxMATRICES-MATHED204.pptx
MATRICES-MATHED204.pptx
ChristopherMaldicas
 
Permutations 2020
Permutations 2020Permutations 2020
Permutations 2020
Robert Geofroy
 
Binary Operations.pptx
Binary Operations.pptxBinary Operations.pptx
Binary Operations.pptx
SoyaMathew1
 
Complex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptxComplex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptx
jyotidighole2
 
Proof of Beal's conjecture
Proof of Beal's conjecture Proof of Beal's conjecture
Proof of Beal's conjecture
nikos mantzakouras
 
Note on Character Theory-summer 2013
Note on Character Theory-summer 2013Note on Character Theory-summer 2013
Note on Character Theory-summer 2013Fan Huang (Wright)
 
Change variablethm
Change variablethmChange variablethm
Change variablethm
Jasonleav
 
MT102 Лекц 4
MT102 Лекц 4MT102 Лекц 4
MT102 Лекц 4
ssuser184df1
 
Solutions of AHSEC Mathematics Paper 2015
Solutions of AHSEC Mathematics Paper 2015Solutions of AHSEC Mathematics Paper 2015
Solutions of AHSEC Mathematics Paper 2015Nayanmani Sarma
 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & Cosets
Kevin Johnson
 
Semana 25 funciones especiales álgebra uni ccesa007
Semana 25 funciones especiales álgebra uni ccesa007Semana 25 funciones especiales álgebra uni ccesa007
Semana 25 funciones especiales álgebra uni ccesa007
Demetrio Ccesa Rayme
 
Chap14_Sec8 - Lagrange Multiplier.ppt
Chap14_Sec8 - Lagrange Multiplier.pptChap14_Sec8 - Lagrange Multiplier.ppt
Chap14_Sec8 - Lagrange Multiplier.ppt
MahmudulHaque71
 
Lecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsLecture 1.2 quadratic functions
Lecture 1.2 quadratic functions
narayana dash
 

Similar to Isomorphism (20)

MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and Functions
 
Aed.pptx
Aed.pptxAed.pptx
Aed.pptx
 
Group theory notes
Group theory notesGroup theory notes
Group theory notes
 
Integral dalam Bahasa Inggris
Integral dalam Bahasa InggrisIntegral dalam Bahasa Inggris
Integral dalam Bahasa Inggris
 
A Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary ConditionA Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary Condition
 
Brian Covello: Research in Mathematical Group Representation Theory and Symmetry
Brian Covello: Research in Mathematical Group Representation Theory and SymmetryBrian Covello: Research in Mathematical Group Representation Theory and Symmetry
Brian Covello: Research in Mathematical Group Representation Theory and Symmetry
 
DISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEMDISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEM
 
MATRICES-MATHED204.pptx
MATRICES-MATHED204.pptxMATRICES-MATHED204.pptx
MATRICES-MATHED204.pptx
 
Permutations 2020
Permutations 2020Permutations 2020
Permutations 2020
 
Binary Operations.pptx
Binary Operations.pptxBinary Operations.pptx
Binary Operations.pptx
 
Complex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptxComplex differentiation contains analytic function.pptx
Complex differentiation contains analytic function.pptx
 
Proof of Beal's conjecture
Proof of Beal's conjecture Proof of Beal's conjecture
Proof of Beal's conjecture
 
Note on Character Theory-summer 2013
Note on Character Theory-summer 2013Note on Character Theory-summer 2013
Note on Character Theory-summer 2013
 
Change variablethm
Change variablethmChange variablethm
Change variablethm
 
MT102 Лекц 4
MT102 Лекц 4MT102 Лекц 4
MT102 Лекц 4
 
Solutions of AHSEC Mathematics Paper 2015
Solutions of AHSEC Mathematics Paper 2015Solutions of AHSEC Mathematics Paper 2015
Solutions of AHSEC Mathematics Paper 2015
 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & Cosets
 
Semana 25 funciones especiales álgebra uni ccesa007
Semana 25 funciones especiales álgebra uni ccesa007Semana 25 funciones especiales álgebra uni ccesa007
Semana 25 funciones especiales álgebra uni ccesa007
 
Chap14_Sec8 - Lagrange Multiplier.ppt
Chap14_Sec8 - Lagrange Multiplier.pptChap14_Sec8 - Lagrange Multiplier.ppt
Chap14_Sec8 - Lagrange Multiplier.ppt
 
Lecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsLecture 1.2 quadratic functions
Lecture 1.2 quadratic functions
 

More from sheisirenebkm

Worksheet on Ractangular Coordinate System
Worksheet on Ractangular Coordinate SystemWorksheet on Ractangular Coordinate System
Worksheet on Ractangular Coordinate System
sheisirenebkm
 
Worksheet on the Applications of Rational Algebraic Expressions
Worksheet on the Applications of Rational Algebraic ExpressionsWorksheet on the Applications of Rational Algebraic Expressions
Worksheet on the Applications of Rational Algebraic Expressions
sheisirenebkm
 
Worksheet on Simplifying Rational Algebraic Expressions
Worksheet on Simplifying Rational Algebraic ExpressionsWorksheet on Simplifying Rational Algebraic Expressions
Worksheet on Simplifying Rational Algebraic Expressions
sheisirenebkm
 
Worksheet on Operations on Rational Algebraic Expressions
Worksheet on Operations on Rational Algebraic ExpressionsWorksheet on Operations on Rational Algebraic Expressions
Worksheet on Operations on Rational Algebraic Expressions
sheisirenebkm
 
Worksheet on Factoring Techniques in Algebra
Worksheet on Factoring Techniques in AlgebraWorksheet on Factoring Techniques in Algebra
Worksheet on Factoring Techniques in Algebra
sheisirenebkm
 
Worksheet on Special Products
Worksheet on Special ProductsWorksheet on Special Products
Worksheet on Special Products
sheisirenebkm
 
Worksheet on Special Products
Worksheet on Special Products Worksheet on Special Products
Worksheet on Special Products
sheisirenebkm
 
Worksheet on Special Products
Worksheet on Special ProductsWorksheet on Special Products
Worksheet on Special Products
sheisirenebkm
 
Functions and Relations
Functions and RelationsFunctions and Relations
Functions and Relations
sheisirenebkm
 
Equations of a Line
Equations of a LineEquations of a Line
Equations of a Line
sheisirenebkm
 
Education Leaders' Empowerment Symposium
Education Leaders' Empowerment SymposiumEducation Leaders' Empowerment Symposium
Education Leaders' Empowerment Symposium
sheisirenebkm
 
Stem-and-Leaf Plot and Line Plot
Stem-and-Leaf Plot and Line PlotStem-and-Leaf Plot and Line Plot
Stem-and-Leaf Plot and Line Plot
sheisirenebkm
 
Presentation of Data - How to Construct Graphs
Presentation of Data - How to Construct GraphsPresentation of Data - How to Construct Graphs
Presentation of Data - How to Construct Graphs
sheisirenebkm
 
Measures of Central Tendency and Variability for Grouped Data
Measures of Central Tendency and Variability for Grouped DataMeasures of Central Tendency and Variability for Grouped Data
Measures of Central Tendency and Variability for Grouped Data
sheisirenebkm
 
Frequency Distribution Table Handout
Frequency Distribution Table HandoutFrequency Distribution Table Handout
Frequency Distribution Table Handout
sheisirenebkm
 
Introduction to Statistics - Basic Statistical Terms
Introduction to Statistics - Basic Statistical TermsIntroduction to Statistics - Basic Statistical Terms
Introduction to Statistics - Basic Statistical Terms
sheisirenebkm
 
Differentiating Instruction
Differentiating InstructionDifferentiating Instruction
Differentiating Instruction
sheisirenebkm
 
Reviewer for Mathematics Part 2
Reviewer for Mathematics Part 2Reviewer for Mathematics Part 2
Reviewer for Mathematics Part 2
sheisirenebkm
 
Reviewer for Mathematics Part 1
Reviewer for Mathematics Part 1Reviewer for Mathematics Part 1
Reviewer for Mathematics Part 1
sheisirenebkm
 
Conditional Statements | If-then Statements
Conditional Statements | If-then StatementsConditional Statements | If-then Statements
Conditional Statements | If-then Statements
sheisirenebkm
 

More from sheisirenebkm (20)

Worksheet on Ractangular Coordinate System
Worksheet on Ractangular Coordinate SystemWorksheet on Ractangular Coordinate System
Worksheet on Ractangular Coordinate System
 
Worksheet on the Applications of Rational Algebraic Expressions
Worksheet on the Applications of Rational Algebraic ExpressionsWorksheet on the Applications of Rational Algebraic Expressions
Worksheet on the Applications of Rational Algebraic Expressions
 
Worksheet on Simplifying Rational Algebraic Expressions
Worksheet on Simplifying Rational Algebraic ExpressionsWorksheet on Simplifying Rational Algebraic Expressions
Worksheet on Simplifying Rational Algebraic Expressions
 
Worksheet on Operations on Rational Algebraic Expressions
Worksheet on Operations on Rational Algebraic ExpressionsWorksheet on Operations on Rational Algebraic Expressions
Worksheet on Operations on Rational Algebraic Expressions
 
Worksheet on Factoring Techniques in Algebra
Worksheet on Factoring Techniques in AlgebraWorksheet on Factoring Techniques in Algebra
Worksheet on Factoring Techniques in Algebra
 
Worksheet on Special Products
Worksheet on Special ProductsWorksheet on Special Products
Worksheet on Special Products
 
Worksheet on Special Products
Worksheet on Special Products Worksheet on Special Products
Worksheet on Special Products
 
Worksheet on Special Products
Worksheet on Special ProductsWorksheet on Special Products
Worksheet on Special Products
 
Functions and Relations
Functions and RelationsFunctions and Relations
Functions and Relations
 
Equations of a Line
Equations of a LineEquations of a Line
Equations of a Line
 
Education Leaders' Empowerment Symposium
Education Leaders' Empowerment SymposiumEducation Leaders' Empowerment Symposium
Education Leaders' Empowerment Symposium
 
Stem-and-Leaf Plot and Line Plot
Stem-and-Leaf Plot and Line PlotStem-and-Leaf Plot and Line Plot
Stem-and-Leaf Plot and Line Plot
 
Presentation of Data - How to Construct Graphs
Presentation of Data - How to Construct GraphsPresentation of Data - How to Construct Graphs
Presentation of Data - How to Construct Graphs
 
Measures of Central Tendency and Variability for Grouped Data
Measures of Central Tendency and Variability for Grouped DataMeasures of Central Tendency and Variability for Grouped Data
Measures of Central Tendency and Variability for Grouped Data
 
Frequency Distribution Table Handout
Frequency Distribution Table HandoutFrequency Distribution Table Handout
Frequency Distribution Table Handout
 
Introduction to Statistics - Basic Statistical Terms
Introduction to Statistics - Basic Statistical TermsIntroduction to Statistics - Basic Statistical Terms
Introduction to Statistics - Basic Statistical Terms
 
Differentiating Instruction
Differentiating InstructionDifferentiating Instruction
Differentiating Instruction
 
Reviewer for Mathematics Part 2
Reviewer for Mathematics Part 2Reviewer for Mathematics Part 2
Reviewer for Mathematics Part 2
 
Reviewer for Mathematics Part 1
Reviewer for Mathematics Part 1Reviewer for Mathematics Part 1
Reviewer for Mathematics Part 1
 
Conditional Statements | If-then Statements
Conditional Statements | If-then StatementsConditional Statements | If-then Statements
Conditional Statements | If-then Statements
 

Recently uploaded

1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
JosvitaDsouza2
 
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdfMASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
goswamiyash170123
 
Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
chanes7
 
Best Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDABest Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDA
deeptiverma2406
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
Delapenabediema
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
Special education needs
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
MysoreMuleSoftMeetup
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
EduSkills OECD
 
The French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free downloadThe French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free download
Vivekanand Anglo Vedic Academy
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
vaibhavrinwa19
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
DhatriParmar
 
Unit 2- Research Aptitude (UGC NET Paper I).pdf
Unit 2- Research Aptitude (UGC NET Paper I).pdfUnit 2- Research Aptitude (UGC NET Paper I).pdf
Unit 2- Research Aptitude (UGC NET Paper I).pdf
Thiyagu K
 
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Dr. Vinod Kumar Kanvaria
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Celine George
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
 
Natural birth techniques - Mrs.Akanksha Trivedi Rama University
Natural birth techniques - Mrs.Akanksha Trivedi Rama UniversityNatural birth techniques - Mrs.Akanksha Trivedi Rama University
Natural birth techniques - Mrs.Akanksha Trivedi Rama University
Akanksha trivedi rama nursing college kanpur.
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Atul Kumar Singh
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
camakaiclarkmusic
 

Recently uploaded (20)

1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
 
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdfMASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
MASS MEDIA STUDIES-835-CLASS XI Resource Material.pdf
 
Digital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion DesignsDigital Artifact 2 - Investigating Pavilion Designs
Digital Artifact 2 - Investigating Pavilion Designs
 
Best Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDABest Digital Marketing Institute In NOIDA
Best Digital Marketing Institute In NOIDA
 
The Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official PublicationThe Challenger.pdf DNHS Official Publication
The Challenger.pdf DNHS Official Publication
 
special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
 
The French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free downloadThe French Revolution Class 9 Study Material pdf free download
The French Revolution Class 9 Study Material pdf free download
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
 
The Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptxThe Accursed House by Émile Gaboriau.pptx
The Accursed House by Émile Gaboriau.pptx
 
Unit 2- Research Aptitude (UGC NET Paper I).pdf
Unit 2- Research Aptitude (UGC NET Paper I).pdfUnit 2- Research Aptitude (UGC NET Paper I).pdf
Unit 2- Research Aptitude (UGC NET Paper I).pdf
 
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
Exploiting Artificial Intelligence for Empowering Researchers and Faculty, In...
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
 
Natural birth techniques - Mrs.Akanksha Trivedi Rama University
Natural birth techniques - Mrs.Akanksha Trivedi Rama UniversityNatural birth techniques - Mrs.Akanksha Trivedi Rama University
Natural birth techniques - Mrs.Akanksha Trivedi Rama University
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
 

Isomorphism

  • 1. 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}.
  • 2. 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.
  • 3. 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>.
  • 4. 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