Stabilizer of an Element in Group Operations | Group Theory Homework

  • Thread starter Thread starter hitmeoff
  • Start date Start date
  • Tags Tags
    Group Operations
hitmeoff
Messages
260
Reaction score
1

Homework Statement



An operation of a group G on a set S is a function G X S \rightarrow S satisfying:

1. es = s \foralls \epsilon S
2. g(hs) = (gh)s \forallg,h \epsilon G, s\epsilon S

If s \epsilon S, show that the stabilizer of s, defined as the set:
{g \epsilon G | gs = s}
is a subgroup of G

Homework Equations


The Attempt at a Solution



Well from that definition it seems that g must be the identity element of G. Is a set consisting of just the identity not just a group? And since G is a group it includes the identity, thus the set g: {e} is a subgroup of G?
 
Physics news on Phys.org
i'm not sure about that...

my group theory isn't the best, but... i think the identity will surely be a part (from the defintion), but also potentially other elements as well

for example consider the group of all 2D rotations, I'm not 100% sure how to put it together, but imagine the set as a square, defined only by the location of its 4 vertices, only rotations of n*(pi/2) take the square into itself... i think the the stabiliser group in this case, then represents the rotational symmetry group of the square...

so i think the key is to show something along the lines of:
- the identity must be in the stabiliser group, and if f,h are in the stabiliser group, so is fh & h^{-1}
 
Last edited:
once again expanded above
 
hitmeoff said:

Homework Statement



An operation of a group G on a set S is a function G X S \rightarrow S satisfying:

1. es = s \foralls \epsilon S
2. g(hs) = (gh)s \forallg,h \epsilon G, s\epsilon S

If s \epsilon S, show that the stabilizer of s, defined as the set:
{g \epsilon G | gs = s}
is a subgroup of G

Homework Equations





The Attempt at a Solution



Well from that definition it seems that g must be the identity element of G. Is a set consisting of just the identity not just a group? And since G is a group it includes the identity, thus the set g: {e} is a subgroup of G?
No, the set of all g obviously contains e but there may be other members of G that "fix" s. Remember that s is NOT itself a member of G. You can only say that es= s because of (1) in your definition of the action of G on S.

(1) tells you that e is in this set and (2) tells you that the operation is associative. Now you need to prove that this set is closed under the operation: if gs= s and hs= s, then (gh)s= s. You also need to prove that if gs= s, then g-1s= s.
 
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