- Problems in loop theory and quasigroup theory
In

mathematics , especiallyabstract algebra , loop theory andquasigroup theory are active research areas with manyopen problems . As in other areas of mathematics, such problems are often made public at professional conferences and meetings. Many of the problems posed here first appeared in the "Loops (Prague)" conferences and the "Milehigh (Denver)" conferences.**Open problems (Moufang loops)****Abelian by cyclic groups resulting in Moufang loops**Let L be a

Moufang loop with normal abeliansubgroup (associative subloop) M of odd order such that L/M is acyclic group of order bigger than 3. (i) Is L a group? (ii) If the orders of M and L/M arerelatively prime , is L a group?- "Proposed:" by Michael Kinyon, based on (Chein and Rajah, 2000)
- "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.

**(Doro's Conjecture) Does a Moufang loop with trivial nucleus necessarily have normal commutant?**Doro conjectured that a

Moufang loop with trivial nucleus has normal commutant. Is it true?- "Proposed:" at Milehigh conference on quasigroups, loops, and nonassocitaive systems, Denver 2005

**Embedding CMLs of period 3 into alternative algebras**Conjecture: Any finite commutative Moufang loop of period 3 can be embedded into a commutative

alternative algebra .- "Proposed:" by Alexander Grishkov at Loops '03, Prague 2003

**Minimal presentations for loops M(G,2)**For a group $G$, define $M(G,2)$ on $G$ x $C\_2$ by$(g,0)(h,0)=(gh,0)$, $(g,0)(h,1)=(hg,1)$, $(g,1)(h,0)=(gh^\{-1\},1)$, $(g,1)(h,1)=(h^\{-1\}g,0)$. Find a minimal presentation for the Moufang loop $M(G,2)$ with respect to a presentation for $G$.

- "Proposed:" by Petr Vojtěchovský at Loops '03, Prague 2003
- "Comments:" Chein showed in (Chein, 1974) that $M(G,2)$ is a Moufang loop that is nonassociative if and only if $G$ is nonabelian. Vojtěchovský (Vojtěchovský, 2003) found a minimal presentation for $M(G,2)$ when $G$ is a 2-generated group.

**Moufang loops of order p**^{2}q^{3}and pq^{4}Let p and q be distinct odd primes. If q is not congruent to 1 modulo p, are all Moufang loops of order p

^{2}q^{3}groups? What about pq^{4}?- "Proposed:" by Andrew Rajah at Loops '99, Prague 1999
- "Comments:" If q is not congruent to 1 modulo p, then all Moufang loops of order pq
^{3}are groups. It is also known that for an odd prime q all Moufang loops of order q^{4}are groups iff q > 3.

**Moufang loops with non-normal commutant**Is there a Moufang loop whose commutant is not normal?

- "Proposed:" by Andrew Rajah at Loops '03, Prague 2003

**(Phillips' problem) Odd order Moufang loop with trivial nucleus**Is there a Moufang loop of odd order with trivial nucleus?

- "Proposed:" by Andrew Rajah at Loops '03, Prague 2003

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

- "Proposed:" by Petr Vojtěchovský at Loops '03, Prague 2003
- "Comments:" Is is shown in (Vojtěchovský, 2003) that every nonassociative finite simple Moufang loop is generated by 3 elements, with explicit formulas for the generators.

**Torsion in free Moufang loops**Let MF

_{n}be the free Moufang loop with n generators.Conjecture: MF

_{3}is torsion free but MF_{n}with n>4 is not.- "Proposed:" by Alexander Grishkov at Loops '03, Prague 2003

**Open problems (Nilpotency and solvability)****Niemenmaa's conjecture and related problems**Let Q be a loop whose inner mapping group is nilpotent. Is Q nilpotent? Is Q solvable? If Q is also finite, is the multiplication group of Q solvable?

- "Proposed:" at Loops '03 and '07, Prague 2003 and 2007
- "Comments:" Niemenmaa conjectures that every loop with nilpotent inner mapping group is nilpotent.

**Loops with abelian inner mapping group**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?

- "Proposed:" at Loops '07, Prague 2007
- "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).

**Nilpotency degree of the left multiplication group of a left Bol loop**For a left Bol loop Q, find some relation between the nilpotency degree of the left multiplication group of Q and the structure of Q.

- "Proposed:" at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005

**Open problems (Quasigroups)****Classification of finite simple paramedial quasigroups**Classify the finite simple paramedial quasigroups.

- "Proposed:" by Jaroslav Ježek and Tomáš Kepka at Loops '03, Prague 2003

**Existence of infinite simple paramedial quasigroups**Are there infinite simple paramedial quasigroups?

- "Proposed:" by Jaroslav Ježek and Tomáš Kepka at Loops '03, Prague 2003

**Minimal isotopically universal varieties of quasigroups**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?

- "Proposed:" by Tomáš Kepka and Petr Němec at Loops '03, Prague 2003
- "Comments:" Every quasigroup is isotopic to a loop, hence the variety of loops is isotopically universal.

**Small quasigroups with quasigroup core**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?

- "Proposed:" by Parascovia Syrbu at Loops '03, Prague 2003
- "Comments:" see (Conselo et al., 1998)

**Open problems (Miscellaneous)****Are two Bol loops with similar multiplication tables isomorphic?**Let $(Q,*)$, $(Q,+)$ be two

quasigroups defined on the same underlying set $Q$. The distance $d(*,+)$ is the number of pairs $(a,b)$ in $Q$ x $Q$ such that $a*b$ ≠ $a+b$. Call a class of finite quasigroups "quadratic" if there is a positive real number $alpha$ such that any two quasigroups $(Q,*)$, $(Q,+)$ of order $n$ from the class satisfying $d(*,+)$ < $alpha$ $n^2$ are isomorphic. Are Moufang loops quadratic? AreBol loop s quadratic?- "Proposed:" by Aleš Drápal at Loops '99, Prague 1999
- "Comments:" Drápal proved in (Drápal, 1992) that groups are quadratic with $alpha=1/9$, and in (Drápal, 2000) that 2-groups are quadratic with $alpha=1/4$.

**Bound on the size of multiplication groups**For a loop Q, let Mlt(Q) denote the multiplication group of Q, that is, the group generated by all left and right translations. Is | Mlt( Q ) | < f( | Q | ) for some variety of loops and for some

polynomial f?- "Proposed:" at the Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005

**Campbell-Hausdorff series for analytic Bol loops**Determine the

Campbell-Hausdorff series for analytic Bol loops.- "Proposed:" by M. A. Akivis and V. V. Goldberg at Loops '99, Prague 1999
- "Comments:" The problem has been partially solved for local analytic Bruck loops in (Nagy, 2002).

**Does every alternative loop have 2-sided inverses?**Does every alternative loop, that is, every loop satisfying x(xy)=(xx)y and x(yy)=(xy)y, have 2-sided inverses?

- "Proposed:" by Warren D. Smith
- "Comments:" There are infinite alternative loops without 2-sided inverses, cf. (Ormes and Vojtěchovský, 2007)

**Finite simple A-loop**Find a nonassociative finite simple

A-loop , if such a loop exists.- "Proposed:" by Michael Kinyon at Loops '03, Prague 2003
- "Comments:" It is known that if the order of such a loop is odd, the loop must have exponent p for some prime p.

**Universally flexible loop that is not middle Bol**A loop is "universally flexible" if every one of its loop isotopes is

flexible , 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^{-1}x^{-1}. Is there a finite, universally flexible loop that is not middle Bol?- "Proposed:" by Michael Kinyon at Loops '03, Prague 2003

**Universality of Osborn loops**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?- "Proposed:" by Michael Kinyon at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005
- "Comments:" Moufang and conjugacy closed loops are Osborn. See (Kinyon, 2005) for more.

**Solved problems**The following problems were posed as open at various conferences and have since been solved.

**Buchsteiner loop that is not conjugacy closed**Is there a

Buchsteiner loop that is not conjugacy closed? Is there a finite simple Buchsteiner loop that is not conjugacy closed?- "Proposed:" at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005
- "Solved by:" Piroska Csörgõ, Aleš Drápal, and Michael Kinyon
- "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.

**Classification of Moufang loops of order 64**Classify nonassociative Moufang loops of order 64.

- "Proposed:" at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005
- "Solved by:" Gábor P. Nagy and Petr Vojtěchovský
- "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 linear-algebraic approach to Moufang loop extensions.

**Conjugacy closed loop with nonisomorphic one-sided multiplication groups**Construct a conjugacy closed loop whose left multiplication group is not isomorphic to its right multiplication group.

- "Proposed:" by Aleš Drápal at Loops '03, Prague 2003
- "Solved by:" Aleš Drápal
- "Solution:" There is such a loop of order 9. In can be obtained in the [
*http://www.math.du.edu/loops LOOPS package*] by the command`CCLoop(9,1)`.

**Existence of a finite simple Bol loop**Is there a finite simple

Bol loop that is not Moufang?- "Proposed at:" Loops '99, Prague 1999
- "Solved by:" Gábor P. Nagy, 2007.
- "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.There is also a proper simple Bol loop of exponent 2, and a proper simple Bol looop of odd order.For details, see (Nagy 2007).
- "Comments:" The above constructions solved additional two open problems:
- Is there a finite simple Bruck loop that is not Moufang? Yes, since any proper simple Bol loop of exponent 2 is Bruck.
- Is every Bol loop of odd order solvable? No, as witnessed by any proper simple Bol loop of odd order.

**Left Bol loop with trivial right nucleus**Is there a finite non-Moufang left

Bol loop with trivial right nucleus?- "Proposed:" at Milehigh conference on quasigroups, loops, and nonassociative systems, Denver 2005
- "Solved by:" Gábor P. Nagy, 2007
- "Solution:" There is a finite simple left Bol loop of exponent 2 of order 96 with trivial right nucleus. Also, using an
exact factorization of theMathieu group M_{24}, it is possible to construct a non-Moufang simple Bol loop which is a G-loop.

**Lagrange property for Moufang loops**Does every finite Moufang loop have the strong Lagrange property?

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

**Quasivariety of cores of Bol loops**Is the class of cores of Bol loops a quasivariety?

- "Proposed:" by Jonathan D. H. Smith and Alena Vanžurová at Loops '03, Prague 2003
- "Solved by:" Alena Vanžurová, 2004.
- "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:
- Cores of abelian groups are
medial , by (Romanowska and Smith, 1985), (Rozskowska-Lech, 1999). - The smallest nonabelian group $S\_3$ has core containing a submagma $G$ of order 4 that is not medial.
- If $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.

- Cores of abelian groups are

**See also***

Problems in Latin squares **References*** Citation

last=Chein | first=Orin | title=Moufang Loops of Small Order I

journal=Transactions of the American Mathematical Society | volume=188 | year=1974 | pages=31-51.

* Citation

last1=Chein | first1=Orin | title=Loops and the Lagrange property

last2=Kinyon | first2=Michael K. | last3=Rajah | first3=Andrew | last4=Vojtěchovský | first4=Petr

journal=Results in Mathematics | volume=43 | year=2003 | pages=74-78

url=http://www.arxiv.org/abs/math/0205141.

* Citation

last1=Chein | first1=Orin | title=Possible orders of nonassociative Moufang loops

last2=Rajah | first2=Andrew

journal=Comment. Math. Univ. Carolinae | volume=41 | number=2 | year=2000 | pages=237-244 .

* Citation

last1=Conselo | first1=E. | first2=S. | last2=Conzales | first3=V. | last3=Markov | first4=A. | last4=Nechaev

title=Recursive MDS-codes and recursively differentiable quasigroups

journal=Diskretnaia Matematika | volume=10 | year=1998 | issue=2 | pages=3-29 .

* Citation

last=Drápal | first=Aleš | title=How far apart can the group multiplication tables be?

journal=European Journal of Combinatorics | volume=13 | year=1992 | issue=5 | pages=335-343.

* Citation

last=Drápal | first=Aleš | title=Non-isomorphic 2-groups coincide in at most three quarters of their multiplication tables

journal=European Journal of Combinatorics | volume=21 | year=2000 | pages=301-321.

* Citation

last1=Grishkov | first1=Alexander N. | last2=Zavarnitsine | first2=Andrei V.

title=Lagrange's theorem for Moufang loops | journal=Math. Proc. Cambridge Philos. Soc.

volume=139 | year=2005 | issue=1 | pages=41-57.

* Citation

last1=Kinyon | first1=Michael K. |

title=A survey of Osborn loops | publisher=invited talk at Milehigh conference on quasigroups, loops and nonassociative systems, Denver, 2005 | url=http://www.math.du.edu/milehigh/kinyon_talk.pdf.

* Citation

last=Liebeck | first=M. W. | title=The classification of finite simple Moufang loops

journal=Math. Proc. Camb. Phil. Soc. | year=1987 | volume=102 | pages=33-47.

* Citation

last=Nagy | first=Gábor P. | title=The Campbell-Hausdorff series of local analytic Bruck loops

journal=Abh. Math. Semin. Univ. Hamb. | volume=72 | year=2002 | pages=79-87.

* Citation

last=Nagy | first=Gábor P. | last2=Vojtěchovský | first2=Petr

title=Moufang loops of order 64 and 81 | journal=Journal of Symbolic Computation | publisher=to appear | year=2007.

* Citation

last=Nagy | first=Gábor P. | title=A class of simple proper Bol loops | publisher=preprint | year=2007

url = http://www.arxiv.org/abs/math/0703919.

* Citation

last1=Ormes | first1=Nicholas | last2=Vojtěchovský | first2=Petr

title=Powers and alternative laws | journal=Commentationes Mathematicae Universitatis Carolinae

publisher=to appear | year=2007.

* Citation

last=Paige | first=L. | title=A Class of Simple Moufang Loops

journal=Proceedings of the American Mathematical Society | volume=7 | issue=3 | pages=471-482 | year=1956.

* Citation

last1=Rivin | first1=Igor | first2=Ilan | last2=Vardi | first3=Paul | last3=Zimmerman

title=The n-queens problem | journal=Amer. Math. Monthly | volume=101 | year=1994 | issue=7 | pages=629-639.

* Citation

last1=Romanowska | first1=Anna | last2=Smith | first2=Jonathan D. H.

title=Modal Theory | publisher=Heldermann Verlag, Berlin | year=1985.

* Citation

last1=Rozskowska-Lech | first1=B. | title=A representation of symmetric idempotent and entropic groupoids

journal=Demonstr. Math. | volume=32 |year=1999 | pages=248-262.

* Citation

last=Vojtěchovský | first=Petr | title=Generators for finite simple Moufang loops

journal=Journal of Group Theory | volume=6 | year=2003 | pages=169-174

url=http://www.arxiv.org/abs/math/0701701.

* Citation

last=Vojtěchovský | first=Petr | title=The smallest Moufang loop revisited

journal=Results in Mathematics | volume=44 | year=2003 | pages=189-193

url=http://www.arxiv.org/abs/math/0701706.

* Citation

last=Vojtěchovský | first=Petr | title=Toward the classification of Moufang loops of order 64

journal=European J. Combin. | volume=27 | issue=3 | year=2006 | pages=444-460 | url=http://www.arxiv.org/abs/math/0701712.**External links*** [

*http://www.karlin.mff.cuni.cz/~loops99 Loops '99 conference*]

* [*http://www.karlin.mff.cuni.cz/~loops03 Loops '03 conference*]

* [*http://www.karlin.mff.cuni.cz/~loops07 Loops '07 conference*]

* [*http://www.math.du.edu/milehigh Milehigh conference on quasigroups, loops, and nonassociative systems*]

* [*http://www.math.du.edu/loops LOOPS package for GAP*]

* [*http://www.math.du.edu/plq Problems in Loop Theory and Quasigroup Theory*]

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Quasigroup**— In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that division is always possible. Quasigroups differ from groups mainly in that they need not be associative. A quasigroup with … Wikipedia**Problems in Latin squares**— In mathematics, the theory of Latin squares is an active research area with many open problems. As in other areas of mathematics, such problems are often made public at professional conferences and meetings. Problems posed here appeared in, for… … Wikipedia**Moufang loop**— In mathematics, a Moufang loop is a special kind of algebraic structure. It is similar to a group in many ways but need not be associative. Moufang loops were introduced by Ruth Moufang. Contents 1 Definition 2 Examples 3 Properties … Wikipedia**List of unsolved problems in mathematics**— This article lists some unsolved problems in mathematics. See individual articles for details and sources. Contents 1 Millennium Prize Problems 2 Other still unsolved problems 2.1 Additive number theory … Wikipedia**Unsolved problems in mathematics**— This article lists some unsolved problems in mathematics. See individual articles for details and sources. Millennium Prize Problems Of the seven Millennium Prize Problems set by the Clay Mathematics Institute, the six ones yet to be solved are:… … Wikipedia**List of mathematics articles (P)**— NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… … Wikipedia**Lie group**— Lie groups … Wikipedia**Group (mathematics)**— This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia**Semigroup**— This article is about the algebraic structure. For applications to differential equations, see C0 semigroup. In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative binary operation. A semigroup… … Wikipedia**Latin square**— A Latin square is an n times; n table filled with n different symbols in such a way that each symbol occurs exactly once in each row and exactly once in each column. Here is an example: egin{bmatrix} 1 2 3 2 3 1 3 1 2 end{bmatrix} Latin squares… … Wikipedia