Is there a finite abelian group which is not isomorphic to either the additive or multiplicative group of a field?

Question

Does there exist a finite abelian group $G$, such that for no field $F$ is it the case that $G$ is isomorphic to either the additive group of $F$ nor the multiplicative group of non-zero elements of $F$? I would prefer a counterexample of minimum cardinality.

Answer 1

The two results being used below are that the multiplicative group of a finite field is cyclic and the classification of finite abelian groups. For the former, see this MO thread for a discussion of some accessible proofs.

---

I made a really bad mistake in the first version of this answer! Since this answer's been accepted I can't delete it, but the fix below is due to Fishbane's comment so I've made this CW.

$C_2\times C_4$ is not the additive or multiplicative group of any field. Meanwhile, it's easy to check that every abelian group of size $<8$ is either the additive or multiplicative group of a field:

• For each prime $p$ (here $p=2,3,5,7$), $C_p$ is the additive group of the field $\mathbb{F}_p$.

• The only other abelian groups are the trivial group (= multiplicative group of $\mathbb{F}_2$), the Klein four group (= additive group of $\mathbb{F}_4$), and $C_6$ (= multiplicative group of $\mathbb{F}_7$).

Answer 2

The group $\mathbb{Z_2}\times\mathbb{Z_6}$ for example. It can't be the multiplicative group of any (necessary finite) field because it is not cyclic. And it can't be the additive group of any field because its order is not a power of a prime.

Answer 3

There is a slightly easier argument, which does not require knowledge of the groups of finite fields. Any group of order $14$ cannot be the additive or multiplicative group of a field since neither $14$ nor $15$ is a prime power.