Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Possible Duplicate:
the image of $1$ by a homomorphism between unitary rings

I'm studying the Atiyah's commutative algebra book and I realized that in the beginning of the book, the author says as one of the conditions to a map be a homomorphism is $f(1)=1$, I would like to know if I can left this condition behind, i. e., if $f(x+y)=f(x)+f(y)$ and $f(xy)=f(x)f(y)$ we can have $f(1)=1$.


share|cite|improve this question

marked as duplicate by YACP, Hagen von Eitzen, Fabian, Davide Giraudo, ncmathsadist Jan 5 '13 at 14:41

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

We can have $f(1)=1$, but we don't must have it. – user26857 Jan 5 '13 at 12:02
As YACP hints, your formulation of the question is probably not what you really mean: namely whether the axioms $f(x+y)=f(x)+f(y)$ and $f(xy)=f(x)f(y)$ imply $f(1)=1$. The answer is "no" , as akkk and Jyrki point out. – Georges Elencwajg Jan 5 '13 at 12:45
up vote 8 down vote accepted

No. The constant 0 function (which has $f(x)=0$ for all $x\in R$) is not a ring homomorphism in the usual understanding, but satisfies $f(x+y)=f(x)+f(y)$ and $f(xy)=f(x)f(y)$.

share|cite|improve this answer

The condition $f(1)=1$ is usually included in the definition of a ring homomorphism, when the (IMHO more common) convention that rings must have units is adopted. You want to rule out mappings like $$ x\mapsto\pmatrix {x&0\cr0&0\cr} $$ from being a homomorphism from, say, the reals to 2x2 real matrices.

Similar things might otherwise also happen between mappings between commutative rings (Atiyah's context). For example, the mapping $f:x\mapsto 3x$ from $\mathbb{Z}_6$ to itself does satisfy the conditions $f(a+b)=f(a)+f(b)$ and $f(ab)=f(a)f(b)$. The latter condition follows from the congruence $3^3\equiv 3\pmod 6$.

More generally, if a commutative ring $R$ has an idempotent, i.e. an element $e$ that satisfies the relation $e^2=e$, then the mapping $x\mapsto xe$ satisfies both conditions $f(a+b)=f(a)+f(b)$ and $f(ab)=f(a)f(b)$ for all $a,b\in R$.

As you have seen there are several examples proving that the condition $f(1)=1$ does not follow from the other requirements of a ring homomorphism. Not even in the case, when $f(1)\neq0$.

Commenting a little bit as to why we (or at least Atiyah) want to rule out the mappings between rings that respect the binary operations, but don't map 1 to 1. In several parts of algebra emphasis is on modules over a ring. There it is essential that 1 acts as the identity mapping on the module. We also want to be able pull back the module structure as follows. If $M$ is an $S$-module and $f:R\rightarrow S$ is a ring homomorphism, we often want to turn $M$ into an $R$-module by the rule $r*m=f(r)m$. If we didn't know that $f(1_R)=1_S$, then we would need to worry, whether multiplication by $1_R$ is the identity mapping on $M$.

There may be several other reasons. The above is the first that occurred to me, because it really is everywhere in applications of modules. I guess it is possible to have a context, where this argument is not pressing, and then you can choose to work with a different definition.

share|cite|improve this answer
Could you add a word on why we want to rule out such mappings? – akkkk Jan 5 '13 at 13:08
@akkkk Universal algebra: "variety"/"quasivariety". Logic/model theory: "model homomorphism", "free model", "set of Horn clauses". OK, I somehow get the impression that I'm unable to convey this information with a single word. I probably have to write a complete answer with full details. – Thomas Klimpel Jan 5 '13 at 14:47

It could also be $f(1)=0$.

But looking at it from a logical point of view, a homomorphism would be a language and interpretation preserving function. In the language of unital rings we have two constants, $0,1$ and two operations $+,\cdot$. If we require that $f$ preserves the interpretation then $f(1_R)=1_S$ is an actual requirement.

Note that in such case the zero homomorphism is not a homomorphism of unital rings. You may wish to include it specifically or not. There is a good discussion on the topic here: Does $\varphi(1)=1$ if $\varphi$ is a field homomorphism?

share|cite|improve this answer
I don't see the "otherwise". If $f$ is not surjective then $f(1)$ is only a unit for the subring $Im(f)$, this does not have to imply that it is a unit for the target. – mland Jan 5 '13 at 11:55

Let $ f: R \mapsto S$ And if $ f$ is not zero map, if it is zero map the condition is satisfied trivially.

So, assume $f(1) = a$ and $ a \neq 0$ Then $f(1) = f(1*1) = f(1)*f(1)$ if $f(1) \ne 0$ then $ f(1) = a^2 = a$ $ \Rightarrow $ and as the map is not trivial,$\exists s \in R $ such that $ f(s) \ne 0$ then $f(s) = f(1*s) = f(1)*f(s)$ so, $ f(s) = af(s) $ and again $ f(s*s) = f(as)*f(as) = a^2f(s)^2 $

So $ a^2 = a$ $\Rightarrow$ $(a-1)a = 0$ hence a is a zero divisor or 1.

If $f(s)$ is an unit then $a = 1$ or if the ring is a integral domain.

share|cite|improve this answer
Your equality is true independently of whether $f(1)\neq 0$ or not and moreover does not answer the question: what is this "Hint" supposed to mean ? – Georges Elencwajg Jan 5 '13 at 12:51
@GeorgesElencwajg, as the reader is doing Atiyah, I thought he should be able to do this proof himself, that's why I gave him a hint where to start. – Ram Jan 5 '13 at 13:48
To readers: my comment above applied to a preceding version of the answer. – Georges Elencwajg Jan 5 '13 at 14:09
why $(a-1)a = 0$ implies $a$ is a zero divisor or 1? zero divisor, it's ok, but why 1? thank you for your answer. – user42912 Jan 5 '13 at 19:07
If $a$ is not a zero divisor then $ a = 0$ or $ a-1 = 0$, but we assumed earlier that $ a \ne 0$ and hence $ a = 1$ and if $ f(s)$ is a unit in ring $S$ then you can simply cancel out $f(s)$ so, again $ a = 1$ – Ram Jan 6 '13 at 3:35

When discussing rings with unity (i.e. the category of unital rings, usually denoted Ring), authors usually require homomorphisms to preserve the unit element. When discussing rings that aren't necessarily unital (i.e. the category of "rngs", usually denoted Rng) authors usually don't require homomorphisms to preserve the unit element (should it exist). Refer to this link.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.