Map closed under addition but not multiplication

I have been helping undergrads in an introduction to linear algebra course. When solving some exercise consisting in showing that a map is linear some get lazy after proving that it is closed under addition and do not prove the closure under scalar multiplication. I wanted to confront them with an example of a map closed under addition but not under the multiplication but could not come up with an example. Do you have any?

Solutions Collecting From Web of "Map closed under addition but not multiplication"

$T:\mathbb{C}\to\mathbb{C}$ defined by $T(z)=\bar{z}$ then $T(z_1+z_2)=T(z_1)+T(z_2)$ but $T(cz)\neq cT(z)$

Over the real numbers, this is tough. Any additive map is linear over $\mathbb{Q}$, so will be linear over $\mathbb{R}$ as soon as it’s continuous. However, there are non-continuous additive maps, even $\mathbb{R}\to\mathbb{R}$, for instance, $\sqrt{2}\mapsto \pi, \pi\mapsto\sqrt{2}$, extend by $\mathbb{Q}$-linearity and fix everything else. $\pi$ and $\sqrt{2}$ are linearly independent over $\mathbb{Q}$, so this is well defined.

If you take any field $F$, and a homomorphism of additive groups $(F,+)\to (F,+)$ which does not preserve multiplication, then this will be just such a map.

This is will never exist when $F$ is the field of rational numbers, or more generally, when it is generated by the unity (such as any ${\bf F}_p$ for a prime $p$), because in those, we can define multiplication in terms of addition.

A similar thing happens if you look at continuous additive maps in a topological field generated topologically by the unity (that is, the smallest subfield is dense), like the reals or $p$-adics — every continuous additive map is linear in this case.

On the other hand, if you don’t care about continuity, it is pretty easy to define such a map when $F=K[a]$ is a finite extension of another field $K$. Then you can just take $f\colon F\to F$ as the map such that $f(a^n)=0$ for $0<n<\deg a$ and $f(k)=k$ for $k\in K$. For example, if $K={\bf R}$ and $a=i$, $f$ takes real part of a complex number. In this case, the map is even continuous.

For fields which are not finite extensions of other fields (such as $F={\bf R}$), the existence of such maps may require a nontrivial application of axiom of choice, or more precisely, basis theorem, and then we can proceed as in the preceding paragraph: if $K\subseteq F$ is a field extension, then the map $F\to F$ which is identity on $K$ and takes a basis complementary to $1$ to zero is $K$-linear, and therefore additive.

Consider any field homomorphism $L \to L$, and consider $L$ as a vector-space over a subfield, which is not fixed by the map.

From that point of view, the “easiest” example is Frobenius on $\mathbb F_4$.

Note that there are 8 additive maps on the field with 4 elements, which of 4 are also linear.