Does there exist a field such that its multiplicative group is isomorphic to its additive group?
Official solution
There exist no such field. Suppose that F is such a field and g:F∗→F+ is a group isomorphism. Then g(1)=0. Let a=g(−1). Then 2a=2⋅g(−1)=g((−1)2)=g(1)=0; so either a=0 or char F=2. If a=0 then −1=g−1(a)=g−1(0)=1; we have char F=2 in any case. For every x∈F, we have g(x2)=2g(x)=0=g(1), so x2=1. But this equation has only one or two solutions. Hence F is the 2-element field; but its additive and multiplicative groups have different numbers of elements and are not isomorphic.
Source: Omni-MATH,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.