2
$\begingroup$

Suppose we already know that for any groups $G$ and $H$, that if $f: G \rightarrow H$ is a homomorphism, then if $\langle g \rangle = G$ so too must $\langle f(g)\rangle = H$. Then we would know that if $f$ is a homomorphism, $f$ must "map generators to generators".

My question is to now flip this around and ask, "if we map generators to generators" then are we guaranteed that "$f$ is a homomorphism"?

So letting $G,H$ be groups suppose that $f: G \rightarrow H$ along with the stipulation that if $g \in G$ generates $G$ implies that $f(g)$ generates $H$.

Then we have for any $a,b \in G$ that $a = g^k$ and $b = g^j$ for some $k,j \in \mathbb{Z}$ so that

$$ f(ab) = f(g^k g^j) = f(g^{j+k}) $$

and from here it's not clear to me what we can conclude (other than that $f$ will be surjective). Specifically, I'm curious to know whether we can conclude $f$ is a homomorphism.

  • 0
    You can use `$\langle g\rangle$` for $\langle g\rangle$.2012-11-26
  • 0
    Thanks -- just modified question accordingly.2012-11-26

1 Answers 1

2

$\def\gen#1{\left\langle#1\right\rangle}\def\Z{\mathbb Z}$No, we can't conclude that $f$ is a homomorphism, as the condition $$\gen g = G \iff \gen{f(g)}= H$$ doesn't tell as anything on $f$'s behaviour on the non-generators. For example let $G = H = \Z/4\Z$, define $f\colon G \to H$ by $f(a+4\Z) = a+4\Z$ for $a \in \{1,3\}$, and $f(a + 4\Z) = 4\Z$ for $a \in \{0,2\}$. Then $f$ maps generators to generators, but it isn't a homomorphism.