Doro's conjecture on the commutative center of Moufang loops

About 9 years old · traced to

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

C⁡(M)={c∈M∣cx=xc for all x∈M},\operatorname{C}(M)=\{c\in M\mid cx=xc\ \text{for all}\ x\in M\},

and

Nuc⁡(M)={a∈M∣(ax)y=a(xy) for all x,y∈M}.\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.

References

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.