DIHEDRAL GROUP - Internal Direct Product

In summary, the conversation discusses proving that D4 cannot be the internal direct product of two of its proper subgroups, and explores the possible orders and properties of these subgroups. It is suggested to use the fact that the internal direct product is isomorphic to the external direct product if the subgroups have trivial intersection.
  • #1
mehtamonica
26
0
I have to prove that D4 cannot be the internal direct product of two of its proper subgroups.Please help.
 
Last edited:
Physics news on Phys.org
  • #2
So, what did you try already??
What can the orders be of a proper subgroup of D4?? Can they be abelian, nonabelian?
 
  • #3
micromass said:
So, what did you try already??
What can the orders be of a proper subgroup of D4?? Can they be abelian, nonabelian?
Thanks, Micromass. If G is the internal direct product of its subgroups H and K ,then the possible orders of subgroups H and K can be 2 and 4 or vice a versa.

It seems that both H and K are abelian. How can move further from this ?
 
  • #4
Indeed, an the direct product of abelian groups is...
 
  • #5
micromass said:
Indeed, an the direct product of abelian groups is...

As far as the result goes the external direct product of two abelian groups is abelian...but is the internal direct product abelian too ? i mean if subgroups H and K are abelian can we conclude that the IDP is abelian ?
 
  • #6
mehtamonica said:
As far as the result goes the external direct product of two abelian groups is abelian...but is the internal direct product abelian too ? i mean if subgroups H and K are abelian can we conclude that the IDP is abelian ?

Well, the internal direct product of H and G is isomorphic to the external direct product if [itex]H\cap G=\{e\}[/itex]. Use that.
 
  • #7
micromass said:
Well, the internal direct product of H and G is isomorphic to the external direct product if [itex]H\cap G=\{e\}[/itex]. Use that.

Thanks a lot, Micromass.
 

Related to DIHEDRAL GROUP - Internal Direct Product

1. What is a dihedral group?

A dihedral group is a mathematical concept that represents the symmetries of a regular polygon. It is denoted by Dn, where n represents the number of sides of the polygon. It is a group because it follows the four group axioms - closure, associativity, identity, and inverse elements.

2. What is the order of a dihedral group?

The order of a dihedral group is equal to the number of elements in the group. It can be calculated using the formula |Dn| = 2n, where n is the number of sides of the polygon. For example, the order of a dihedral group with 4 sides (square) is |D4| = 2(4) = 8.

3. What is the internal direct product of a dihedral group?

The internal direct product of a dihedral group is a way of combining two groups, Dm and Dn, to form a new group, Dm × Dn. It is defined as the set of all ordered pairs (g1, g2) where g1 is an element of Dm and g2 is an element of Dn, and the operation is defined as (g1, g2) × (h1, h2) = (g1h1, g2h2).

4. What is an example of an internal direct product of a dihedral group?

An example of an internal direct product of a dihedral group is D4 × D3. This is the group formed by combining a square (D4) and an equilateral triangle (D3). The order of this group is |D4 × D3| = (2)(4)(3) = 24, which is the product of the orders of the two individual groups.

5. How is the internal direct product of a dihedral group related to the external direct product?

The internal direct product of a dihedral group is a special case of the external direct product. While the internal direct product combines elements from the same group, the external direct product combines elements from different groups. The external direct product of two groups, G and H, is denoted by G × H and is defined as the set of all ordered pairs (g, h) where g is an element of G and h is an element of H, and the operation is defined as (g, h) × (g', h') = (gg', hh'). In contrast, the internal direct product of two groups, G and H, is denoted by G × H and is defined as the set of all ordered pairs (g, h) where g is an element of G and h is an element of H, and the operation is defined as (g, h) × (g', h') = (g×g', h×h').

Similar threads

  • Linear and Abstract Algebra
Replies
3
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
882
  • Linear and Abstract Algebra
Replies
10
Views
377
  • Linear and Abstract Algebra
Replies
7
Views
287
  • Linear and Abstract Algebra
Replies
33
Views
874
Replies
5
Views
1K
  • Linear and Abstract Algebra
Replies
4
Views
2K
  • Linear and Abstract Algebra
Replies
32
Views
3K
  • Linear and Abstract Algebra
Replies
9
Views
2K
Back
Top