Sub groups of the dihedral group

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
AllRelative
Messages
42
Reaction score
2

Homework Statement


This is only a step in a proof I am trying to make.

Let Dm be the dihedral group.
r is the rotation of 2π/m around the origin and s is a reflexion about a line passing trough a vertex and the origin.

Let<s> and <r> be two subgroups of Dm.

Is there a theorem that states that Dm = <r><s>

Homework Equations

The Attempt at a Solution


Thanks for the help
 
Physics news on Phys.org
AllRelative said:

Homework Statement


This is only a step in a proof I am trying to make.

Let Dm be the dihedral group.
r is the rotation of 2π/m around the origin and s is a reflexion about a line passing trough a vertex and the origin.

Let<s> and <r> be two subgroups of Dm.

Is there a theorem that states that Dm = <r><s>

Homework Equations

The Attempt at a Solution


Thanks for the help
There is no theorem needed. If you look at the representation ##D_m=\langle r,s\,|\,r^m=s^2=srsr=1 \rangle ## then can you say whether all words over the alphabet ##\{\,r,s\,\}## can be written as ## r^k \cdot 1## or ##r^k\cdot s\,?## Or what do you mean by ##\langle r\rangle \langle s\rangle\,?##

As groups, and if you consider ##\langle r\rangle \langle s\rangle = \langle r\rangle \times \langle s\rangle## as a direct product, then this is not true. One of those subgroups is not normal.
 
  • Like
Likes   Reactions: AllRelative
fresh_42 said:
There is no theorem needed. If you look at the representation ##D_m=\langle r,s\,|\,r^m=s^2=srsr=1 \rangle ## then can you say whether all words over the alphabet ##\{\,r,s\,\}## can be written as ## r^k \cdot 1## or ##r^k\cdot s\,?## Or what do you mean by ##\langle r\rangle \langle s\rangle\,?##

As groups, and if you consider ##\langle r\rangle \langle s\rangle = \langle r\rangle \times \langle s\rangle## as a direct product, then this is not true. One of those subgroups is not normal.

Thanks again for the response you rock.
You made me realize I was not on the right track. But I think I found it. Thanks!

By the way, it would probably be easier if I wrote the whole problem I'm working on but I'm concerned about plagiarism since this is an assignment haha.