Fully characteristic subgroups

  • Thread starter Thread starter math8
  • Start date Start date
  • Tags Tags
    Characteristic
math8
Messages
143
Reaction score
0
Let G=Z_2XS_3 (Z_2:cyclic group of order 2; S_3: Symmetric group on 3) . Show Center of G, Z(G) is not a fully characteristic (or invariant) subgroup of G.

Apparently, Z(G)=Z_2
I know that I need to show that there exists an endomorphism g from G to G such that g(Z_2) is not contained in Z_2.
But I am not sure how.

Also, to prove that every fully characteristic subgroup H is also characteristic, I now how to show that for every automorphism p in Aut(G), p(H) is contained in H, but for some reason I don't see why H is contained in p(H).
 
Physics news on Phys.org
There are subgroups of S_3 that are isomorphic to Z_2. Map the center to one of those. For the second question, p^(-1) is also in Aut(G).
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top