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

Given that G is an abelian group and $\Psi: G\to G$ is a homomorphism, what can be said about the kernel of $\Psi$ if $G$ has odd order?

share|cite|improve this question
I don't think there can be said anything interesting in this generality, except that the kernel has also odd order :) On the other hand finite abelian groups are classified as sums of various $Z/p^n Z$ so one can explicitly write down a list of all possible kernels. – Jan Dec 2 '11 at 17:46

It has odd order.

I don't think you can say much more in such generality: since $G$ is finite abelian, for every subgroup $K$ of $G$, $G$ has a subgroup isomorphic to $G/K$..

Since $G$ has a subgroup $K$ of any order dividing $|G|$, you can pick your favorite subgroup of $G$ (which can have order your favorite divisor of $|G|$), find a subgroup $H$ isomorphic to $G/K$, and map $G\to G$ by mapping first to $G/K$ and then embedding $G/K$ into $G$ via the isomorphism with $H$. This gives you a homomorphism $\Psi\colon G\to G$ with precisely $K$ as the kernel.

Of course, nothing special about "odd order" above. You can do that with any order.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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