Graduate How many cosets are there when taking a subgroup in a group and forming cosets?

  • Thread starter Thread starter LagrangeEuler
  • Start date Start date
  • Tags Tags
    Cosets Lagrange
Click For Summary
SUMMARY

The discussion centers on the formation of cosets from a subgroup H within a group G. It establishes that the total number of cosets can be either n or n+1, depending on whether the identity element e is included as a separate coset eH. The total number of cosets is defined by the formula |G/H| = |G|:|H|. The choice between n and n+1 cosets is influenced by the convenience of divisibility of n or n+1 with respect to the order of the group |G|.

PREREQUISITES
  • Understanding of group theory concepts, specifically subgroups and cosets.
  • Familiarity with the notation and properties of groups, such as identity elements.
  • Knowledge of the formula for the index of a subgroup, |G/H| = |G|:|H|.
  • Basic mathematical reasoning regarding divisibility and counting principles.
NEXT STEPS
  • Study the properties of cosets in group theory, focusing on left and right cosets.
  • Explore the implications of the index of a subgroup in finite groups.
  • Learn about the relationship between subgroup orders and group orders in the context of Lagrange's theorem.
  • Investigate examples of finite groups and their subgroups to apply the concepts of coset counting.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in deepening their understanding of group theory and coset formation.

LagrangeEuler
Messages
711
Reaction score
22
When we take some subgroup ##H## in ##G##. And form cosets ##g_1H, g_2H,...,g_{n}H##. Is ##H## also coset ##eH##, where ##e## is neutral? So do we have here ##n## or ##n+1## cosets?
 
Physics news on Phys.org
LagrangeEuler said:
When we take some subgroup ##H## in ##G##. And form cosets ##g_1H, g_2H,...,g_{n}H##. Is ##H## also coset ##eH##, where ##e## is neutral? So do we have here ##n## or ##n+1## cosets?
That depends on how you count?
If ##G = g_1H \cup \ldots \cup g_nH## then we have ##n## cosets. Now ##eH=g_iH## for some ##i##, so we can choose ##g_i=e## and renumber them as e.g. ##g_1, \ldots , g_{n-1},e##.
If ##G=g_1H \cup \ldots \cup g_nH\cup eH## then we have ##n+1## cosets.
The total number of cosets in a finite group is ##|G/H|=|G|:|H|##. Now define ##n##. It is usually more convenient to have ##n\,\vert \,|G|## than to have ##(n+1) \,\vert \,|G|##, but finally it's up to you.
 
Last edited:
  • Like
Likes Azure Ace

Similar threads

  • · Replies 1 ·
Replies
1
Views
578
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
6
Views
7K