1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Automorphism with order p

  1. Oct 15, 2008 #1
    1. The problem statement, all variables and given/known data
    Let A, B be groups and theta: A --> Aut(B) a homomorphism. For a in A denote theta(a)= theta_a in Aut(B). Equip the product set B x A={(b,a): a in A, b in B} with the binary operation (b,a)(b',a')= (b'',a'') where a''=aa' and b''=b(theta_a{b')).

    (a) Assume that p,q in N are prime and p divides (q-1). Consider the case A=Zmodp, B=Zmodq. Show that there exists phi in Aut(Zmodq) which has order p.

    Hint: Use Cauchy's Thm for Abelian groups

    (b) Deduce that for any 2 primes p,q in N such that p|(q-1) there is a non-Abelian group of order pq.


    (a) If p divides q-1, then p=-1 in mod q. Don't really know where to go from there.....

    (b) No idea.
    Last edited: Oct 15, 2008
  2. jcsd
  3. Oct 16, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    (a) What is the order of Aut(B)?

    (b) Under the binary operation defined in the question, is BxA a group?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook