OneStopGate.Com
OnestopGate   OnestopGate
   Tuesday, November 19, 2024 Login  
OnestopGate
Home | Overview | Syllabus | Tutorials | FAQs | Downloads | Recommended Websites | Advertise | Payments | Contact Us | Forum
OneStopGate

GATE Resources
Gate Articles
Gate Books
Gate Colleges 
Gate Downloads 
Gate Faqs
Gate Jobs
Gate News 
Gate Sample Papers
Training Institutes

GATE Overview
Overview
GATE Eligibility
Structure Of GATE
GATE Coaching Centers
Colleges Providing M.Tech/M.E.
GATE Score
GATE Results
PG with Scholarships
Article On GATE
Admission Process For M.Tech/ MCP-PhD
GATE Topper 2012-13
GATE Forum




GATE 2025 Exclusive
Organizing Institute
Important Dates
How to Apply
Discipline Codes
GATE 2025 Exam Structure

GATE 2025 Syllabus
Aerospace Engg..
Agricultural Engg..
Architecture and Planning
Chemical Engg..
Chemistry
Civil Engg..
Computer Science / IT
Electronics & Communication Engg..
Electrical Engg..
Engineering Sciences
Geology and Geophysics
Instrumentation Engineering
Life Sciences
Mathematics
Mechanical Engg..
Metallurgical Engg..
Mining Engg..
Physics
Production & Industrial Engg..
Pharmaceutical Sciences
Textile Engineering and Fibre Science

GATE Study Material
Aerospace Engg..
Agricultural Engg..
Chemical Engg..
Chemistry
Civil Engg..
Computer Science / IT
Electronics & Communication Engg..
Electrical Engg..
Engineering Sciences
Instrumentation Engg..
Life Sciences
Mathematics
Mechanical Engg..
Physics
Pharmaceutical Sciences
Textile Engineering  and Fibre Science

GATE Preparation
GATE Pattern
GATE Tips N Tricks
Compare Evaluation
Sample Papers 
Gate Downloads 
Experts View

CEED 2013
CEED Exams
Eligibility
Application Forms
Important Dates
Contact Address
Examination Centres
CEED Sample Papers

Discuss GATE
GATE Forum
Exam Cities
Contact Details
Bank Details

Miscellaneous
Advertisment
Contact Us


Home » GATE Study Material » Mathematics » Algebra » Factor groups and homomorphisms

Factor groups and homomorphisms

Looking for GATE Preparation Material? Join & Get here now!

** Gate 2013 Question Papers.. ** CEED 2013 Results.. ** Gate 2013 Question Papers With Solutions.. ** GATE 2013 CUT-OFFs.. ** GATE 2013 Results.. **

Factor groups and homomorphisms

Cosets and normal subgroups

3.8.2. Definition Let H be a subgroup of the group G, and let a G. The set

aH = { x G | x = ah for some h H }

is called the left coset of H in G determined by a. Similarly, the right coset of H in G determined by a is the set

Ha = { x G | x = ha for some h H }.

The number of left cosets of H in G is called the index of H in G, and is denoted by [G:H].

3.8.1. Proposition Let H be a subgroup of the group G, and let a,b be elements of G. Then the following conditions are equivalent:

(1) bH = aH;

 

(2) bH aH;

 

(3) b aH;

 

(4) a-1b H.
A result similar to Proposition 3.8.1 holds for right cosets. Let H be a subgroup of the group G, and let a,bG. Then the following conditions are equivalent:
(1) Ha = Hb; (2) Ha Hb; (3) a Hb; (4) ab-1 H;
(5) ba-1 H; (6) b Ha; (7) Hb Ha.
The index of H in G could also be defined as the number of right cosets of H in G, since there is a one-to-one correspondence between left cosets and right cosets.

3.7.5. Definition A subgroup H of the group G is called a normal subgroup if

ghg-1 H

for all h H and g G.

3.8.7. Proposition Let H be a subgroup of the group G. The following conditions are equivalent:

(1) H is a normal subgroup of G;

 

(2) aH = Ha for all a G;

 

(3) for all a,b G, abH is the set theoretic product (aH)(bH);

 

(4) for all a,b G, ab-1 H if and only if a-1b H.
Example 3.8.7. Any subgroup of index 2 is normal.

Factor groups

3.8.3. Proposition Let N be a normal subgroup of G, and let a,b,c,d G.
If aN = cN and bN = dN, then abN = cdN.

3.8.4. Theorem If N is a normal subgroup of G, then the set of left cosets of N forms a group under the coset multiplication given by

aNbN = abN

for all a,b G.

3.8.5. Definition If N is a normal subgroup of G, then the group of left cosets of N in G is called the factor group of G determined by N. It will be denoted by G/N.

Example 3.8.5. Let N be a normal subgroup of G. If a G, then the order of aN in G/N is the smallest positive integer n such that an N.

Group homomorphisms

3.7.1. Definition Let G1 and G2 be groups, and let : G1 -> G2 be a function. Then is said to be a group homomorphism if

(ab) = (a) (b) for all a,b G1.

Example 3.7.1. (Exponential functions for groups) Let G be any group, and let a be any element of G. Define : Z -> G by (n) = an, for all n Z. This is a group homomorphism from Z to G.
If G is abelian, with its operation denoted additively, then we define : Z -> G by (n) = na.

Example 3.7.2. (Linear transformations) Let V and W be vector spaces. Since any vector space is an abelian group under vector addition, any linear transformation between vector spaces is a group homomorphism.

3.7.2. Proposition If : G1 -> G2 is a group homomorphism, then

(a) (e) = e;

 

(b) ((a))-1 = (a-1) for all a G 1;

 

(c) for any integer n and any a G1, we have (an) = ((a))n;

 

(d) if a G1 and a has order n, then the order of (a) in G2 is a divisor of n.
Example 3.7.4. (Homomorphisms defined on cyclic groups) Let C be a cyclic group, denoted multiplicatively, with generator a. If : C -> G is any group homomorphism, and (a) = g, then the formula (am) = gm must hold. Since every element of C is of the form am for some integer m, this means that is completely determined by its value on a.
If C is infinite, then for an element g of any group G, the formula (am) = gm defines a homomorphism.
If |C|=n and g is any element of G whose order is a divisor of n, then the formula (am) = gm defines a homomorphism.

Example 3.7.5. (Homomorphisms from Zn to Zk) Any homomorphism : Zn -> Zk is completely determined by ([1]n), and this must be an element [m]k of Zk whose order is a divisor of n. Then the formula ([x]n) = [mx]k, for all [x]n Zn, defines a homomorphism. Furthermore, every homomorphism from Zn into Zk must be of this form. The image (Zn) is the cyclic subgroup generated by [m]k.

3.7.3 Definition Let : G1 -> G2 be a group homomorphism. Then

{ x G1 | (x) = e }

is called the kernel of , and is denoted by ker().

3.7.4 Proposition Let : G1 -> G2 be a group homomorphism, with K = ker().

(a) K is a normal subgroup of G.

 

(b) The homomorphism is one-to-one if and only if K = {e}.
3.7.6 Proposition Let : G1 -> G2 be a group homomorphism.
(a) If H1 is a subgroup of G1, then (H1) is a subgroup of G2.
If is onto and H1 is normal in G1, then (H1) is normal in G2.

 

(b) If H2 is a subgroup of G2, then

-1 (H2) = { x G1 | (x) H2 }

is a subgroup of G1.
If H2 is normal in G2, then -1(H2) is normal in G1.
3.8.6. Proposition Let N be a normal subgroup of G.
(a) The natural projection mapping : G -> G/N defined by (x) = xN, for all x G, is a homomorphism, and ker() = N.

 

(b) There is a one-to-one correspondence between subgroups of G/N and subgroups of G that contain N. Under this correspondence, normal subgroups correspond to normal subgroups.
Example 3.8.8. If m is a divisor of n, then Zn / mZn Zm.

3.8.8. Theorem [Fundamental Homomorphism Theorem] Let G1, G2 be groups.
If : G1 -> G2 is a group homomorphism with K = ker(), then

G1/K (G1).

3.8.9. Definition The group G is called a simple group if it has no proper nontrivial normal subgroups.



Discussion Center

Discuss/
Query

Papers/
Syllabus

Feedback/
Suggestion

Yahoo
Groups

Sirfdosti
Groups

Contact
Us

MEMBERS LOGIN
  
Email ID:
Password:

  Forgot Password?
 New User? Register!

INTERVIEW EBOOK
Get 9,000+ Interview Questions & Answers in an eBook. Interview Question & Answer Guide
  • 9,000+ Interview Questions
  • All Questions Answered
  • 5 FREE Bonuses
  • Free Upgrades
GATE RESOURCES
 
  • Gate Books
  • Training Institutes
  • Gate FAQs
  • GATE BOOKS
     
  • Mechanical Engineeering Books
  • Robotics Automations Engineering Books
  • Civil Engineering Books
  • Chemical Engineering Books
  • Environmental Engineering Books
  • Electrical Engineering Books
  • Electronics Engineering Books
  • Information Technology Books
  • Software Engineering Books
  • GATE Preparation Books
  • Exciting Offers



    GATE Exam, Gate 2009, Gate Papers, Gate Preparation & Related Pages


    GATE Overview | GATE Eligibility | Structure Of GATE | GATE Training Institutes | Colleges Providing M.Tech/M.E. | GATE Score | GATE Results | PG with Scholarships | Article On GATE | GATE Forum | GATE 2009 Exclusive | GATE 2009 Syllabus | GATE Organizing Institute | Important Dates for GATE Exam | How to Apply for GATE | Discipline / Branch Codes | GATE Syllabus for Aerospace Engineering | GATE Syllabus for Agricultural Engineering | GATE Syllabus for Architecture and Planning | GATE Syllabus for Chemical Engineering | GATE Syllabus for Chemistry | GATE Syllabus for Civil Engineering | GATE Syllabus for Computer Science / IT | GATE Syllabus for Electronics and Communication Engineering | GATE Syllabus for Engineering Sciences | GATE Syllabus for Geology and Geophysics | GATE Syllabus for Instrumentation Engineering | GATE Syllabus for Life Sciences | GATE Syllabus for Mathematics | GATE Syllabus for Mechanical Engineering | GATE Syllabus for Metallurgical Engineering | GATE Syllabus for Mining Engineering | GATE Syllabus for Physics | GATE Syllabus for Production and Industrial Engineering | GATE Syllabus for Pharmaceutical Sciences | GATE Syllabus for Textile Engineering and Fibre Science | GATE Preparation | GATE Pattern | GATE Tips & Tricks | GATE Compare Evaluation | GATE Sample Papers | GATE Downloads | Experts View on GATE | CEED 2009 | CEED 2009 Exam | Eligibility for CEED Exam | Application forms of CEED Exam | Important Dates of CEED Exam | Contact Address for CEED Exam | CEED Examination Centres | CEED Sample Papers | Discuss GATE | GATE Forum of OneStopGATE.com | GATE Exam Cities | Contact Details for GATE | Bank Details for GATE | GATE Miscellaneous Info | GATE FAQs | Advertisement on GATE | Contact Us on OneStopGATE |
    Copyright © 2024. One Stop Gate.com. All rights reserved Testimonials |Link To Us |Sitemap |Privacy Policy | Terms and Conditions|About Us
    Our Portals : Academic Tutorials | Best eBooksworld | Beyond Stats | City Details | Interview Questions | India Job Forum | Excellent Mobiles | Free Bangalore | Give Me The Code | Gog Logo | Free Classifieds | Jobs Assist | Interview Questions | One Stop FAQs | One Stop GATE | One Stop GRE | One Stop IAS | One Stop MBA | One Stop SAP | One Stop Testing | Web Hosting | Quick Site Kit | Sirf Dosti | Source Codes World | Tasty Food | Tech Archive | Software Testing Interview Questions | Free Online Exams | The Galz | Top Masala | Vyom | Vyom eBooks | Vyom International | Vyom Links | Vyoms | Vyom World
    C Interview Questions | C++ Interview Questions | Send Free SMS | Placement Papers | SMS Jokes | Cool Forwards | Romantic Shayari