Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2018 / Problems / Day 1, P2

IMC 2018 · Day 1 · P2

medium

Does there exist a field such that its multiplicative group is isomorphic to its additive group?

(Proposed by Alexandre Chapovalov, New York University, Abu Dhabi)

Solution (official)

There exist no such field.

Suppose that FF is such a field and g:FF+g : F^* \to F^+ is a group isomorphism. Then g(1)=0g(1) = 0.

Let a=g(1)a = g(-1). Then 2a=2g(1)=g((1)2)=g(1)=02a = 2 \cdot g(-1) = g\bigl( (-1)^2 \bigr) = g(1) = 0; so either a=0a = 0 or charF=2\operatorname{char} F = 2. If a=0a = 0 then 1=g1(a)=g1(0)=1-1 = g^{-1}(a) = g^{-1}(0) = 1; we have charF=2\operatorname{char} F = 2 in any case.

For every xFx \in F, we have g(x2)=2g(x)=0=g(1)g(x^2) = 2 g(x) = 0 = g(1), so x2=1x^2 = 1. But this equation has only one or two solutions. Hence FF is the 2-element field; but its additive and multiplicative groups have different numbers of elements and are not isomorphic.

How the field did

contestants scored
342
average (of 10)
4.49
solved (≥ 80%)
40.1%
near-0 (≤ 10%)
48.2%
discrimination
0.56

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2003 · Day 1 · P2mediumavg 6.1/10 · solved 38% · near-0 13% · disc 0.54
IMC 2001 · Day 1 · P2mediumavg 6.7/10 · solved 45% · near-0 10% · disc 0.41
IMC 2000 · Day 1 · P5hardavg 3.9/10 · solved 25% · near-0 39% · disc 0.59
IMC 2009 · Day 2 · P9hardavg 2.2/10 · solved 21% · near-0 76% · disc 0.46