SlideShare a Scribd company logo
1 of 8
What is/are Automorphism/s?
• An automorphism is an isomorphism from a group to
itself.
• The set of all automorphisms of G forms a group, called
the automorphism group of G, and denoted Aut(G).
An automorphism is simply a bijective homomorphism of an object with
itself.
An automorphism is an endomorphism (i.e., a morphism from an object to
itself) which is also an isomorphism (in the categorical sense of the word,
meaning there exists a right and left inverse endomorphism).
One of the earliest group
automorphisms (automorphism of a group,
not simply a group of automorphisms of
points) was given by the Irish
mathematician William Rowan Hamilton in
1856, in his icosian calculus, where he
discovered an order two
automorphism, writing:
so that 𝝁 is a new fifth root of unity, connected
with the former fifth root 𝝀 by relations of
perfect reciprocity.
Source: Wikipedia
• Homomorphism
preserve the group operation
𝜙 𝑥 ∙ 𝑦 = 𝜙 𝑥 ∙ 𝜙(𝑦)
𝜙 𝑥 + 𝑦 = 𝜙 𝑥 + 𝜙(𝑦)
• Isomorphism
one-to-one (1-1)
Onto- a function such that every element in B is
mapped by some element A
Homomorphism
Automorphis
m A map of ϕ: 𝐺 → 𝐺
is said to be
automorphism if ϕ
is 1-1, onto, and
homomorphism.
EXAMPLE
(ℂ, +)
𝜙: ℂ → ℂ
𝜙 𝑎 + 𝑏𝑖 = 𝑎 − 𝑏𝑖
𝜙 𝑧1 = 𝜙 𝑧2
⇒ 𝜙 𝑎1 + 𝑏1𝑖 = 𝜙 𝑎2 − 𝑏2𝑖
⇒ 𝑎1 + 𝑏1𝑖 = 𝑎2 − 𝑏2𝑖
⇒ 𝑎1 = 𝑎2 𝑎𝑛𝑑 𝑏1 = 𝑏2
⇒ 𝑎1 + 𝑏1𝑖 = 𝑎2 + 𝑏2𝑖
⇒ 𝑧1 = 𝑧2
∴ 𝝓 𝒊𝒔 𝒐𝒏𝒆 − 𝒕𝒐 − 𝒐𝒏𝒆
𝑧 = 𝑎 + 𝑏𝑖 ∈ ℂ
𝑧′ = 𝑎 − 𝑏𝑖 ∈ ℂ
⇒ 𝜙 𝑧′ = 𝜙(𝑎 − 𝑏𝑖)
= 𝑎 + 𝑏𝑖 = z
∴ 𝝓 𝒊𝒔 𝒐𝒏𝒕𝒐
𝜙 𝑧1 + 𝑧2 = 𝜙 𝑎1 + 𝑎2 + 𝑖 𝑏1 + 𝑏2
= 𝑎1 + 𝑎2 − 𝑖(𝑏1 + 𝑏2)
= 𝑎1 − 𝑏1𝑖 + 𝑎2 − 𝑏2𝑖
= 𝜙 𝑎1 + 𝑏1𝑖 + 𝜙 𝑎2 + 𝑏2𝑖
= 𝜙 𝑧1) + 𝜙(𝑧2
∴ 𝝓 𝒊𝒔 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
𝒐𝒏𝒆 − 𝒕𝒐 − 𝒐𝒏𝒆
𝒐𝒏𝒕𝒐
𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
AUTOMORPHISM
𝛼 ∈ 𝐴𝑢𝑡 ℤ10
𝛼: ℤ10 → ℤ10
𝛼 1
𝛼 𝑘
𝛼 𝑘 =
𝛼 1+1+⋯+1
𝑘 𝑡𝑒𝑟𝑚𝑠
=
𝛼 1 +𝛼 1 +⋯+𝛼 1
𝑘 𝑡𝑒𝑟𝑚𝑠
= 𝜶 𝟏 𝒌
𝛼 1 =𝐴𝑢𝑡(ℤ10)
Theorem 6.2 Properties of Isomorphic Acting on
Elements
Property 4. 𝐺 = 1 𝑖𝑓 𝑎𝑛𝑑 𝑜𝑛𝑙𝑦 𝑖𝑓 𝐺 = 𝛼(1)
⇒ ℤ10 = 1 ⇔ ℤ10 = 𝛼(1)
EXAMPLE 𝑨𝒖𝒕(ℤ𝟏𝟎)
Generators of ℤ10 are relatively prime to it:
𝟏, 𝟑, 𝟕, 𝟗
𝛼 1 𝑘
1 → 𝛼1
3 → 𝛼3
7 → 𝛼7
9 → 𝛼9
𝑨𝒖𝒕 ℤ𝟏𝟎 = 𝛼1, 𝛼3, 𝛼7, 𝛼9
𝛼1 → 𝑖𝑑𝑒𝑛𝑡𝑖𝑡𝑦
𝛼3
𝛼3 𝑥 = 𝛼3 𝑦
⇒ 3x(mod 10) = 3y (mod 10)
⇒ x(mod 10) = y (mod 10)
𝛼3 1 = 3
3 is generator of ℤ𝟏𝟎
𝒐𝒏𝒆 − 𝒕𝒐 − 𝒐𝒏𝒆
𝒐𝒏𝒕𝒐
𝛼3 𝑎 + 𝑏 = 3 𝑎 + 𝑏
= 𝛼3 𝑎) + 𝛼3(𝑏
𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎
3x mod 10
𝛼3 1 →
𝛼3 3 →
𝛼3 7 →
𝛼3 9 →
3
9
1
7
𝛼3 𝑎 + 𝑏 = 𝛼3 𝑎) + 𝛼3(𝑏
𝛼3 1 + 2 = 𝛼3 1) + 𝛼3(2
= 3 1) + 3(2
𝑜𝑟
= 3 + 6
𝛼3 3 → 9
Uses of
Automorphisms
• Automorphisms of groups can be used as a means of
constructing new groups from the original group.
• We can use the automorphisms group machinery to
determine the characteristic subgroups of a group.
• In computer science, automorphisms are useful in
understanding the complexity of algebraic problems.

More Related Content

What's hot

3 2 solving systems of equations (elimination method)
3 2 solving systems of equations (elimination method)3 2 solving systems of equations (elimination method)
3 2 solving systems of equations (elimination method)Hazel Joy Chong
 
Word problems with integers
Word problems with integersWord problems with integers
Word problems with integersdstnrainey
 
Mathematics 9 Quadratic Functions (Module 1)
Mathematics 9 Quadratic Functions (Module 1)Mathematics 9 Quadratic Functions (Module 1)
Mathematics 9 Quadratic Functions (Module 1)Juan Miguel Palero
 
Mathematics 10 - Lesson 1: Number Pattern
Mathematics 10 - Lesson 1: Number PatternMathematics 10 - Lesson 1: Number Pattern
Mathematics 10 - Lesson 1: Number PatternJuan Miguel Palero
 
Linear functions
Linear functionsLinear functions
Linear functionshalcr1ja
 
Graphing linear equations
Graphing linear equationsGraphing linear equations
Graphing linear equationsTerry Gastauer
 
Factoring Perfect Square Trinomial
Factoring Perfect Square TrinomialFactoring Perfect Square Trinomial
Factoring Perfect Square TrinomialDhenz Lorenzo
 
Algebraic expressions and terms
Algebraic expressions and termsAlgebraic expressions and terms
Algebraic expressions and termspanchmahal
 
Cartesian coordinate plane
Cartesian coordinate planeCartesian coordinate plane
Cartesian coordinate planeElvie Hernandez
 
Verifying trigonometric identities
Verifying trigonometric identitiesVerifying trigonometric identities
Verifying trigonometric identitiesJessica Garcia
 
Factoring Perfect Square Trinomial
Factoring Perfect Square TrinomialFactoring Perfect Square Trinomial
Factoring Perfect Square TrinomialLorie Jane Letada
 
Linear function and slopes of a line
Linear function and slopes of a lineLinear function and slopes of a line
Linear function and slopes of a lineJerlyn Fernandez
 
Quadratic inequalities
Quadratic inequalitiesQuadratic inequalities
Quadratic inequalitiesmstf mstf
 

What's hot (20)

3 2 solving systems of equations (elimination method)
3 2 solving systems of equations (elimination method)3 2 solving systems of equations (elimination method)
3 2 solving systems of equations (elimination method)
 
Math (geometric mean)
Math (geometric mean)Math (geometric mean)
Math (geometric mean)
 
Slope
SlopeSlope
Slope
 
Word problems with integers
Word problems with integersWord problems with integers
Word problems with integers
 
Chapter 5 Point Slope Form
Chapter 5 Point Slope FormChapter 5 Point Slope Form
Chapter 5 Point Slope Form
 
Mathematics 9 Quadratic Functions (Module 1)
Mathematics 9 Quadratic Functions (Module 1)Mathematics 9 Quadratic Functions (Module 1)
Mathematics 9 Quadratic Functions (Module 1)
 
First degree equation in one variable
First degree equation in one variableFirst degree equation in one variable
First degree equation in one variable
 
Mathematics 10 - Lesson 1: Number Pattern
Mathematics 10 - Lesson 1: Number PatternMathematics 10 - Lesson 1: Number Pattern
Mathematics 10 - Lesson 1: Number Pattern
 
Linear functions
Linear functionsLinear functions
Linear functions
 
Graphing linear equations
Graphing linear equationsGraphing linear equations
Graphing linear equations
 
Factoring Perfect Square Trinomial
Factoring Perfect Square TrinomialFactoring Perfect Square Trinomial
Factoring Perfect Square Trinomial
 
Algebraic expressions and terms
Algebraic expressions and termsAlgebraic expressions and terms
Algebraic expressions and terms
 
Cartesian coordinate plane
Cartesian coordinate planeCartesian coordinate plane
Cartesian coordinate plane
 
Verifying trigonometric identities
Verifying trigonometric identitiesVerifying trigonometric identities
Verifying trigonometric identities
 
Factoring Perfect Square Trinomial
Factoring Perfect Square TrinomialFactoring Perfect Square Trinomial
Factoring Perfect Square Trinomial
 
Linear function and slopes of a line
Linear function and slopes of a lineLinear function and slopes of a line
Linear function and slopes of a line
 
Circles
CirclesCircles
Circles
 
Quadratic inequalities
Quadratic inequalitiesQuadratic inequalities
Quadratic inequalities
 
Inequalities
InequalitiesInequalities
Inequalities
 
Distance formula
Distance formulaDistance formula
Distance formula
 

Similar to AUTOMORPHISMS With Examples.pptx

Isomorphism and Automorphism and Theorems.pdf
Isomorphism and Automorphism and Theorems.pdfIsomorphism and Automorphism and Theorems.pdf
Isomorphism and Automorphism and Theorems.pdfEarlChesterRasco2
 
Abstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptxAbstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptxVidhyaSenthil
 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and FunctionsKevin Johnson
 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsKevin Johnson
 
MOTION OF A RIGID BODY IN SPACE
MOTION OF A RIGID BODY IN SPACEMOTION OF A RIGID BODY IN SPACE
MOTION OF A RIGID BODY IN SPACEAmenahGondal1
 
FERMAT’S LAST THEOREM PROVED BY INDUCTION (accompanied by a philosophical com...
FERMAT’S LAST THEOREM PROVED BY INDUCTION (accompanied by a philosophical com...FERMAT’S LAST THEOREM PROVED BY INDUCTION (accompanied by a philosophical com...
FERMAT’S LAST THEOREM PROVED BY INDUCTION (accompanied by a philosophical com...Vasil Penchev
 

Similar to AUTOMORPHISMS With Examples.pptx (6)

Isomorphism and Automorphism and Theorems.pdf
Isomorphism and Automorphism and Theorems.pdfIsomorphism and Automorphism and Theorems.pdf
Isomorphism and Automorphism and Theorems.pdf
 
Abstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptxAbstract Algebra - Cyclic Group.pptx
Abstract Algebra - Cyclic Group.pptx
 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and Functions
 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & Cosets
 
MOTION OF A RIGID BODY IN SPACE
MOTION OF A RIGID BODY IN SPACEMOTION OF A RIGID BODY IN SPACE
MOTION OF A RIGID BODY IN SPACE
 
FERMAT’S LAST THEOREM PROVED BY INDUCTION (accompanied by a philosophical com...
FERMAT’S LAST THEOREM PROVED BY INDUCTION (accompanied by a philosophical com...FERMAT’S LAST THEOREM PROVED BY INDUCTION (accompanied by a philosophical com...
FERMAT’S LAST THEOREM PROVED BY INDUCTION (accompanied by a philosophical com...
 

Recently uploaded

Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 
psychiatric nursing HISTORY COLLECTION .docx
psychiatric  nursing HISTORY  COLLECTION  .docxpsychiatric  nursing HISTORY  COLLECTION  .docx
psychiatric nursing HISTORY COLLECTION .docxPoojaSen20
 
Role Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptxRole Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptxNikitaBankoti2
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Celine George
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfagholdier
 
Making and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfMaking and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfChris Hunter
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhikauryashika82
 
Unit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxUnit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxVishalSingh1417
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxAreebaZafar22
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.MaryamAhmad92
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsMebane Rash
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingTechSoup
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.christianmathematics
 
Class 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfClass 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfAyushMahapatra5
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfJayanti Pande
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactPECB
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptxMaritesTamaniVerdade
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxnegromaestrong
 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin ClassesCeline George
 

Recently uploaded (20)

Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
psychiatric nursing HISTORY COLLECTION .docx
psychiatric  nursing HISTORY  COLLECTION  .docxpsychiatric  nursing HISTORY  COLLECTION  .docx
psychiatric nursing HISTORY COLLECTION .docx
 
Role Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptxRole Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptx
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
 
Making and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfMaking and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdf
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
Unit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptxUnit-V; Pricing (Pharma Marketing Management).pptx
Unit-V; Pricing (Pharma Marketing Management).pptx
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptxINDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Class 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfClass 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdf
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
 

AUTOMORPHISMS With Examples.pptx

  • 1.
  • 2. What is/are Automorphism/s? • An automorphism is an isomorphism from a group to itself. • The set of all automorphisms of G forms a group, called the automorphism group of G, and denoted Aut(G). An automorphism is simply a bijective homomorphism of an object with itself. An automorphism is an endomorphism (i.e., a morphism from an object to itself) which is also an isomorphism (in the categorical sense of the word, meaning there exists a right and left inverse endomorphism).
  • 3. One of the earliest group automorphisms (automorphism of a group, not simply a group of automorphisms of points) was given by the Irish mathematician William Rowan Hamilton in 1856, in his icosian calculus, where he discovered an order two automorphism, writing: so that 𝝁 is a new fifth root of unity, connected with the former fifth root 𝝀 by relations of perfect reciprocity. Source: Wikipedia
  • 4. • Homomorphism preserve the group operation 𝜙 𝑥 ∙ 𝑦 = 𝜙 𝑥 ∙ 𝜙(𝑦) 𝜙 𝑥 + 𝑦 = 𝜙 𝑥 + 𝜙(𝑦) • Isomorphism one-to-one (1-1) Onto- a function such that every element in B is mapped by some element A Homomorphism Automorphis m A map of ϕ: 𝐺 → 𝐺 is said to be automorphism if ϕ is 1-1, onto, and homomorphism.
  • 5. EXAMPLE (ℂ, +) 𝜙: ℂ → ℂ 𝜙 𝑎 + 𝑏𝑖 = 𝑎 − 𝑏𝑖 𝜙 𝑧1 = 𝜙 𝑧2 ⇒ 𝜙 𝑎1 + 𝑏1𝑖 = 𝜙 𝑎2 − 𝑏2𝑖 ⇒ 𝑎1 + 𝑏1𝑖 = 𝑎2 − 𝑏2𝑖 ⇒ 𝑎1 = 𝑎2 𝑎𝑛𝑑 𝑏1 = 𝑏2 ⇒ 𝑎1 + 𝑏1𝑖 = 𝑎2 + 𝑏2𝑖 ⇒ 𝑧1 = 𝑧2 ∴ 𝝓 𝒊𝒔 𝒐𝒏𝒆 − 𝒕𝒐 − 𝒐𝒏𝒆 𝑧 = 𝑎 + 𝑏𝑖 ∈ ℂ 𝑧′ = 𝑎 − 𝑏𝑖 ∈ ℂ ⇒ 𝜙 𝑧′ = 𝜙(𝑎 − 𝑏𝑖) = 𝑎 + 𝑏𝑖 = z ∴ 𝝓 𝒊𝒔 𝒐𝒏𝒕𝒐 𝜙 𝑧1 + 𝑧2 = 𝜙 𝑎1 + 𝑎2 + 𝑖 𝑏1 + 𝑏2 = 𝑎1 + 𝑎2 − 𝑖(𝑏1 + 𝑏2) = 𝑎1 − 𝑏1𝑖 + 𝑎2 − 𝑏2𝑖 = 𝜙 𝑎1 + 𝑏1𝑖 + 𝜙 𝑎2 + 𝑏2𝑖 = 𝜙 𝑧1) + 𝜙(𝑧2 ∴ 𝝓 𝒊𝒔 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎 𝒐𝒏𝒆 − 𝒕𝒐 − 𝒐𝒏𝒆 𝒐𝒏𝒕𝒐 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎 AUTOMORPHISM
  • 6. 𝛼 ∈ 𝐴𝑢𝑡 ℤ10 𝛼: ℤ10 → ℤ10 𝛼 1 𝛼 𝑘 𝛼 𝑘 = 𝛼 1+1+⋯+1 𝑘 𝑡𝑒𝑟𝑚𝑠 = 𝛼 1 +𝛼 1 +⋯+𝛼 1 𝑘 𝑡𝑒𝑟𝑚𝑠 = 𝜶 𝟏 𝒌 𝛼 1 =𝐴𝑢𝑡(ℤ10) Theorem 6.2 Properties of Isomorphic Acting on Elements Property 4. 𝐺 = 1 𝑖𝑓 𝑎𝑛𝑑 𝑜𝑛𝑙𝑦 𝑖𝑓 𝐺 = 𝛼(1) ⇒ ℤ10 = 1 ⇔ ℤ10 = 𝛼(1) EXAMPLE 𝑨𝒖𝒕(ℤ𝟏𝟎) Generators of ℤ10 are relatively prime to it: 𝟏, 𝟑, 𝟕, 𝟗 𝛼 1 𝑘 1 → 𝛼1 3 → 𝛼3 7 → 𝛼7 9 → 𝛼9
  • 7. 𝑨𝒖𝒕 ℤ𝟏𝟎 = 𝛼1, 𝛼3, 𝛼7, 𝛼9 𝛼1 → 𝑖𝑑𝑒𝑛𝑡𝑖𝑡𝑦 𝛼3 𝛼3 𝑥 = 𝛼3 𝑦 ⇒ 3x(mod 10) = 3y (mod 10) ⇒ x(mod 10) = y (mod 10) 𝛼3 1 = 3 3 is generator of ℤ𝟏𝟎 𝒐𝒏𝒆 − 𝒕𝒐 − 𝒐𝒏𝒆 𝒐𝒏𝒕𝒐 𝛼3 𝑎 + 𝑏 = 3 𝑎 + 𝑏 = 𝛼3 𝑎) + 𝛼3(𝑏 𝒉𝒐𝒎𝒐𝒎𝒐𝒓𝒑𝒉𝒊𝒔𝒎 3x mod 10 𝛼3 1 → 𝛼3 3 → 𝛼3 7 → 𝛼3 9 → 3 9 1 7 𝛼3 𝑎 + 𝑏 = 𝛼3 𝑎) + 𝛼3(𝑏 𝛼3 1 + 2 = 𝛼3 1) + 𝛼3(2 = 3 1) + 3(2 𝑜𝑟 = 3 + 6 𝛼3 3 → 9
  • 8. Uses of Automorphisms • Automorphisms of groups can be used as a means of constructing new groups from the original group. • We can use the automorphisms group machinery to determine the characteristic subgroups of a group. • In computer science, automorphisms are useful in understanding the complexity of algebraic problems.