Subgroup

From WikiMD's Wellness Encyclopedia

(Redirected from Subgroups)

Left cosets of Z 2 in Z 8
Symmetric group 4; Cayley table; numbers
Alternating group 4; Cayley table; numbers
Klein four-group; Cayley table; subgroup of S4 (elements 0,7,16,23)
Cyclic group 3; Cayley table; subgroup of S4 (elements 0,3,4)
Cyclic group 3; Cayley table; subgroup of S4 (elements 0,11,19)

Subgroup in the context of mathematics, specifically within the branch of abstract algebra, refers to a group that is contained within another group, known as the parent group or simply the larger group. The concept of subgroups is fundamental in the study of group theory, as it allows mathematicians to understand the structure of groups by analyzing their smaller, constituent parts.

Definition[edit | edit source]

A subgroup H of a group G is a subset of G that is itself a group under the operation defined on G. Formally, for H to be a subgroup of G, it must satisfy the following criteria:

  • Closure: If a and b are elements of H, then the product ab is also in H.
  • Identity: The identity element e of G is also in H.
  • Inverses: For every element a in H, there exists an inverse a−1 in H such that aa−1 = e, where e is the identity element of G.

Types of Subgroups[edit | edit source]

Subgroups can be classified into various types based on their properties and the way they relate to the parent group:

  • Normal subgroups: A subgroup H is normal in G if it is invariant under conjugation by elements of G. This means for every a in H and every g in G, the element gag−1 is also in H. Normal subgroups are important because they allow the construction of quotient groups.
  • Cyclic subgroups: These are subgroups generated by a single element. A cyclic subgroup of G is denoted by ⟨a⟩, where a is an element of G. Every element of a cyclic subgroup can be written as an for some integer n.
  • Sylow subgroups: In the context of finite groups, Sylow subgroups are maximal subgroups of a particular order. They are central to the Sylow theorems, which provide conditions under which groups contain subgroups of given orders.

Examples[edit | edit source]

  • In the group of integers under addition, Z, any set of integers that can be written as nZ (where n is a non-zero integer) forms a subgroup. For example, the even integers form a subgroup of Z.
  • In the group of permutations of a set (the symmetric group), the set of permutations that leave at least one element fixed forms a subgroup.

Subgroup Lattice[edit | edit source]

The collection of all subgroups of a group G, including G itself and the trivial group (containing only the identity element), can be organized into a structure known as a subgroup lattice. This lattice visually represents the inclusion relationships between subgroups of G.

Applications[edit | edit source]

Subgroups play a crucial role in many areas of mathematics and its applications. They are used in the study of symmetry in chemistry and physics, the analysis of polynomial roots in algebra, and in the classification of finite groups, among other areas.

WikiMD
Navigation: Wellness - Encyclopedia - Health topics - Disease Index‏‎ - Drugs - World Directory - Gray's Anatomy - Keto diet - Recipes

Search WikiMD

Ad.Tired of being Overweight? Try W8MD's physician weight loss program.
Semaglutide (Ozempic / Wegovy and Tirzepatide (Mounjaro / Zepbound) available.
Advertise on WikiMD

WikiMD's Wellness Encyclopedia

Let Food Be Thy Medicine
Medicine Thy Food - Hippocrates

Medical Disclaimer: WikiMD is not a substitute for professional medical advice. The information on WikiMD is provided as an information resource only, may be incorrect, outdated or misleading, and is not to be used or relied on for any diagnostic or treatment purposes. Please consult your health care provider before making any healthcare decisions or for guidance about a specific medical condition. WikiMD expressly disclaims responsibility, and shall have no liability, for any damages, loss, injury, or liability whatsoever suffered as a result of your reliance on the information contained in this site. By visiting this site you agree to the foregoing terms and conditions, which may from time to time be changed or supplemented by WikiMD. If you do not agree to the foregoing terms and conditions, you should not enter or use this site. See full disclaimer.
Credits:Most images are courtesy of Wikimedia commons, and templates Wikipedia, licensed under CC BY SA or similar.

Contributors: Prab R. Tumpati, MD