Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
SlideShare a Scribd company logo
NORMAL SUBGROUPS
Presentation by
Durwas Maharwade
Definition:
A subgroup N of a group G is said to be a
normal subgroup of G if,
gng−1 ∈ N ∀ g∈ G, n ∈ N
Equivalently, if gNg−1 = {gng−1 | n ∈ N},
then N is a normal subgroup of G if and only
if
gNg−1⊂ N ∀ g ∈ G.
Theorem 2
The subgroup N of a group G is a normal subgroup of G if and
only if every left coset of N in G is a right coset of N in G.
Proof : Let N be a normal subgroup of G.
Then gng−1= N ∀ g ∈ G (by theorem 1)
(gng−1)g = Ng ∀ g ∈ G
0r gN (g−1g) = Ng ∀ g ∈ G
gN = Ng ∀ g ∈ G
i.e., every left coset gN is the right coset Ng.
Conversely, assume that every left coset of a subgroup N of
G is the right coset of N in G.
Thus, for g ∈ G , a left coset gN must be a right coset.
∴ gN = Nx for some x ∈ G.
Now, e ∈ N ge = g ∈ gN.
g ∈ Nx ( since gN = Nx )
Also, g = eg ∈ Ng, a right coset of N in G.

Recommended for you

Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebra

1. The document introduces groups and related concepts in mathematics. 2. It defines a group as a set with a binary operation that satisfies associativity, identity, and inverse properties. Abelian groups are groups where the binary operation is commutative. 3. Examples of groups include the complex numbers under multiplication, rational numbers under addition, and translations of the plane under composition. Subgroups are subsets of a group that are also groups under the same binary operation.

Quotient groups-Group theory
Quotient groups-Group theoryQuotient groups-Group theory
Quotient groups-Group theory

Quotient groups are groups formed from the cosets of a normal subgroup of a group. Specifically: 1) If G is a group and N is a normal subgroup of G, then the set of all cosets of N in G, written as G/N, forms a group under coset multiplication. 2) It is proven that G/N satisfies the four group properties: closure, associativity, identity element, and inverses. 3) Therefore, G/N is a group, called the quotient group of G by N.

Ring
RingRing
Ring

The document defines and provides examples of rings and ideals. Some key points: - A ring consists of a set with operations of addition and multiplication satisfying certain properties like commutativity and associativity. - Common examples of rings include the integers, rational numbers, real numbers, polynomials, and matrices. - An ideal is a subset of a ring that is closed under addition and multiplication. Ideals play an important role in ring theory. - Given an ideal I of a ring R, a quotient ring R/I can be constructed by identifying elements of R that differ by an element of I. Operations are defined on these equivalence classes.

Thus, two right cosets Nx and Ng have common element g.
Nx = Ng ( since two right cosets are either identical or
disjoint.)
∴ Ng is the unique right coset which is equal to the left coset
gN.
∴ gN = Ng ∀ g ∈ G
g𝑁g−1 = Ngg−1 ∀ g ∈ G
g𝑁g−1 = N ∀ g ∈ G ( since, gg−1 = e and Ne = N )
N is a normal subgroup of G.
THANK YOU

More Related Content

What's hot

Group Theory
Group TheoryGroup Theory
Group Theory
Durgesh Chahar
 
Gamma function
Gamma functionGamma function
Gamma function
Solo Hermelin
 
Abstract Algebra
Abstract AlgebraAbstract Algebra
Abstract Algebra
Yura Maturin
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebra
NaliniSPatil
 
Quotient groups-Group theory
Quotient groups-Group theoryQuotient groups-Group theory
Quotient groups-Group theory
Ayush Agrawal
 
Ring
RingRing
Group theory notes
Group theory notesGroup theory notes
Group theory notes
mkumaresan
 
Ring
RingRing
Lesson 25: Evaluating Definite Integrals (slides)
Lesson 25: Evaluating Definite Integrals (slides)Lesson 25: Evaluating Definite Integrals (slides)
Lesson 25: Evaluating Definite Integrals (slides)
Matthew Leingang
 
Real analysis
Real analysisReal analysis
Real analysis
Kalaiselviprakash
 
Homogeneous Linear Differential Equations
 Homogeneous Linear Differential Equations Homogeneous Linear Differential Equations
Homogeneous Linear Differential Equations
AMINULISLAM439
 
Leaner algebra presentation (ring)
Leaner algebra presentation (ring)Leaner algebra presentation (ring)
Leaner algebra presentation (ring)
Muhammad Umar Farooq
 
Ideals and factor rings
Ideals and factor ringsIdeals and factor rings
Ideals and factor rings
dianageorge27
 
Complex function
Complex functionComplex function
Complex function
Dr. Nirav Vyas
 
Modular arithmetic
Modular arithmeticModular arithmetic
Modular arithmetic
sangeetha s
 
Presentation-Alex-20150421
Presentation-Alex-20150421Presentation-Alex-20150421
Presentation-Alex-20150421
alexfang2014
 
Diagonalization of Matrices
Diagonalization of MatricesDiagonalization of Matrices
Diagonalization of Matrices
AmenahGondal1
 
How to Find a Cartesian Product
How to Find a Cartesian ProductHow to Find a Cartesian Product
How to Find a Cartesian Product
Don Sevcik
 
Laurent's Series & Types of Singularities
Laurent's Series & Types of SingularitiesLaurent's Series & Types of Singularities
Laurent's Series & Types of Singularities
Aakash Singh
 
Mathematics and History of Complex Variables
Mathematics and History of Complex VariablesMathematics and History of Complex Variables
Mathematics and History of Complex Variables
Solo Hermelin
 

What's hot (20)

Group Theory
Group TheoryGroup Theory
Group Theory
 
Gamma function
Gamma functionGamma function
Gamma function
 
Abstract Algebra
Abstract AlgebraAbstract Algebra
Abstract Algebra
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebra
 
Quotient groups-Group theory
Quotient groups-Group theoryQuotient groups-Group theory
Quotient groups-Group theory
 
Ring
RingRing
Ring
 
Group theory notes
Group theory notesGroup theory notes
Group theory notes
 
Ring
RingRing
Ring
 
Lesson 25: Evaluating Definite Integrals (slides)
Lesson 25: Evaluating Definite Integrals (slides)Lesson 25: Evaluating Definite Integrals (slides)
Lesson 25: Evaluating Definite Integrals (slides)
 
Real analysis
Real analysisReal analysis
Real analysis
 
Homogeneous Linear Differential Equations
 Homogeneous Linear Differential Equations Homogeneous Linear Differential Equations
Homogeneous Linear Differential Equations
 
Leaner algebra presentation (ring)
Leaner algebra presentation (ring)Leaner algebra presentation (ring)
Leaner algebra presentation (ring)
 
Ideals and factor rings
Ideals and factor ringsIdeals and factor rings
Ideals and factor rings
 
Complex function
Complex functionComplex function
Complex function
 
Modular arithmetic
Modular arithmeticModular arithmetic
Modular arithmetic
 
Presentation-Alex-20150421
Presentation-Alex-20150421Presentation-Alex-20150421
Presentation-Alex-20150421
 
Diagonalization of Matrices
Diagonalization of MatricesDiagonalization of Matrices
Diagonalization of Matrices
 
How to Find a Cartesian Product
How to Find a Cartesian ProductHow to Find a Cartesian Product
How to Find a Cartesian Product
 
Laurent's Series & Types of Singularities
Laurent's Series & Types of SingularitiesLaurent's Series & Types of Singularities
Laurent's Series & Types of Singularities
 
Mathematics and History of Complex Variables
Mathematics and History of Complex VariablesMathematics and History of Complex Variables
Mathematics and History of Complex Variables
 

Similar to Normal subgroups- Group theory

On The Properties of Finite Nonabelian Groups with Perfect Square Roots Using...
On The Properties of Finite Nonabelian Groups with Perfect Square Roots Using...On The Properties of Finite Nonabelian Groups with Perfect Square Roots Using...
On The Properties of Finite Nonabelian Groups with Perfect Square Roots Using...
inventionjournals
 
Crystallographic groups
Crystallographic groupsCrystallographic groups
Crystallographic groups
Mathieu Dutour Sikiric
 
Prove that a group of order 255 is a cyclic.SolutionLet G be a .pdf
Prove that a group of order 255 is a cyclic.SolutionLet G be a .pdfProve that a group of order 255 is a cyclic.SolutionLet G be a .pdf
Prove that a group of order 255 is a cyclic.SolutionLet G be a .pdf
fathimafancyjeweller
 
ICAMS033-G.NITHYA.pptx
ICAMS033-G.NITHYA.pptxICAMS033-G.NITHYA.pptx
ICAMS033-G.NITHYA.pptx
mathematicssac
 
Suborbits and suborbital graphs of the symmetric group acting on ordered r ...
Suborbits and suborbital graphs of the symmetric group   acting on ordered r ...Suborbits and suborbital graphs of the symmetric group   acting on ordered r ...
Suborbits and suborbital graphs of the symmetric group acting on ordered r ...
Alexander Decker
 
Degree Equitable Connected cototal dominating graph
Degree Equitable Connected cototal dominating graphDegree Equitable Connected cototal dominating graph
Degree Equitable Connected cototal dominating graph
IOSRJM
 
Number theory lecture (part 1)
Number theory lecture (part 1)Number theory lecture (part 1)
Number theory lecture (part 1)
Aleksandr Yampolskiy
 
Lattices of Lie groups acting on the complex projective space
Lattices of Lie groups acting on the complex projective spaceLattices of Lie groups acting on the complex projective space
Lattices of Lie groups acting on the complex projective space
Rene García
 
Gamma and betta function harsh shah
Gamma and betta function  harsh shahGamma and betta function  harsh shah
Gamma and betta function harsh shah
C.G.P.I.T
 
V1_I2_2012_Paper1.doc
V1_I2_2012_Paper1.docV1_I2_2012_Paper1.doc
V1_I2_2012_Paper1.doc
praveena06
 
A Note on Non Split Locating Equitable Domination
A Note on Non Split Locating Equitable DominationA Note on Non Split Locating Equitable Domination
A Note on Non Split Locating Equitable Domination
ijdmtaiir
 
10.11648.j.pamj.20170601.11
10.11648.j.pamj.20170601.1110.11648.j.pamj.20170601.11
10.11648.j.pamj.20170601.11
DAVID GIKUNJU
 
02 asymp
02 asymp02 asymp
02 asymp
aparnabk7
 

Similar to Normal subgroups- Group theory (13)

On The Properties of Finite Nonabelian Groups with Perfect Square Roots Using...
On The Properties of Finite Nonabelian Groups with Perfect Square Roots Using...On The Properties of Finite Nonabelian Groups with Perfect Square Roots Using...
On The Properties of Finite Nonabelian Groups with Perfect Square Roots Using...
 
Crystallographic groups
Crystallographic groupsCrystallographic groups
Crystallographic groups
 
Prove that a group of order 255 is a cyclic.SolutionLet G be a .pdf
Prove that a group of order 255 is a cyclic.SolutionLet G be a .pdfProve that a group of order 255 is a cyclic.SolutionLet G be a .pdf
Prove that a group of order 255 is a cyclic.SolutionLet G be a .pdf
 
ICAMS033-G.NITHYA.pptx
ICAMS033-G.NITHYA.pptxICAMS033-G.NITHYA.pptx
ICAMS033-G.NITHYA.pptx
 
Suborbits and suborbital graphs of the symmetric group acting on ordered r ...
Suborbits and suborbital graphs of the symmetric group   acting on ordered r ...Suborbits and suborbital graphs of the symmetric group   acting on ordered r ...
Suborbits and suborbital graphs of the symmetric group acting on ordered r ...
 
Degree Equitable Connected cototal dominating graph
Degree Equitable Connected cototal dominating graphDegree Equitable Connected cototal dominating graph
Degree Equitable Connected cototal dominating graph
 
Number theory lecture (part 1)
Number theory lecture (part 1)Number theory lecture (part 1)
Number theory lecture (part 1)
 
Lattices of Lie groups acting on the complex projective space
Lattices of Lie groups acting on the complex projective spaceLattices of Lie groups acting on the complex projective space
Lattices of Lie groups acting on the complex projective space
 
Gamma and betta function harsh shah
Gamma and betta function  harsh shahGamma and betta function  harsh shah
Gamma and betta function harsh shah
 
V1_I2_2012_Paper1.doc
V1_I2_2012_Paper1.docV1_I2_2012_Paper1.doc
V1_I2_2012_Paper1.doc
 
A Note on Non Split Locating Equitable Domination
A Note on Non Split Locating Equitable DominationA Note on Non Split Locating Equitable Domination
A Note on Non Split Locating Equitable Domination
 
10.11648.j.pamj.20170601.11
10.11648.j.pamj.20170601.1110.11648.j.pamj.20170601.11
10.11648.j.pamj.20170601.11
 
02 asymp
02 asymp02 asymp
02 asymp
 

Recently uploaded

No, it's not a robot: prompt writing for investigative journalism
No, it's not a robot: prompt writing for investigative journalismNo, it's not a robot: prompt writing for investigative journalism
No, it's not a robot: prompt writing for investigative journalism
Paul Bradshaw
 
Beginner's Guide to Bypassing Falco Container Runtime Security in Kubernetes ...
Beginner's Guide to Bypassing Falco Container Runtime Security in Kubernetes ...Beginner's Guide to Bypassing Falco Container Runtime Security in Kubernetes ...
Beginner's Guide to Bypassing Falco Container Runtime Security in Kubernetes ...
anjaliinfosec
 
Lecture_Notes_Unit4_Chapter_8_9_10_RDBMS for the students affiliated by alaga...
Lecture_Notes_Unit4_Chapter_8_9_10_RDBMS for the students affiliated by alaga...Lecture_Notes_Unit4_Chapter_8_9_10_RDBMS for the students affiliated by alaga...
Lecture_Notes_Unit4_Chapter_8_9_10_RDBMS for the students affiliated by alaga...
Murugan Solaiyappan
 
Conducting exciting academic research in Computer Science
Conducting exciting academic research in Computer ScienceConducting exciting academic research in Computer Science
Conducting exciting academic research in Computer Science
Abhik Roychoudhury
 
Capitol Doctoral Presentation -June 2024v2.pptx
Capitol Doctoral Presentation -June 2024v2.pptxCapitol Doctoral Presentation -June 2024v2.pptx
Capitol Doctoral Presentation -June 2024v2.pptx
CapitolTechU
 
NationalLearningCamp-2024-Orientation-for-RO-SDO.pptx
NationalLearningCamp-2024-Orientation-for-RO-SDO.pptxNationalLearningCamp-2024-Orientation-for-RO-SDO.pptx
NationalLearningCamp-2024-Orientation-for-RO-SDO.pptx
CelestineMiranda
 
Webinar Innovative assessments for SOcial Emotional Skills
Webinar Innovative assessments for SOcial Emotional SkillsWebinar Innovative assessments for SOcial Emotional Skills
Webinar Innovative assessments for SOcial Emotional Skills
EduSkills OECD
 
The basics of sentences session 9pptx.pptx
The basics of sentences session 9pptx.pptxThe basics of sentences session 9pptx.pptx
The basics of sentences session 9pptx.pptx
heathfieldcps1
 
The membership Module in the Odoo 17 ERP
The membership Module in the Odoo 17 ERPThe membership Module in the Odoo 17 ERP
The membership Module in the Odoo 17 ERP
Celine George
 
AI_in_HR_Presentation Part 1 2024 0703.pdf
AI_in_HR_Presentation Part 1 2024 0703.pdfAI_in_HR_Presentation Part 1 2024 0703.pdf
AI_in_HR_Presentation Part 1 2024 0703.pdf
SrimanigandanMadurai
 
Howe Writing Center - Orientation Summer 2024
Howe Writing Center - Orientation Summer 2024Howe Writing Center - Orientation Summer 2024
Howe Writing Center - Orientation Summer 2024
Elizabeth Walsh
 
Ardra Nakshatra (आर्द्रा): Understanding its Effects and Remedies
Ardra Nakshatra (आर्द्रा): Understanding its Effects and RemediesArdra Nakshatra (आर्द्रा): Understanding its Effects and Remedies
Ardra Nakshatra (आर्द्रा): Understanding its Effects and Remedies
Astro Pathshala
 
How to Store Data on the Odoo 17 Website
How to Store Data on the Odoo 17 WebsiteHow to Store Data on the Odoo 17 Website
How to Store Data on the Odoo 17 Website
Celine George
 
Final ebook Keeping the Memory @live.pdf
Final ebook Keeping the Memory @live.pdfFinal ebook Keeping the Memory @live.pdf
Final ebook Keeping the Memory @live.pdf
Zuzana Mészárosová
 
ARCHITECTURAL PATTERNS IN HISTOPATHOLOGY pdf- [Autosaved].pdf
ARCHITECTURAL PATTERNS IN HISTOPATHOLOGY  pdf-  [Autosaved].pdfARCHITECTURAL PATTERNS IN HISTOPATHOLOGY  pdf-  [Autosaved].pdf
ARCHITECTURAL PATTERNS IN HISTOPATHOLOGY pdf- [Autosaved].pdf
DharmarajPawar
 
Principles of Roods Approach!!!!!!!.pptx
Principles of Roods Approach!!!!!!!.pptxPrinciples of Roods Approach!!!!!!!.pptx
Principles of Roods Approach!!!!!!!.pptx
ibtesaam huma
 
Book Allied Health Sciences kmu MCQs.docx
Book Allied Health Sciences kmu MCQs.docxBook Allied Health Sciences kmu MCQs.docx
Book Allied Health Sciences kmu MCQs.docx
drtech3715
 
SYBCOM SEM III UNIT 1 INTRODUCTION TO ADVERTISING
SYBCOM SEM III UNIT 1 INTRODUCTION TO ADVERTISINGSYBCOM SEM III UNIT 1 INTRODUCTION TO ADVERTISING
SYBCOM SEM III UNIT 1 INTRODUCTION TO ADVERTISING
Dr Vijay Vishwakarma
 
How to Install Theme in the Odoo 17 ERP
How to  Install Theme in the Odoo 17 ERPHow to  Install Theme in the Odoo 17 ERP
How to Install Theme in the Odoo 17 ERP
Celine George
 

Recently uploaded (20)

“A NOSSA CA(U)SA”. .
“A NOSSA CA(U)SA”.                      .“A NOSSA CA(U)SA”.                      .
“A NOSSA CA(U)SA”. .
 
No, it's not a robot: prompt writing for investigative journalism
No, it's not a robot: prompt writing for investigative journalismNo, it's not a robot: prompt writing for investigative journalism
No, it's not a robot: prompt writing for investigative journalism
 
Beginner's Guide to Bypassing Falco Container Runtime Security in Kubernetes ...
Beginner's Guide to Bypassing Falco Container Runtime Security in Kubernetes ...Beginner's Guide to Bypassing Falco Container Runtime Security in Kubernetes ...
Beginner's Guide to Bypassing Falco Container Runtime Security in Kubernetes ...
 
Lecture_Notes_Unit4_Chapter_8_9_10_RDBMS for the students affiliated by alaga...
Lecture_Notes_Unit4_Chapter_8_9_10_RDBMS for the students affiliated by alaga...Lecture_Notes_Unit4_Chapter_8_9_10_RDBMS for the students affiliated by alaga...
Lecture_Notes_Unit4_Chapter_8_9_10_RDBMS for the students affiliated by alaga...
 
Conducting exciting academic research in Computer Science
Conducting exciting academic research in Computer ScienceConducting exciting academic research in Computer Science
Conducting exciting academic research in Computer Science
 
Capitol Doctoral Presentation -June 2024v2.pptx
Capitol Doctoral Presentation -June 2024v2.pptxCapitol Doctoral Presentation -June 2024v2.pptx
Capitol Doctoral Presentation -June 2024v2.pptx
 
NationalLearningCamp-2024-Orientation-for-RO-SDO.pptx
NationalLearningCamp-2024-Orientation-for-RO-SDO.pptxNationalLearningCamp-2024-Orientation-for-RO-SDO.pptx
NationalLearningCamp-2024-Orientation-for-RO-SDO.pptx
 
Webinar Innovative assessments for SOcial Emotional Skills
Webinar Innovative assessments for SOcial Emotional SkillsWebinar Innovative assessments for SOcial Emotional Skills
Webinar Innovative assessments for SOcial Emotional Skills
 
The basics of sentences session 9pptx.pptx
The basics of sentences session 9pptx.pptxThe basics of sentences session 9pptx.pptx
The basics of sentences session 9pptx.pptx
 
The membership Module in the Odoo 17 ERP
The membership Module in the Odoo 17 ERPThe membership Module in the Odoo 17 ERP
The membership Module in the Odoo 17 ERP
 
AI_in_HR_Presentation Part 1 2024 0703.pdf
AI_in_HR_Presentation Part 1 2024 0703.pdfAI_in_HR_Presentation Part 1 2024 0703.pdf
AI_in_HR_Presentation Part 1 2024 0703.pdf
 
Howe Writing Center - Orientation Summer 2024
Howe Writing Center - Orientation Summer 2024Howe Writing Center - Orientation Summer 2024
Howe Writing Center - Orientation Summer 2024
 
Ardra Nakshatra (आर्द्रा): Understanding its Effects and Remedies
Ardra Nakshatra (आर्द्रा): Understanding its Effects and RemediesArdra Nakshatra (आर्द्रा): Understanding its Effects and Remedies
Ardra Nakshatra (आर्द्रा): Understanding its Effects and Remedies
 
How to Store Data on the Odoo 17 Website
How to Store Data on the Odoo 17 WebsiteHow to Store Data on the Odoo 17 Website
How to Store Data on the Odoo 17 Website
 
Final ebook Keeping the Memory @live.pdf
Final ebook Keeping the Memory @live.pdfFinal ebook Keeping the Memory @live.pdf
Final ebook Keeping the Memory @live.pdf
 
ARCHITECTURAL PATTERNS IN HISTOPATHOLOGY pdf- [Autosaved].pdf
ARCHITECTURAL PATTERNS IN HISTOPATHOLOGY  pdf-  [Autosaved].pdfARCHITECTURAL PATTERNS IN HISTOPATHOLOGY  pdf-  [Autosaved].pdf
ARCHITECTURAL PATTERNS IN HISTOPATHOLOGY pdf- [Autosaved].pdf
 
Principles of Roods Approach!!!!!!!.pptx
Principles of Roods Approach!!!!!!!.pptxPrinciples of Roods Approach!!!!!!!.pptx
Principles of Roods Approach!!!!!!!.pptx
 
Book Allied Health Sciences kmu MCQs.docx
Book Allied Health Sciences kmu MCQs.docxBook Allied Health Sciences kmu MCQs.docx
Book Allied Health Sciences kmu MCQs.docx
 
SYBCOM SEM III UNIT 1 INTRODUCTION TO ADVERTISING
SYBCOM SEM III UNIT 1 INTRODUCTION TO ADVERTISINGSYBCOM SEM III UNIT 1 INTRODUCTION TO ADVERTISING
SYBCOM SEM III UNIT 1 INTRODUCTION TO ADVERTISING
 
How to Install Theme in the Odoo 17 ERP
How to  Install Theme in the Odoo 17 ERPHow to  Install Theme in the Odoo 17 ERP
How to Install Theme in the Odoo 17 ERP
 

Normal subgroups- Group theory

  • 2. Definition: A subgroup N of a group G is said to be a normal subgroup of G if, gng−1 ∈ N ∀ g∈ G, n ∈ N Equivalently, if gNg−1 = {gng−1 | n ∈ N}, then N is a normal subgroup of G if and only if gNg−1⊂ N ∀ g ∈ G.
  • 3. Theorem 2 The subgroup N of a group G is a normal subgroup of G if and only if every left coset of N in G is a right coset of N in G. Proof : Let N be a normal subgroup of G. Then gng−1= N ∀ g ∈ G (by theorem 1) (gng−1)g = Ng ∀ g ∈ G 0r gN (g−1g) = Ng ∀ g ∈ G gN = Ng ∀ g ∈ G i.e., every left coset gN is the right coset Ng.
  • 4. Conversely, assume that every left coset of a subgroup N of G is the right coset of N in G. Thus, for g ∈ G , a left coset gN must be a right coset. ∴ gN = Nx for some x ∈ G. Now, e ∈ N ge = g ∈ gN. g ∈ Nx ( since gN = Nx ) Also, g = eg ∈ Ng, a right coset of N in G.
  • 5. Thus, two right cosets Nx and Ng have common element g. Nx = Ng ( since two right cosets are either identical or disjoint.) ∴ Ng is the unique right coset which is equal to the left coset gN. ∴ gN = Ng ∀ g ∈ G g𝑁g−1 = Ngg−1 ∀ g ∈ G g𝑁g−1 = N ∀ g ∈ G ( since, gg−1 = e and Ne = N ) N is a normal subgroup of G.