MHB How Do You List Elements of G/H in Z10 When H={α,β,δ}?

  • Thread starter Thread starter simo1
  • Start date Start date
  • Tags Tags
    Groups
Click For Summary
SUMMARY

This discussion focuses on listing elements of the quotient group G/H where G is the symmetric group S3 and H is the subgroup generated by the 3-cycle (1 2 3). It clarifies that S3 has only one subgroup of order 3, which consists of the identity and the two 3-cycles. By applying Lagrange's Theorem, the discussion concludes that there are exactly two cosets: H and Ha, with Ha being generated by the transposition (1 2), resulting in the set { (1 2), (1 3), (2 3) }.

PREREQUISITES
  • Understanding of group theory concepts, specifically quotient groups
  • Familiarity with symmetric groups, particularly S3
  • Knowledge of Lagrange's Theorem and its implications
  • Ability to work with cycle notation in permutations
NEXT STEPS
  • Study the properties of symmetric groups and their subgroups
  • Learn about cosets and their applications in group theory
  • Explore more examples of Lagrange's Theorem in different groups
  • Investigate the relationship between group order and subgroup existence
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in advanced group theory concepts will benefit from this discussion.

simo1
Messages
21
Reaction score
0
someone had a post on finite quotient groups. i understood that but how does one list elements of G/H if H is a subgroup of G.
where:
G=Z10 H={α,β,δ}
 
Physics news on Phys.org
Re: clarity on groups

$\Bbb Z_{10}$ has no subgroup of 3 elements, since 3 does not divide 10. Did you have in mind some specific subgroup of $\Bbb Z_{10}$?
 
Re: clarity on groups

Deveno said:
$\Bbb Z_{10}$ has no subgroup of 3 elements, since 3 does not divide 10. Did you have in mind some specific subgroup of $\Bbb Z_{10}$?

my apologies I meant G=S3
 
Re: clarity on groups

Well, fortunately, there is only ONE subgroup of $S_3$ of order 3, which is generated by any 3-cycle.

The USUAL notation for such a 3-cycle is:

$(1\ 2\ 3)$ which is shorthand for the mapping:

$1 \to 2$
$2 \to 3$
$3 \to 1$.

The subgroup generated by this is:

$H = \{e, (1\ 2\ 3), (1\ 3\ 2)\}$.

Lagrange's Theorem tells us there will be exactly TWO cosets, $H$ and $Ha$ where $a$ is any permutation not in $H$. The 2-cycle (transposition) $(1\ 2)$ will do, and we find:

$H(1\ 2) = \{(1\ 2), (1\ 2\ 3)(1\ 2), (1\ 3\ 2)(1\ 2)\}$

$= \{(1\ 2), (1\ 3), (2\ 3)\}$
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 1 ·
Replies
1
Views
568
  • · Replies 26 ·
Replies
26
Views
891
  • · Replies 3 ·
Replies
3
Views
918
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 18 ·
Replies
18
Views
2K