Alternating groups and Latin squares (Q1120686)

The question studied here is, whether the alternating group on n symbols, \({\mathcal A}(n)\), can be the multiplication group of a loop. Let \({\mathcal M}_{\ell}\) and \({\mathcal M}_ r\), respectively, be the left and right multiplication groups of a loop, and let \({\mathcal M}:={\mathcal M}_{\ell}\cup {\mathcal M}_ r\). Then (i) for every \(n\geq 1\), \(n\neq 2,4,5\), there exists a loop of order n with \({\mathcal M}_{\ell}={\mathcal M}_ r={\mathcal M}={\mathcal A}(n)\), (ii) for loops of order 2, 4, 5, none of the permutation groups \({\mathcal M}_{\ell}\), \({\mathcal M}_ r\), \({\mathcal M}\) is equal to \({\mathcal A}(n)\).