Doro's conjecture on the commutative center of Moufang loops

For a Moufang loop MM, define its commutative center and nucleus by

C(M)={cMcx=xc for all xM},\operatorname{C}(M)=\{c\in M\mid cx=xc\ \text{for all}\ x\in M\},

and

Nuc(M)={aM(ax)y=a(xy) for all x,yM}.\operatorname{Nuc}(M)=\{a\in M\mid (ax)y=a(xy)\ \text{for all}\ x,y\in M\}.

Doro's conjecture. If Nuc(M)=1\operatorname{Nuc}(M)=1, then C(M)\operatorname{C}(M) is normal in MM.

The conjecture concerns whether the commutative center is forced to be normal when the nucleus is trivial. The paper shows that the commutative center is not normal in general, thereby reopening this more restricted conjecture; the supplied text does not establish whether Doro's conjecture is resolved.

Sources & referencesView supporting material

Primary source

Alexander N. Grishkov and Andrei V. Zavarnitsine, “On the commutative center of Moufang loops”, arXiv:1711.07001 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.