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

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. 
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top