Math Is Fun Forum

Hi there

I have problems here and I need your help

1 - prove that <x,y| x^8=1, x^4=y^2,xy= yx^-1> defines a2-group of order at most 16.

2 - prove that anon trivial transitive G-space X is primitive iff for some x in X the subgroup G_x is maximal.

3- prove that there is an order isomorphism between G-congruences on X and subgroup H of G that contain G_x.

Cheers,