Centers of groups and products of groups

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

The center of the product of two groups, denoted as Z(G x H), is equal to the product of their centers, Z(G) x Z(H). For groups G and H, the center Z(G) consists of elements z in G that commute with all elements of G, while Z(H) consists of elements that commute with all elements of H. The product group G x H is defined as the set of ordered pairs (g, h) where g is in G and h is in H. The centers Z(G) and Z(H) are themselves groups, and their product, denoted as Z(G) x Z(H), can be defined as the set of pairs (z1, z2) where z1 is in Z(G) and z2 is in Z(H).

PREREQUISITES
  • Understanding of group theory concepts, specifically group centers.
  • Familiarity with the definition and properties of product groups.
  • Knowledge of group notation and operations.
  • Basic comprehension of mathematical proofs in abstract algebra.
NEXT STEPS
  • Study the properties of group centers in more detail.
  • Learn about the structure and properties of product groups in group theory.
  • Explore examples of groups and their centers, such as cyclic and abelian groups.
  • Investigate the implications of the center of a group in the context of group homomorphisms.
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, group theorists, and anyone interested in the properties of group centers and product groups.

hgj
Messages
15
Reaction score
0
I need to prove that the center of the product of two groups is the product of their centers.

If I let G and H be two groups, then from definitions, the center of G is Z(G)={z in G such that zg=gz for g in G} and the center of H is Z(H)={z in H sucht that zh=hz for all h in H}. Also, the product of G and H is GxH={(g,h) such that g in G and h in H}. My problem right now is that I'm not sure how to define the center of GxH and I'm not sure how to define the product of Z(G) and Z(H). I'm hoping that if I could understand these two things, I could do the problem.
 
Physics news on Phys.org
GxH is a group. Call it K. Do you know how to define Z(K)?

Z(G) and Z(H) are groups. Call them P and Q. Do you know how to define PxQ?
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
7
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
5
Views
3K