# Find the field by the its multiplicative group

Suppose we have a group G. Is this a multiplicative (or additive) group of some field? I think that аn arbitrary group is not suitable (e.g. in the case of finite fields multiplicative group should be cyclic). What properties must have this group G (it's very interesting in the case of infinite groups)?

The additive case is straightforward: every field is a vector space over its prime subfield (the subfield generated by $1$), which is either $\mathbb{Q}$ or $\mathbb{F}_p$ for some $p$, and in both cases fields exist which have every possible dimension as vector spaces. So the problem reduces to characterizing which abelian groups are vector spaces over a prime field (either $\mathbb{Q}$ or $\mathbb{F}_p$ for some $p$). Note that this is a property, not a structure.
The abelian groups which are $\mathbb{Q}$-vector spaces are precisely those which are both divisible and torsion-free, and the abelian groups which are $\mathbb{F}_p$-vector spaces are precisely those for which every element has order (dividing) $p$, what group theorists call the elementary abelian $p$-groups.
• sorry for stupid question, but it's necessary condition? I mean if abelian group is divisible and torsion-free or elementary $p$-group then it's a additive group of some field? What about multiplication — can we define it by additive group (of a unique way, possibly)? Jun 17, 2015 at 5:08
• @Michael: yes. To show this is equivalent to showing that $\mathbb{Q}$ and $\mathbb{F}_p$ have extensions of every possible degree, and this is true and not hard to see (the finite degrees are the hardest). Jun 17, 2015 at 5:24