My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
August 13th, 2007, 09:08 PM   #1
Joined: Mar 2007

Posts: 57
Thanks: 0

groups and homo/iso/automorphisms

How many automorphisms are there of Z, and Z_n? (i.e. How many isomorphisms are there from Z to Z, and how many are there from Z_n to Z_n?)

How many homomorphisms are there from Z to G, where G is any group of order n? What's the easiest way to describe/list/write out all of them?

How many homomorphisms are there from ZxZ to S_n? (Perhaps not in general but juse show a few cases.)

Let V = Z/2 x Z/2 be Klein four group.
How many homomorphisms are there from V to S_2, S_3, and S_4, in each case?

(Z is the set of integers, Z_n = Z mod n, S = "permutations")
aptx4869 is offline  
August 14th, 2007, 05:47 AM   #2
Senior Member
Joined: Nov 2006
From: I'm a figment of my own imagination :?

Posts: 848
Thanks: 0

I'm assuming that an automorphism creates a bijection of a set to itself. If I'm interpreting this correctly, the number of automorphisms of Z should be Z!, which is equivalent to 2^Z=2^aleph_0=c (n! rises faster than 2^n but slower than 2^(2^n)). The number of automorphisms of Z_n should be n!.

I'm not going to try to guess at the remaining questions .
roadnottaken is offline  
August 14th, 2007, 06:49 AM   #3
Global Moderator
Joined: Dec 2006

Posts: 20,931
Thanks: 2207

I suspect aptx4869 meant the group (Z, +) rather than the set Z.
skipjack is offline  
August 14th, 2007, 05:37 PM   #4
Joined: Mar 2007

Posts: 57
Thanks: 0

Oops. Yes, sorry, all of them are meant to be groups so
Z was meant to be (Z, +),
Z_n was meant to be (Z_n, +_n),
G was meant to be (G, *),
S_n was meant to be (S_n, composition), etc.

Automorphisms are bijective and needs to satisfy the homomorphism property, so we need the identity element to be mapped to itself in all cases. So far I have found for:

Z: Due to the homomorphism property, we need f(1)=1 or f(1)=-1 as it is necessary for the map to be surjective since if we have |x|>|y| we must also have |f(x)| > |f(y)|.
Therefore there are only two automorphisms: f(x) = x which is the identity mapping, and f(x) = -x

Z/2: only one automorphism which is the identity mapping
Z/3: there are two automorphisms
Z/4: there are two automorphisms
Z/5: there are four automorphisms
Z/n for n>2
I think there should be 2*int{ (n-1)/2 } automorphisms, where int{.} is the integer function / floor function / removing the non-integer part......
though I haven't proved it yet, and what's more - I could be wrong about that. Correct me if I'm wrong.
aptx4869 is offline  
September 19th, 2007, 03:41 AM   #5
Joined: Sep 2007

Posts: 3
Thanks: 0

You are correct about automorphisms of Z, but incorrect about Z/nZ.
Since 1 generates Z/nZ a homomorphism is completely determined by the image
of 1. Thus there are |Z/nZ| = n homomorphisms (by the way this answers your question about the number of homomorphisms from Z to G, there is exactly one for each element
a in G, given by k \mapsto a^k).

Since Z/nZ is finite, a homomorphism is injective iff it is surjective, so it is enough to show that it is surjective. If f(1) = a, the map is surjective iff a is relatively prime to n. Hence the number of automorphisms is phi(n) (where phi is the Euler phi-function). In case you didn't know:
phi(n) = \prod_i (p_i - 1)p^(e_i - 1),
where n = \prod_i p_i^(e_i) is the prime number decomposition of n.
As you see this is consistent with your claims about Z/nZ, n = 2...5.

Hope it helps

yeela is offline  

  My Math Forum > College Math Forum > Abstract Algebra


Search tags for this page
Click on a term to search for related topics.
Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Abelian X-Groups and Noetherian (Abelian) X-Groups Math Amateur Abstract Algebra 0 October 29th, 2013 03:46 PM
About minimal normal groups and subnormal groups Sheila496 Abstract Algebra 0 October 20th, 2011 09:45 AM
Centers of a Group and Automorphisms of this Group polysot Abstract Algebra 1 February 12th, 2011 05:31 PM
Homomorphism of Lie groups as groups but not as manifolds lime Abstract Algebra 3 October 25th, 2010 07:30 AM
Ring Homo. HairOnABiscuit Abstract Algebra 1 December 12th, 2009 11:55 AM

Copyright © 2019 My Math Forum. All rights reserved.