Let S be the subset of group G that contains identity element 1?

Click For Summary
SUMMARY

The discussion centers on proving that the subset S of group G, which contains the identity element 1, is a subgroup of G. The proof hinges on demonstrating that S is closed under multiplication and contains inverses. The participants clarify that if h is in S, then the left coset hS must equal S, confirming closure. Additionally, they address the nature of partitions in relation to left cosets, emphasizing the equality or disjoint nature of the sets involved.

PREREQUISITES
  • Understanding of group theory concepts, specifically subgroups and cosets.
  • Familiarity with the identity element in group structures.
  • Knowledge of partitioning sets in mathematical contexts.
  • Ability to manipulate and interpret mathematical proofs involving set equality.
NEXT STEPS
  • Study the properties of subgroups in group theory.
  • Learn about left cosets and their role in partitioning groups.
  • Explore the concept of closure in algebraic structures.
  • Investigate the relationship between identity elements and subgroup formation.
USEFUL FOR

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

Murtuza Tipu
Messages
47
Reaction score
2

Homework Statement



Let S be the subset of group G that contains identity element 1 such that left co sets aS with a in G, partition G .Probe that S is a subgroup of G.

Homework Equations



{hS : h belongs to G } is a partition of G.

The Attempt at a Solution


For h in S if I show that hS is S then that would imply that S is closed.
Now hS is a partition of S and contains h since 1 is in S and h is in S also.Hence h belongs to S intersection hS.
More over both these partition or two partition are disjoint or equal sets.
Hence h=hS which says that S is closed.
 
Physics news on Phys.org
Murtuza Tipu said:
For h in S if I show that hS is S then that would imply that S is closed.
Now hS is a partition of S and contains h since 1 is in S and h is in S also.Hence h belongs to S intersection hS.
More over both these partition or two partition are disjoint or equal sets.
Hence h=hS which says that S is closed.
It was difficult to follow your argument, but I think you got it right. This is assuming that you meant to write S=hS where you wrote h=hS in the last line.

My version:
We will prove that S is closed under multiplication. Let ##a,b\in S## be arbitrary. Since ##ab\in aS##, it will be sufficient to prove that ##aS=S##. Since ##e\in S##, we have ##a=ae\in aS##. By assumption, we also have ##a\in S=eS##. Since aS and eS are both cells of the partition, they are either equal or disjoint. So the fact that they both contain ##a## implies that ##aS=eS=S##.
 
The same I can show that it contains the inverses. WHy aren't they partitions of G?? As  ,h belongs to G , hS is a left coset. 
 

Similar threads

Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
6
Views
3K
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K