Ring homomorphism from Z4 to Z8

[llstelle]

Homework Statement

Exhibit two examples of a ring homomorphism \phi from Z4 to Z8, one that is one-to-one and another that is not. For each case, find ker(\phi) and describe Z4/ker(\phi)

2. The attempt at a solution
Let \phi : \mathbb{Z}_4 \longrightarrow \mathbb{Z}_8 be the identity mapping such that a = a mod 4 for a \in \mathbb{Z}_4 Clearly, this is a ring homomorphism since for any a,b in Z4,

\phi (a+b)=(a+b) mod 4=a mod 4+b mod 4=\phi(a)+\phi(b)

and

\phi(ab)=ab mod 4=a mod 4 \cdot b mod 4 = \phi(a) \cdot \phi(b)

This homomorphism is injective (or one-to-one) as every element in Z4 is carried to exactly one element in Z8, but not surjective as the range Z4 a proper subset of the codomain Z8.

The kernel of \phi is defined as the elements of Z4 that are mapped by \phi to the zero element in Z8, so ker \phi is the trivial ring {0} and Z4/ker \phi is the quotient ring formed by modding out the trivial ring.

Let us define another homomorphism \varphi : \mathbb{Z}_4 \longrightarrow \mathbb{Z}_8 by \varphi(a)=(8a) mod 8 for a \in \mathbb{Z}_4. Now,

\varphi(a+b)=(8a+8b) mod 8=8a mod 8+8b mod 8=\phi(a)+\phi(b)

Also,

\varphi(ab)=(64ab) mod 8=0=0 \cdot 0=(8a mod 8)(8b mod 8)

Observe that all of the elements in Z4 map to the zero element in Z8 so the kernel of \varphi is simply the whole of Z4 and Z4/ker \varphi is simply the trivial ring {0}.

My first homomorphism seems to be wrong... a mod 4 * b mod 4 can be, say 4, 6 or 9 while ab mod 4 cannot when a,b belong to the subset {2,3}. What should I do to rectify this? Also, I cannot think of a homomorphism between these two that isn't injective. Any suggestions? Thanks! :D

 

[micromass]

Firstly, what do you mean with ring homomorphism?? Specifically, must it preserve units?? Must \phi(1)=1?? I guess not, but I'll ask anyway.

Anyway, your first homomorphism is wrong. It is not a homomorphism. Indeed, one one hand we have

\phi(2+2)= 2+2=4

but also

\phi(2+2)=\phi(4)=\phi(0)=0

So our function does not satisfy \phi(a+b)=\phi(a)+\phi(b).

Now, as a hint to find a suitable homomorphism. What happens if I put \phi(1)=2? Can I extent this to a homomorphism?

 

[llstelle]

Mmm, yes, we're dealing with ring homomorphisms without the \varphi(1)=1 condition. I thought of something similar to your hint, I'm guessing since a homomorphism should preserve \varphi(nx)=n(\varphi(x)), we have x \longmapsto ax and by Lagrange's theorem, |a| divides both 4 and 8, so |a|=1,2 or 4 and a=0,2 or 4. So my x \longmapsto 0 homomorphism works and is one-to-one, but when I tried x \longmapsto 2x and x \longmapsto 4x, I couldn't have \varphi(1 \cdot 1)=\varphi(1) \cdot \varphi(1). Could you give another nudge? Also, I'm entirely clueless as to how to have the homomorphism NOT be injective.

 

[llstelle]

Anyone? ):

 

[Hurkyl]

So my x \longmapsto 0 homomorphism works and is one-to-one,

Why is it one-to-one?

Could you give another nudge?

Do you believe your work? If it's right, what can you conclude? Have you thought carefully enough about both your work and what it implies to be confident in that conclusion? (and if you're not confident, can you imagine ways to analyze the problem to gain confidence?)

If you really don't want to deal with that, mouse over the below to get another comment

Spoiler

The zero map is the only rng homomorphism. Are you sure the problem isn't asking about group homomorphisms, or module homomorphisms?

P.S. I think the best convention is to use "ring" to refer to the version where a ring has to have a multiplicative identity, and "rng" for the version where it does not. ("rng" is "ring" without "i")

Actually, that's not true. The best convention is, whenever there may be confusion, to explicitly state what convention you're using.

 

[llstelle]

Why is it one-to-one?

OH WAIT, I am an idiot! Ahhh.

Do you believe your work? If it's right, what can you conclude? Have you thought carefully enough about both your work and what it implies to be confident in that conclusion? (and if you're not confident, can you imagine ways to analyze the problem to gain confidence?)

If you really don't want to deal with that, mouse over the below to get another comment

Spoiler

The zero map is the only rng homomorphism. Are you sure the problem isn't asking about group homomorphisms, or module homomorphisms?

As you two suggest, I think my professor is expecting a group homomorphism actually (without \varphi(1)=1 condition). She teaches off Gallian's text, which doesn't have the \varphi(1)=1 condition in the definition of a ring homomorphism... But I think I've exhausted the options as well, with \varphi(a)=0,2a,4a being the only possibilities. I don't get why there could be two examples she's expecting... argh. And ohhh... rng and ring is an interesting convention!

 

[Hurkyl]

As you two suggest, I think my professor is expecting a group homomorphism actually (without \varphi(1)=1 condition).

There's another difference -- a group homomorphism doesn't have a \varphi(xy)=\varphi(x)\varphi(y) condition.

 

[llstelle]

Ahh, that's right. I'll point out the problem in her assignment. Thanks very much to both of you!