Library of Math
Online Math Organized by Subject Into Topics
Subscribe to the Library of Math Feed

Quotient Groups

Definition (Kernel) If quotient groups _gr_1.gif] is a homomorphism then the kernel of quotient groups _gr_2.gif] is defined by quotient groups _gr_3.gif]

Example (Kernel) (i) For any positive integer quotient groups _gr_4.gif] define quotient groups _gr_5.gif] by quotient groups _gr_6.gif] for each quotient groups _gr_7.gif] Then quotient groups _gr_8.gif] quotient groups _gr_9.gif] quotient groups _gr_10.gif] for all quotient groups _gr_11.gif] so that quotient groups _gr_12.gif] is a homomorphism and quotient groups _gr_13.gif]
    (ii) Define quotient groups _gr_14.gif] by quotient groups _gr_15.gif] for quotient groups _gr_16.gif] The quotient groups _gr_17.gif] quotient groups _gr_18.gif] quotient groups _gr_19.gif] for all quotient groups _gr_20.gif] Thus quotient groups _gr_21.gif] is a homormorphism and quotient groups _gr_22.gif]
    (iii)Let quotient groups _gr_23.gif] and quotient groups _gr_24.gif] be groups and quotient groups _gr_25.gif] be their direct product. Then quotient groups _gr_26.gif] defined by quotient groups _gr_27.gif] is a homomorphism from quotient groups _gr_28.gif] onto quotient groups _gr_29.gif] because
    
quotient groups _gr_30.gif]

for all quotient groups _gr_31.gif] Notice that quotient groups _gr_32.gif] This homormprohism is called the natural projection of quotient groups _gr_33.gif] onto quotient groups _gr_34.gif] quotient groups _gr_35.gif]

Definition (Normal Subgroup) A subgroup quotient groups _gr_36.gif] of quotient groups _gr_37.gif] is called a normal subgroup of quotient groups _gr_38.gif] when quotient groups _gr_39.gif] for all quotient groups _gr_40.gif] and all quotient groups _gr_41.gif] and is denoted by quotient groups _gr_42.gif] quotient groups _gr_43.gif]

Example (Normal Subgroup) (i) Every subgroup of an Abelian group is a normal subgroup.
    (ii) The center quotient groups _gr_44.gif] of a group is always normal.
    (iii) The alternating group quotient groups _gr_45.gif] is even permutation is a normal subgroup of quotient groups _gr_46.gif] For example quotient groups _gr_47.gif] is a normal subgroup of quotient groups _gr_48.gif] Notice that quotient groups _gr_49.gif] is not a normal subgroup of quotient groups _gr_50.gif] because quotient groups _gr_51.gif]
    (iv) The subgroup of rotations in quotient groups _gr_52.gif] is normal in quotient groups _gr_53.gif]
    (v) The group quotient groups _gr_54.gif] of quotient groups _gr_55.gif] matrices with determinant 1 is a normal subgroup of quotient groups _gr_56.gif] the group of quotient groups _gr_57.gif] matrices with nonzero determinant.

Proposition (Kernel) If quotient groups _gr_58.gif] is a homomorphism then,

    (i)   quotient groups _gr_59.gif] is a subgroup of quotient groups _gr_60.gif]
    
    (ii) quotient groups _gr_61.gif] is one-to-one if and only if quotient groups _gr_62.gif] and
    
    (iii) quotient groups _gr_63.gif]
    
    Proof. (i) The kernel of quotient groups _gr_64.gif] is not empty because quotient groups _gr_65.gif] If quotient groups _gr_66.gif] then quotient groups _gr_67.gif] and so quotient groups _gr_68.gif] Therefore, quotient groups _gr_69.gif] and so quotient groups _gr_70.gif] is a subgroup of quotient groups _gr_71.gif]
    (ii) Suppose quotient groups _gr_72.gif] is one-to-one. Clearly, quotient groups _gr_73.gif] If quotient groups _gr_74.gif] then quotient groups _gr_75.gif] and since quotient groups _gr_76.gif] it follows that quotient groups _gr_77.gif] Conversely, suppose quotient groups _gr_78.gif] and quotient groups _gr_79.gif] Then   quotient groups _gr_80.gif] and so quotient groups _gr_81.gif] Thus quotient groups _gr_82.gif] and therefore, quotient groups _gr_83.gif]
    (iii) By (i) quotient groups _gr_84.gif] is a subgroup of quotient groups _gr_85.gif]. Let quotient groups _gr_86.gif] and quotient groups _gr_87.gif] Then quotient groups _gr_88.gif] and so quotient groups _gr_89.gif] quotient groups _gr_90.gif] quotient groups _gr_91.gif] quotient groups _gr_92.gif] quotient groups _gr_93.gif] Thus, quotient groups _gr_94.gif] and so quotient groups _gr_95.gif] as desired. quotient groups _gr_96.gif]

Proposition (Quotient Subgroup) Let quotient groups _gr_97.gif] be a normal subgroup of quotient groups _gr_98.gif] Then quotient groups _gr_99.gif] is a group where quotient groups _gr_100.gif] denotes the set of all right cosets of quotient groups _gr_101.gif] in quotient groups _gr_102.gif] and the group operation is defined by quotient groups _gr_103.gif] The group quotient groups _gr_104.gif] is called the quotient group of quotient groups _gr_105.gif] by quotient groups _gr_106.gif]

    Proof. To show that this operation is well-defined on quotient groups _gr_107.gif] let quotient groups _gr_108.gif] and quotient groups _gr_109.gif] We must show quotient groups _gr_110.gif] From quotient groups _gr_111.gif] we have quotient groups _gr_112.gif] for some quotient groups _gr_113.gif] Similarly,   quotient groups _gr_114.gif] for some quotient groups _gr_115.gif] Then quotient groups _gr_116.gif] We would like to switch the quotient groups _gr_117.gif] and quotient groups _gr_118.gif] in the last product and we can (almost) since quotient groups _gr_119.gif] which means that quotient groups _gr_120.gif] and so quotient groups _gr_121.gif] Thus,   quotient groups _gr_122.gif] becomes quotient groups _gr_123.gif] Therefore, quotient groups _gr_124.gif] The identity is quotient groups _gr_125.gif] and every element of quotient groups _gr_126.gif] has an inverse because quotient groups _gr_127.gif] is the inverse for quotient groups _gr_128.gif] Finally the operation is associative because quotient groups _gr_129.gif] quotient groups _gr_130.gif] quotient groups _gr_131.gif] quotient groups _gr_132.gif] quotient groups _gr_133.gif] quotient groups _gr_134.gif] quotient groups _gr_135.gif]

Proposition (Normal Subgroups are Kernels of Homomorphisms) If quotient groups _gr_136.gif] is a normal subgroup of  a group quotient groups _gr_137.gif] then quotient groups _gr_138.gif] defined by quotient groups _gr_139.gif] for each quotient groups _gr_140.gif] is a homomorphism of quotient groups _gr_141.gif] onto quotient groups _gr_142.gif] and quotient groups _gr_143.gif]

    Proof. Because quotient groups _gr_144.gif] is a partition of quotient groups _gr_145.gif] quotient groups _gr_146.gif] is a mapping that is onto. Since quotient groups _gr_147.gif] quotient groups _gr_148.gif] quotient groups _gr_149.gif] quotient groups _gr_150.gif] quotient groups _gr_151.gif] is a homomorphism. The last statement follows from, if quotient groups _gr_152.gif] then   quotient groups _gr_153.gif] if and only if   quotient groups _gr_154.gif] quotient groups _gr_155.gif]

Group Theory Books

Theory and Practice of Group Psychotherapy, Fifth Edition Product Image
List Price: $55.00
Buy New: $31.90
You Save: $23.10 (42%)
New (55) Used (44) from $29.90In this completely revised and updated fifth edition of group psychotherapy?s standard text, Dr. Yalom and his collaborator present the most recent developments in the field, drawing on nearly a decade (more)
Student Manual for Corey's Theory and Practice of Group Counseling, 7th Product Image
List Price: $49.95
Buy New: $39.75
You Save: $10.20 (20%)
New (18) Used (9) from $39.75The Student Manual helps you experience group process techniques and gain maximum benefit from Corey's textbook. The manual includes many activities, ideas for supervised training groups, summary charts, (more)
Joining Together: Group Theory and Group Skills (10th Edition) Product Image
List Price: $92.00
Buy New: $68.88
You Save: $23.12 (25%)
New (27) Used (18) from $68.88Joining Together: Group Theory and Group Skills (10th Edition) (more)
Group Theory in the Bedroom, and Other Mathematical Diversions Product Image
List Price: $25.00
Buy New: $16.08
You Save: $8.92 (36%)
New (10) Used (2) from $12.50An Award-Winning Essayist Plies His Craft Brian Hayes is one of the most accomplished essayists active today?a claim supported not only by his prolific and continuing high-quality output but also by such (more)
Schaum's Outline of Group Theory Product Image
List Price: $18.95
Buy Used: $4.29
You Save: $14.66 (77%)
New (25) Used (18) Collectible (1) from $4.29Confusing Textbooks? Missed Lectures? Not Enough Time? Fortunately for you, there's Schaum's Outlines. More than 40 million students have trusted Schaum's to help them succeed in the classroom and on (more)
Group Theory: Application to the Physics of Condensed Matter Product Image
List Price: $89.95
Buy New: $66.67
You Save: $23.28 (26%)
New (20) Used (5) from $66.67Every process in physics is governed by selection rules that are the consequence of symmetry requirements. The beauty and strength of group theory resides in the transformation of many complex symmetry (more)
Group Theory and Quantum Mechanics Product Image
List Price: $24.95
Buy New: $15.44
You Save: $9.51 (38%)
New (12) Used (8) Collectible (1) from $12.96This graduate-level text develops aspects of group theory most relevant to physics and chemistry and illustrates their applications to quantum mechanics: abstract group theory, theory of group representations, (more)
Topological Methods in Group Theory (Graduate Texts in Mathematics) Product Image
List Price: $59.95
Buy New: $45.13
You Save: $14.82 (25%)
New (26) Used (7) from $45.13Topological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete groups. The author has kept three kinds of readers in mind: graduate students who (more)
Symmetry: An Introduction to Group Theory and Its Applications Product Image
List Price: $14.95
Buy New: $9.11
You Save: $5.84 (39%)
New (17) Used (9) from $8.10This well-organized volume develops the elementary ideas of both group theory and representation theory in a progressive and thorough fashion. Designed to allow students to focus on any of the main fields (more)
Character Theory of Finite Groups (AMS Chelsea Publishing) Product Image
Buy New: $45.00
New (6) Used (3) from $29.95Character theory is a powerful tool for understanding finite groups. In particular, the theory has been a key ingredient in the classification of finite simple groups. Characters are also of interest in (more)

Cite this as:
Quotient Groups
Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/quotient-groups.html
about us contact us privacy policy terms of use mision statement lom help
The Library of Math - Online Math Organized by Subject Into Topics. © 2005 - 2008 www.LibraryOfMath.com All rights reserved. math rss