List of problems in loop theory and quasigroup theory

<h2 id="open-problems-moufang-loops">Open problems (Moufang loops)</h2>
<h3>Abelian by cyclic groups resulting in Moufang loops</h3>

Let L be a <a href="/facts/Moufang_loop/Rb0dVWNP">Moufang loop</a> with normal <a href="/facts/Abelian_group/FfWwmx4R">abelian</a> <a href="/facts/Subgroup/r91mBgpa">subgroup</a> (associative subloop) M of odd order such that L/M is a <a href="/facts/Cyclic_group/JL5zfFuL">cyclic group</a> of order bigger than 3. (i) Is L a <a href="/facts/Group_(mathematics)/IQTYqINt">group</a>? (ii) If the orders of M and L/M are <a href="/facts/Relatively_prime/bnCxCXxs">relatively prime</a>, is L a group?

<ul><li>Proposed: by Michael Kinyon, based on (Chein and Rajah, 2000)</li>
<li>Comments: The assumption that L/M has order bigger than 3 is important, as there is a (commutative) Moufang loop L of order 81 with normal commutative subgroup of order 27.</li></ul>
<h3>Embedding CMLs of period 3 into alternative algebras</h3>

Conjecture: Any finite <a href="/facts/Moufang_loop/Rb0dVWNP">commutative Moufang loop</a> of period 3 can be embedded into a commutative <a href="/facts/Alternative_algebra/3boGwrqQ">alternative algebra</a>.

<ul><li>Proposed: by Alexander Grishkov at Loops '03, Prague 2003</li></ul>
<h3>Frattini subloop for Moufang loops</h3>

Conjecture: Let L be a finite Moufang loop and Φ(L) the intersection of all maximal subloops of L. Then Φ(L) is a normal nilpotent subloop of L.

<ul><li>Proposed: by Alexander Grishkov at Loops '11, Třešť 2011</li></ul>
<h3>Minimal presentations for loops M(G,2)</h3>

For a group 
 
 
 
 G
 
 
 {\displaystyle G}
 
, define 
 
 
 
 M
 (
 G
 ,
 2
 )
 
 
 {\displaystyle M(G,2)}
 
 on 
 
 
 
 G
 
 
 {\displaystyle G}
 
 x 
 
 
 
 
 C
 
 2
 
 
 
 
 {\displaystyle C_{2}}
 
 by

(
 g
 ,
 0
 )
 (
 h
 ,
 0
 )
 =
 (
 g
 h
 ,
 0
 )
 
 
 {\displaystyle (g,0)(h,0)=(gh,0)}
 
, 
 
 
 
 (
 g
 ,
 0
 )
 (
 h
 ,
 1
 )
 =
 (
 h
 g
 ,
 1
 )
 
 
 {\displaystyle (g,0)(h,1)=(hg,1)}
 
, 
 
 
 
 (
 g
 ,
 1
 )
 (
 h
 ,
 0
 )
 =
 (
 g
 
 h
 
 −
 1
 
 
 ,
 1
 )
 
 
 {\displaystyle (g,1)(h,0)=(gh^{-1},1)}
 
, 
 
 
 
 (
 g
 ,
 1
 )
 (
 h
 ,
 1
 )
 =
 (
 
 h
 
 −
 1
 
 
 g
 ,
 0
 )
 
 
 {\displaystyle (g,1)(h,1)=(h^{-1}g,0)}
 
. Find a minimal presentation for the Moufang loop 
 
 
 
 M
 (
 G
 ,
 2
 )
 
 
 {\displaystyle M(G,2)}
 
 with respect to a <a href="/facts/Presentation_(group_theory)/f9emPUoI">presentation</a> for 
 
 
 
 G
 
 
 {\displaystyle G}
 
.

<ul><li>Proposed: by Petr Vojtěchovský at Loops '03, Prague 2003</li>
<li>Comments: Chein showed in (Chein, 1974) that 
 
 
 
 M
 (
 G
 ,
 2
 )
 
 
 {\displaystyle M(G,2)}
 
 is a Moufang loop that is nonassociative if and only if 
 
 
 
 G
 
 
 {\displaystyle G}
 
 is nonabelian. Vojtěchovský (Vojtěchovský, 2003) found a minimal presentation for 
 
 
 
 M
 (
 G
 ,
 2
 )
 
 
 {\displaystyle M(G,2)}
 
 when 
 
 
 
 G
 
 
 {\displaystyle G}
 
 is a 2-generated group.</li></ul>
<h3>Moufang loops of order p2q3 and pq4</h3>

Let p and q be distinct odd primes. If q is not congruent to 1 <a href="/facts/Modular_arithmetic/0wtRa5dU">modulo</a> p, are all Moufang loops of order p2q3 groups? What about pq4?

<ul><li>Proposed: by Andrew Rajah at Loops '99, Prague 1999</li>
<li>Comments: The former has been solved by Rajah and Chee (2011) where they showed that for distinct odd primes p1 < ··· < pm < q < r1 < ··· < rn, all Moufang loops of order p12···pm2q3r12···rn2 are groups if and only if q is not congruent to 1 modulo pi for each i.</li></ul>
<h3>(Phillips' problem) Odd order Moufang loop with trivial nucleus</h3>

Is there a Moufang loop of odd order with trivial nucleus?

<ul><li>Proposed: by Andrew Rajah at Loops '03, Prague 2003</li></ul>
<h3>Presentations for finite simple Moufang loops</h3>

Find presentations for all nonassociative finite simple Moufang loops in the variety of Moufang loops.

<ul><li>Proposed: by Petr Vojtěchovský at Loops '03, Prague 2003</li>
<li>Comments: It is shown in (Vojtěchovský, 2003) that every nonassociative finite simple Moufang loop is generated by 3 elements, with explicit formulas for the generators.</li></ul>
<h3>The restricted Burnside problem for Moufang loops</h3>

Conjecture: Let M be a finite Moufang loop of exponent n with m generators. Then there exists a function f(n,m) such that |M| < f(n,m).

<ul><li>Proposed: by Alexander Grishkov at Loops '11, Třešť 2011</li>
<li>Comments: In the case when n is a prime different from 3 the conjecture was proved by Grishkov. If p = 3 and M is commutative, it was proved by Bruck. The general case for p = 3 was proved by G. Nagy. The case n = pm holds by the Grishkov–Zelmanov Theorem.</li></ul>
<h3>The Sanov and M. Hall theorems for Moufang loops</h3>

Conjecture: Let L be a finitely generated Moufang loop of exponent 4 or 6. Then L is finite.

<ul><li>Proposed: by Alexander Grishkov at Loops '11, Třešť 2011</li></ul>
<h3>Torsion in free Moufang loops</h3>

Let MFn be the <a href="/facts/Free_object/VxL28y8B">free</a> Moufang loop with n generators.
Conjecture: MF3 is <a href="/facts/Torsion_(algebra)/uNRnwtLz">torsion</a> free but MFn with n > 4 is not.

<ul><li>Proposed: by Alexander Grishkov at Loops '03, Prague 2003</li></ul>
<h2 id="open-problems-bol-loops">Open problems (Bol loops)</h2>
<h3>Nilpotency degree of the left multiplication group of a left Bol loop</h3>

For a left Bol loop Q, find some relation between the <a href="/facts/Nilpotent_group/BJuochky">nilpotency</a> degree of the left multiplication group of Q and the structure of Q.

<ul><li>Proposed: at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005</li></ul>
<h3>Are two Bol loops with similar multiplication tables isomorphic?</h3>

Let 
 
 
 
 (
 Q
 ,
 ∗
 )
 
 
 {\displaystyle (Q,*)}
 
, 
 
 
 
 (
 Q
 ,
 +
 )
 
 
 {\displaystyle (Q,+)}
 
 be two <a href="/facts/Quasigroup/LRWCA2oB">quasigroups</a> defined on the same underlying <a href="/facts/Set_(mathematics)/BfucfHMq">set</a> 
 
 
 
 Q
 
 
 {\displaystyle Q}
 
. The distance 
 
 
 
 d
 (
 ∗
 ,
 +
 )
 
 
 {\displaystyle d(*,+)}
 
 is the number of pairs 
 
 
 
 (
 a
 ,
 b
 )
 
 
 {\displaystyle (a,b)}
 
 in 
 
 
 
 Q
 ×
 Q
 
 
 {\displaystyle Q\times Q}
 
 such that 
 
 
 
 a
 ∗
 b
 ≠
 a
 +
 b
 
 
 {\displaystyle a*b\neq a+b}
 
. Call a class of finite quasigroups quadratic if there is a positive real number 
 
 
 
 α
 
 
 {\displaystyle \alpha }
 
 such that any two quasigroups 
 
 
 
 (
 Q
 ,
 ∗
 )
 
 
 {\displaystyle (Q,*)}
 
, 
 
 
 
 (
 Q
 ,
 +
 )
 
 
 {\displaystyle (Q,+)}
 
 of order 
 
 
 
 n
 
 
 {\displaystyle n}
 
 from the class satisfying 
 
 
 
 d
 (
 ∗
 ,
 +
 )
 <
 α
 
 
 n
 
 2
 
 
 
 
 {\displaystyle d(*,+)<\alpha \,n^{2}}
 
 are isomorphic. Are Moufang loops quadratic? Are <a href="/facts/Bol_loop/jbFUB8Gp">Bol loops</a> quadratic?

<ul><li>Proposed: by Aleš Drápal at Loops '99, Prague 1999</li>
<li>Comments: Drápal proved in (Drápal, 1992) that groups are quadratic with 
 
 
 
 α
 =
 1
 
 /
 
 9
 
 
 {\displaystyle \alpha =1/9}
 
, and in (Drápal, 2000) that 2-groups are quadratic with 
 
 
 
 α
 =
 1
 
 /
 
 4
 
 
 {\displaystyle \alpha =1/4}
 
.</li></ul>
<h3>Campbell–Hausdorff series for analytic Bol loops</h3>

Determine the <a href="/facts/Campbell%E2%80%93Hausdorff_series/k3HtPR2N">Campbell–Hausdorff series</a> for analytic Bol loops.

<ul><li>Proposed: by M. A. Akivis and V. V. Goldberg at Loops '99, Prague 1999</li>
<li>Comments: The problem has been partially solved for local analytic Bruck loops in (Nagy, 2002).</li></ul>
<h3>Universally flexible loop that is not middle Bol</h3>

A loop is universally flexible if every one of its loop isotopes is <a href="/facts/Alternative_algebra/3boGwrqQ">flexible</a>, that is, satisfies (xy)x = x(yx). A loop is middle Bol if every one of its loop isotopes has the antiautomorphic inverse property, that is, satisfies (xy)−1 = y−1x−1. Is there a finite, universally flexible loop that is not middle Bol?

<ul><li>Proposed: by Michael Kinyon at Loops '03, Prague 2003</li></ul>
<h3>Finite simple Bol loop with nontrivial conjugacy classes</h3>

Is there a finite simple nonassociative Bol loop with nontrivial conjugacy classes?

<ul><li>Proposed: by Kenneth W. Johnson and Jonathan D. H. Smith at the 2nd Mile High Conference on Nonassociative Mathematics, Denver 2009</li></ul>
<h2 id="open-problems-nilpotency-and-solvability">Open problems (Nilpotency and solvability)</h2>
<h3>Niemenmaa's conjecture and related problems</h3>

Let Q be a loop whose inner mapping group is nilpotent. Is Q nilpotent? Is Q solvable?

<ul><li>Proposed: at Loops '03 and '07, Prague 2003 and 2007</li>
<li>Comments: The answer to the first question is affirmative if Q is finite (Niemenmaa 2009). The problem is open in the general case.</li></ul>
<h3>Loops with abelian inner mapping group</h3>

Let Q be a loop with abelian inner mapping group. Is Q nilpotent? If so, is there a bound on the nilpotency class of Q? In particular, can the nilpotency class of Q be higher than 3?

<ul><li>Proposed: at Loops '07, Prague 2007</li>
<li>Comments: When the inner mapping group Inn(Q) is finite and abelian, then Q is nilpotent (Niemenaa and Kepka). The first question is therefore open only in the infinite case. Call loop Q of Csörgõ type if it is nilpotent of class at least 3, and Inn(Q) is abelian. No loop of Csörgõ type of nilpotency class higher than 3 is known. Loops of Csörgõ type exist (Csörgõ, 2004), Buchsteiner loops of Csörgõ type exist (Csörgõ, Drápal and Kinyon, 2007), and Moufang loops of Csörgõ type exist (Nagy and Vojtěchovský, 2007). On the other hand, there are no groups of Csörgõ type (folklore), there are no commutative Moufang loops of Csörgõ type (Bruck), and there are no Moufang p-loops of Csörgõ type for p > 3 (Nagy and Vojtěchovský, 2007).</li></ul>
<h3>Number of nilpotent loops up to isomorphism</h3>

Determine the number of nilpotent loops of order 24 up to isomorphism.

<ul><li>Proposed: by Petr Vojtěchovský at the 2nd Mile High Conference on Nonassociative Mathematics, Denver 2009</li>
<li>Comment: The counts are known for n < 24, see (Daly and Vojtěchovský, 2010).</li></ul>
<h3>A finite nilpotent loop without a finite basis for its laws</h3>

Construct a finite nilpotent loop with no finite basis for its laws.

<ul><li>Proposed: by M. R. Vaughan-Lee in the Kourovka Notebook of Unsolved Problems in Group Theory</li>
<li>Comment: There is a finite loop with no finite basis for its laws (Vaughan-Lee, 1979) but it is not nilpotent.</li></ul>
<h2 id="open-problems-quasigroups">Open problems (quasigroups)</h2>
<h3>Existence of infinite simple paramedial quasigroups</h3>

Are there infinite simple paramedial quasigroups?

<ul><li>Proposed: by Jaroslav Ježek and Tomáš Kepka at Loops '03, Prague 2003</li></ul>
<h3>Minimal isotopically universal varieties of quasigroups</h3>

A variety V of quasigroups is isotopically universal if every quasigroup is isotopic to a member of V. Is the variety of loops a minimal isotopically universal variety? Does every isotopically universal variety contain the variety of loops or its parastrophes?

<ul><li>Proposed: by Tomáš Kepka and Petr Němec at Loops '03, Prague 2003</li>
<li>Comments: Every quasigroup is isotopic to a loop, hence the variety of loops is isotopically universal.</li></ul>
<h3>Small quasigroups with quasigroup core</h3>

Does there exist a quasigroup Q of order q = 14, 18, 26 or 42 such that the operation * defined on Q by x * y = y − xy is a quasigroup operation?

<ul><li>Proposed: by Parascovia Syrbu at Loops '03, Prague 2003</li>
<li>Comments: see (Conselo et al., 1998)</li></ul>
<h3>Uniform construction of Latin squares?</h3>

Construct a latin square L of order n as follows: Let G = Kn,n be the complete <a href="/facts/Bipartite_graph/xWcXV9MB">bipartite graph</a> with distinct weights on its n2 edges. Let M1 be the cheapest matching in G, M2 the cheapest matching in G with M1 removed, and so on. Each matching Mi determines a permutation pi of 1, ..., n. Let L be obtained from G by placing the permutation pi into row i of L. Does this procedure result in a uniform distribution on the space of Latin squares of order n?

<ul><li>Proposed: by Gábor Nagy at the 2nd Mile High Conference on Nonassociative Mathematics, Denver 2009</li></ul>
<h2 id="open-problems-miscellaneous">Open problems (miscellaneous)</h2>
<h3>Bound on the size of multiplication groups</h3>

For a loop Q, let Mlt(Q) denote the multiplication group of Q, that is, the group <a href="/facts/Generating_set_of_a_group/B9q5lnFY">generated</a> by all left and right translations. Is |Mlt(Q)| < f(|Q|) for some <a href="/facts/Variety_(universal_algebra)/vXWYFyDI">variety</a> of loops and for some <a href="/facts/Polynomial/Lzak8VVx">polynomial</a> f?

<ul><li>Proposed: at the Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005</li></ul>
<h3>Does every finite alternative loop have 2-sided inverses?</h3>

Does every finite <a href="/facts/Alternative_algebra/3boGwrqQ">alternative</a> loop, that is, every loop satisfying x(xy) = (xx)y and x(yy) = (xy)y, have 2-sided inverses?

<ul><li>Proposed: by Warren D. Smith</li>
<li>Comments: There are infinite alternative loops without 2-sided inverses, cf. (Ormes and Vojtěchovský, 2007)</li></ul>
<h3>Finite simple nonassociative automorphic loop</h3>

Find a nonassociative finite simple automorphic loop, if such a loop exists.

<ul><li>Proposed: by Michael Kinyon at Loops '03, Prague 2003</li>
<li>Comments: It is known that such a loop cannot be commutative (Grishkov, Kinyon and Nagý, 2013) nor have odd order (Kinyon, Kunen, Phillips and Vojtěchovský, 2013).</li></ul>
<h3>Moufang theorem in non-Moufang loops</h3>

We say that a variety V of loops satisfies the Moufang theorem if for every loop Q in V the following implication holds: for every x, y, z in Q, if x(yz) = (xy)z then the subloop generated by x, y, z is a group. Is every variety that satisfies Moufang theorem contained in the variety of Moufang loops?

<ul><li>Proposed by: Andrew Rajah at Loops '11, Třešť 2011</li></ul>
<h3>Universality of Osborn loops</h3>

A loop is Osborn if it satisfies the identity x((yz)x) = (xλ\y)(zx). Is every Osborn loop universal, that is, is every isotope of an Osborn loop Osborn? If not, is there a nice identity characterizing universal Osborn loops?

<ul><li>Proposed: by Michael Kinyon at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005</li>
<li>Comments: Moufang and conjugacy closed loops are Osborn. See (Kinyon, 2005) for more.</li></ul>
<h2 id="solved-problems">Solved problems</h2>
The following problems were posed as open at various conferences and have since been solved.

<h3>Buchsteiner loop that is not conjugacy closed</h3>

Is there a Buchsteiner loop that is not conjugacy closed? Is there a finite simple Buchsteiner loop that is not conjugacy closed?

<ul><li>Proposed: at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005</li>
<li>Solved by: Piroska Csörgõ, Aleš Drápal, and Michael Kinyon</li>
<li>Solution: The quotient of a Buchsteiner loop by its nucleus is an abelian group of exponent 4. In particular, no nonassociative Buchsteiner loop can be simple. There exists a Buchsteiner loop of order 128 which is not conjugacy closed.</li></ul>
<h3>Classification of Moufang loops of order 64</h3>

Classify nonassociative Moufang loops of order 64.

<ul><li>Proposed: at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005</li>
<li>Solved by: Gábor P. Nagy and Petr Vojtěchovský</li>
<li>Solution: There are 4262 nonassociative Moufang loops of order 64. They were found by the method of group modifications in (Vojtěchovský, 2006), and it was shown in (Nagy and Vojtěchovský, 2007) that the list is complete. The latter paper uses a <a href="/facts/Linear_algebra/8VaB4VWk">linear-algebraic</a> approach to Moufang loop <a href="/facts/Abelian_extension/vIdW4Hnv">extensions</a>.</li></ul>
<h3>Conjugacy closed loop with nonisomorphic one-sided multiplication groups</h3>

Construct a conjugacy closed loop whose left multiplication group is not isomorphic to its right multiplication group.

<ul><li>Proposed: by Aleš Drápal at Loops '03, Prague 2003</li>
<li>Solved by: Aleš Drápal</li>
<li>Solution: There is such a loop of order 9. In can be obtained in the <a href="http://www.math.du.edu/loops">LOOPS package</a> by the command CCLoop(9,1)</li></ul>
<h3>Existence of a finite simple Bol loop</h3>

Is there a finite simple <a href="/facts/Bol_loop/jbFUB8Gp">Bol loop</a> that is not Moufang?

<ul><li>Proposed at: Loops '99, Prague 1999</li>
<li>Solved by: Gábor P. Nagy, 2007.</li>
<li>Solution: A simple Bol loop that is not Moufang will be called proper.
There are several families of proper simple Bol loops. A smallest proper simple Bol loop is of order 24 (Nagy 2008).
There is also a proper simple Bol loop of exponent 2 (Nagy 2009), and a proper simple Bol loop of odd order (Nagy 2008).</li>
<li>Comments: The above constructions solved two additional open problems:
<ul><li>Is there a finite simple Bruck loop that is not Moufang? Yes, since any proper simple Bol loop of exponent 2 is Bruck.</li>
<li>Is every Bol loop of odd order solvable? No, as witnessed by any proper simple Bol loop of odd order.</li></ul></li></ul>
<h3>Left Bol loop with trivial right nucleus</h3>

Is there a finite non-Moufang left <a href="/facts/Bol_loop/jbFUB8Gp">Bol loop</a> with trivial right nucleus?

<ul><li>Proposed: at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005</li>
<li>Solved by: Gábor P. Nagy, 2007</li>
<li>Solution: There is a finite simple left Bol loop of exponent 2 of order 96 with trivial right nucleus. Also, using an <a href="/facts/Zappa%E2%80%93Sz%C3%A9p_product/uE9nMzRH">exact factorization</a> of the <a href="/facts/Mathieu_group/ExjDPjWa">Mathieu group</a> M24, it is possible to construct a non-Moufang simple Bol loop which is a <a href="/facts/Isotopy_of_loops/EqW922k8">G-loop</a>.</li></ul>
<h3>Lagrange property for Moufang loops</h3>

Does every finite Moufang loop have the strong Lagrange property?

<ul><li>Proposed: by Orin Chein at Loops '99, Prague 1999</li>
<li>Solved by: Alexander Grishkov and Andrei Zavarnitsine, 2003</li>
<li>Solution: Every finite Moufang loop has the strong Lagrange property (SLP). Here is an outline of the proof:
<ul><li>According to (Chein et al. 2003), it suffices to show SLP for nonassociative finite simple Moufang loops (NFSML).</li>
<li>It thus suffices to show that the order of a maximal subloop of an NFSML L divides the order of L.</li>
<li>A countable class of NFSMLs 
 
 
 
 M
 (
 q
 )
 
 
 {\displaystyle M(q)}
 
 was discovered in (Paige 1956), and no other NSFMLs exist by (Liebeck 1987).</li>
<li>Grishkov and Zavarnitsine matched maximal subloops of loops 
 
 
 
 M
 (
 q
 )
 
 
 {\displaystyle M(q)}
 
 with certain subgroups of groups with triality in (Grishkov and Zavarnitsine, 2003).</li></ul></li></ul>
<h3>Moufang loops with non-normal commutant</h3>

Is there a Moufang loop whose commutant is not normal?

<ul><li>Proposed: by Andrew Rajah at Loops '03, Prague 2003</li>
<li>Solved by: Alexander Grishkov and Andrei Zavarnitsine, 2017</li>
<li>Solution: Yes, there is a Moufang loop of order 38 with non-normal commutant.<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a> Gagola had previously claimed the opposite, but later found a hole in his proof.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a></li></ul>
<h3>Quasivariety of cores of Bol loops</h3>

Is the class of cores of Bol loops a quasivariety?

<ul><li>Proposed: by Jonathan D. H. Smith and Alena Vanžurová at Loops '03, Prague 2003</li>
<li>Solved by: Alena Vanžurová, 2004.</li>
<li>Solution: No, the class of cores of Bol loops is not closed under subalgebras. Furthermore, the class of cores of groups is not closed under subalgebras. Here is an outline of the proof:
<ul><li>Cores of abelian groups are <a href="/facts/Medial_magma/IRC1ac3s">medial</a>, by (Romanowska and Smith, 1985), (Rozskowska-Lech, 1999).</li>
<li>The smallest nonabelian group 
 
 
 
 
 S
 
 3
 
 
 
 
 {\displaystyle S_{3}}
 
 has core containing a sub<a href="/facts/Magma_(algebra)/9g3vp7Wl">magma</a> 
 
 
 
 G
 
 
 {\displaystyle G}
 
 of order 4 that is not medial.</li>
<li>If 
 
 
 
 G
 
 
 {\displaystyle G}
 
 is a core of a Bol loop, it is a core of a Bol loop of order 4, hence a core of an abelian group, a contradiction.</li></ul></li></ul>
<h3>Parity of the number of quasigroups up to isomorphism</h3>

Let I(n) be the number of isomorphism classes of quasigroups of order n. Is I(n) odd for every n?

<ul><li>Proposed: by Douglas S. Stones at 2nd Mile High Conference on Nonassociative Mathematics, Denver 2009</li>
<li>Solved by: Douglas S. Stones, 2010.</li>
<li>Solution: I(12) is even. In fact, I(n) is odd for all n ≤ 17 except 12. (Stones 2010)</li></ul>
<h3>Classification of finite simple paramedial quasigroups</h3>

Classify the finite simple paramedial quasigroups.

<ul><li>Proposed: by Jaroslav Ježek and Tomáš Kepka at Loops '03, Prague 2003.</li>
<li>Solved by: Victor Shcherbacov and Dumitru Pushkashu (2010).</li>
<li>Solution: Any finite simple paramedial quasigroup is isotopic to elementary abelian p-group. Such quasigroup can be either a medial unipotent quasigroup, or a medial commutative distributive quasigroup, or special kind isotope of (φ+ψ)-simple medial distributive quasigroup.</li></ul>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Problems_in_Latin_squares/uqoMpvgU">Problems in Latin squares</a></li></ul>

<ul><li>Chein, Orin (1974), "Moufang Loops of Small Order I", <a href="/facts/Transactions_of_the_American_Mathematical_Society/JmKtyCwK">Transactions of the American Mathematical Society</a>, 188: 31–51, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F1996765">10.2307/1996765</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/1996765">1996765</a>.</li>
<li>Chein, Orin; Kinyon, Michael K.; Rajah, Andrew; Vojtěchovský, Petr (2003), "Loops and the Lagrange property", <a href="/facts/Results_in_Mathematics/JpDAx26n">Results in Mathematics</a>, 43 (1–2): 74–78, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0205141">math/0205141</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fbf03322722">10.1007/bf03322722</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:16718438">16718438</a>.</li>
<li>Chein, Orin; Rajah, Andrew (2000), "Possible orders of nonassociative Moufang loops", Commentationes Mathematicae Universitatis Carolinae, 41 (2): 237–244.</li>
<li>Conselo, E.; Conzales, S.; Markov, V.; Nechaev, A. (1998), "Recursive MDS-codes and recursively differentiable quasigroups", Diskretnaia Matematika, 10 (2): 3–29.</li>
<li>Daly, Dan; Vojtěchovský, Petr (2009), "Enumeration of nilpotent loops via cohomology", <a href="/facts/Journal_of_Algebra/Xr6PbIKM">Journal of Algebra</a>, 322 (11): 4080–4098, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1509.05713">1509.05713</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jalgebra.2009.03.042">10.1016/j.jalgebra.2009.03.042</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:51794859">51794859</a>.</li>
<li>Drápal, Aleš (1992), "How far apart can the group multiplication tables be?", <a href="/facts/European_Journal_of_Combinatorics/a6jNXFuH">European Journal of Combinatorics</a>, 13 (5): 335–343, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2FS0195-6698%2805%2980012-5">10.1016/S0195-6698(05)80012-5</a>.</li>
<li>Drápal, Aleš (2000), "Non-isomorphic 2-groups coincide in at most three quarters of their multiplication tables", <a href="/facts/European_Journal_of_Combinatorics/a6jNXFuH">European Journal of Combinatorics</a>, 21 (3): 301–321, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1006%2Feujc.1999.0347">10.1006/eujc.1999.0347</a></li>
<li>Gagola III, Stephen (2012), "A Moufang loop's commutant", <a href="/facts/Mathematical_Proceedings_of_the_Cambridge_Philosophical_Society/KUUzcS7S">Mathematical Proceedings of the Cambridge Philosophical Society</a>, 152 (2): 193–206, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/2012MPCPS.152..193G">2012MPCPS.152..193G</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FS0305004111000181">10.1017/S0305004111000181</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:121585760">121585760</a></li>
<li>Grishkov, Alexander N.; Zavarnitsine, Andrei V. (2005), "Lagrange's theorem for Moufang loops", <a href="/facts/Mathematical_Proceedings_of_the_Cambridge_Philosophical_Society/KUUzcS7S">Mathematical Proceedings of the Cambridge Philosophical Society</a>, 139 (1): 41–57, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/2005MPCPS.139...41G">2005MPCPS.139...41G</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FS0305004105008388">10.1017/S0305004105008388</a> (inactive 29 December 2024), <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:123255962">123255962</a>{{citation}}: CS1 maint: DOI inactive as of December 2024 (link)</li>
<li>Grishkov, Alexander N.; Kinyon, Michael; Nagý, Gabor (2013), "Solvability of commutative automorphic loops", <a href="/facts/Proceedings_of_the_American_Mathematical_Society/W3wRF3MV">Proceedings of the American Mathematical Society</a>, 142 (9): 3029–3037, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1111.7138">1111.7138</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2Fs0002-9939-2014-12053-3">10.1090/s0002-9939-2014-12053-3</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:119125596">119125596</a></li>
<li>Kinyon, Michael K., <a href="http://web.cs.du.edu/~petr/milehigh/2005/kinyon_talk.pdf">A survey of Osborn loops</a> (PDF), invited talk at Milehigh conference on quasigroups, loops and nonassociative systems, Denver, 2005</li>
<li>Kinyon, Michael; Kunen, Kenneth; Phillips, J.D.; Vojtěchovský, Petr (2016), "The structure of automorphic loops", <a href="/facts/Transactions_of_the_American_Mathematical_Society/JmKtyCwK">Transactions of the American Mathematical Society</a>, 368 (12): 8901–8927, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1210.1642">1210.1642</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2Ftran%2F6622">10.1090/tran/6622</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:38960620">38960620</a></li>
<li>Liebeck, M. W. (1987), "The classification of finite simple Moufang loops", <a href="/facts/Mathematical_Proceedings_of_the_Cambridge_Philosophical_Society/KUUzcS7S">Mathematical Proceedings of the Cambridge Philosophical Society</a>, 102 (1): 33–47, <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1987MPCPS.102...33L">1987MPCPS.102...33L</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FS0305004100067025">10.1017/S0305004100067025</a> (inactive 29 December 2024), <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:122103993">122103993</a>{{citation}}: CS1 maint: DOI inactive as of December 2024 (link)</li>
<li>Nagy, Gábor P. (2002), "The Campbell–Hausdorff series of local analytic Bruck loops", Abh. Math. Sem. Univ. Hamburg, 72 (1): 79–87, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF02941666">10.1007/BF02941666</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:123589830">123589830</a>.</li>
<li>Nagy, Gábor P.; Vojtěchovský, Petr (2007), "Moufang loops of order 64 and 81", Journal of Symbolic Computation, 42 (9), to appear: 871–883, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jsc.2007.06.004">10.1016/j.jsc.2007.06.004</a>, <a href="/facts/Hdl_(identifier)/rdebSxmC">hdl</a>:<a href="https://hdl.handle.net/10338.dmlcz%2F142934">10338.dmlcz/142934</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:10404385">10404385</a>.</li>
<li>Nagy, Gábor P. (2008), "A class of simple proper Bol loops", Manuscripta Mathematica, 127 (1): 81–88, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0703919">math/0703919</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs00229-008-0188-5">10.1007/s00229-008-0188-5</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:17734490">17734490</a>.</li>
<li>Nagy, Gábor P. (2009), "A class of finite simple Bol loops of exponent 2", <a href="/facts/Transactions_of_the_American_Mathematical_Society/JmKtyCwK">Transactions of the American Mathematical Society</a>, 361 (10): 5331–5343, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/0709.4544">0709.4544</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2FS0002-9947-09-04646-7">10.1090/S0002-9947-09-04646-7</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:15228937">15228937</a>.</li>
<li>Niemenmaa, Markku (2009), "Finite loops with nilpotent inner mapping groups are centrally nilpotent", Bulletin of the Australian Mathematical Society, 79 (1): 109–114, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1017%2FS0004972708001093">10.1017/S0004972708001093</a></li>
<li>Ormes, Nicholas; Vojtěchovský, Petr (2007), "Powers and alternative laws", Commentationes Mathematicae Universitatis Carolinae, 48 (1): 25–40.</li>
<li>Paige, L. (1956), "A class of simple Moufang loops", Proceedings of the American Mathematical Society, 7 (3): 471–482, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2032757">10.2307/2032757</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2032757">2032757</a>.</li>
<li>Rajah, Andrew; Chee, Wing Loon (2011), "Moufang loops of odd order p12p22···pn2q3", International Journal of Algebra, 5 (20): 965–975.</li>
<li>Rivin, Igor; Vardi, Ilan; Zimmerman, Paul (1994), "The n-queens problem", <a href="/facts/American_Mathematical_Monthly/Te6CHvkg">American Mathematical Monthly</a>, 101 (7): 629–639, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2974691">10.2307/2974691</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2974691">2974691</a>.</li>
<li><a href="/facts/Anna_Romanowska/zTv5Vz1p">Romanowska, Anna</a>; Smith, Jonathan D. H. (1985), Modal Theory, Heldermann Verlag, Berlin.</li>
<li>Rozskowska-Lech, B. (1999), "A representation of symmetric idempotent and entropic groupoids", Demonstr. Math., 32: 248–262.</li>
<li>Shcherbacov, V.A.; Pushkashu, D.I. (2010), "On the structure of finite paramedial quasigroups", Comment. Math. Univ. Carolin., 51: 357–370.</li>
<li>Stones, D. S. (2010), "The parity of the number of quasigroups", <a href="/facts/Discrete_Mathematics_(journal)/K4e6z8wQ">Discrete Mathematics</a>, 310 (21): 3033–3039, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.disc.2010.06.027">10.1016/j.disc.2010.06.027</a>.</li>
<li>Vojtěchovský, Petr (2003), "Generators for finite simple Moufang loops", Journal of Group Theory, 6 (2): 169–174, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0701701">math/0701701</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1515%2Fjgth.2003.012">10.1515/jgth.2003.012</a>.</li>
<li>Vojtěchovský, Petr (2003), "The smallest Moufang loop revisited", Results in Mathematics, 44 (1–2): 189–193, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0701706">math/0701706</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fbf03322924">10.1007/bf03322924</a>, <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:119157018">119157018</a>.</li>
<li>Vojtěchovský, Petr (2006), "Toward the classification of Moufang loops of order 64", <a href="/facts/European_Journal_of_Combinatorics/a6jNXFuH">European Journal of Combinatorics</a>, 27 (3): 444–460, <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0701712">math/0701712</a>, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.ejc.2004.10.003">10.1016/j.ejc.2004.10.003</a>.s</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="https://web.archive.org/web/20070609134310/http://www.karlin.mff.cuni.cz/~loops99/">Loops '99 conference</a></li>
<li><a href="https://web.archive.org/web/20070609134324/http://www.karlin.mff.cuni.cz/~loops03/">Loops '03 conference</a></li>
<li><a href="http://www.karlin.mff.cuni.cz/~loops07">Loops '07 conference</a></li>
<li><a href="http://www.karlin.mff.cuni.cz/~loops11">Loops '11 conference</a></li>
<li><a href="http://www.math.du.edu/milehigh">Milehigh conferences on nonassociative mathematics</a></li>
<li><a href="http://www.math.du.edu/loops">LOOPS package for GAP</a></li>
<li><a href="https://web.archive.org/web/20080114044106/http://www.math.du.edu/plq/">Problems in Loop Theory and Quasigroup Theory</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Grishkov, Alexander; Zavarnitsine, Andrei (10 January 2020). "Moufang loops with nonnormal commutative centre". Mathematical Proceedings of the Cambridge Philosophical Society. 170 (3): 609–614. arXiv:1711.07001. doi:10.1017/S0305004119000549. MR 4243769. S2CID 214091441. <a href="https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/abs/moufang-loops-with-nonnormal-commutative-centre/6D9BD742F525A0185311D76079F42112" target="_blank">https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/abs/moufang-loops-with-nonnormal-commutative-centre/6D9BD742F525A0185311D76079F42112</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Grishkov, Alexander; Zavarnitsine, Andrei (10 January 2020). "Moufang loops with nonnormal commutative centre". Mathematical Proceedings of the Cambridge Philosophical Society. 170 (3): 609–614. arXiv:1711.07001. doi:10.1017/S0305004119000549. MR 4243769. S2CID 214091441. <a href="https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/abs/moufang-loops-with-nonnormal-commutative-centre/6D9BD742F525A0185311D76079F42112" target="_blank">https://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/abs/moufang-loops-with-nonnormal-commutative-centre/6D9BD742F525A0185311D76079F42112</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
</ol>

List of problems in loop theory and quasigroup theory open-in-new

List of problems in loop theory and quasigroup theory