Abstract Algebra homework Direct products

Click For Summary
SUMMARY

The discussion focuses on the conditions under which a group G can be expressed as a direct product of its normal subgroups G_{1}, G_{2},...,G_{n}. Specifically, it establishes that if the intersection condition is modified from G_{i} \cap G_{1}, G_{2},...,G_{i-1} = e to G_{i} \cap G_{k} = e for all i \neq k, G does not necessarily remain isomorphic to the direct product G_{1} x G_{2} x ... x G_{n}. Participants explore examples using abelian groups, particularly Z_{60}, and emphasize the importance of finding a suitable homomorphism φ: G_{1} x ... x G_{n} → G to demonstrate isomorphism.

PREREQUISITES
  • Understanding of normal subgroups in group theory
  • Familiarity with direct products of groups
  • Knowledge of homomorphisms and isomorphisms
  • Basic concepts of abelian groups, specifically Z_{n} notation
NEXT STEPS
  • Study the properties of normal subgroups in group theory
  • Learn about constructing homomorphisms and proving isomorphisms
  • Explore examples of direct products using various abelian groups
  • Investigate induction techniques in group theory proofs
USEFUL FOR

Students of abstract algebra, particularly those working on group theory assignments, and educators looking for examples of direct products and subgroup properties.

Avatarjoe
Messages
3
Reaction score
0

Homework Statement



We've shown if G_{1},G_{2},...,G_{n} are subgroups of G s.t.

1)G_{1},G_{2},...,G_{n} are all normal
2)Every element of G can be written as g_{1}g_{2}...g_{n} with g_{i}\inG
3)For 1\leqi\leqn, G_{i}\capG_{1},G_{2},...,G_{i-1}=e

then G\congG_{1}xG_{2}x...xG_{n}

Show, by example, that if we replace 3) with the condition G_{i}\capG_{k}=e for all i\neqk then G does not need to be isomorphic to G_{1}xG_{2}x...xG_{n}



Homework Equations





The Attempt at a Solution



I tried to find an example with abelian groups likeZ_{60}, but nothing seemed to work. Now I'm trying groups that are themselves direct products, but I seem to be missing the big picture.
 
Physics news on Phys.org
You need to find a good homomorphism

\varphi:G_1\times...\times G_n\rightarrow G

and show that that is an isomorphism. What do you think you can choose as \varphi??
 
You also might want to think about an induction on n. Can you show it for n=2??
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 23 ·
Replies
23
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
2
Views
6K