Every Moufang loop of odd order with nontrivial commutant has nontrivial center.

From MaRDI portal
Publication:354680