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.
Definitions
There are two equivalent formal definitions of quasigroup with, respectively, one and three primitive binary operations (a mapping such that Q × Q → Q). Both definitions assume a nonempty underlying set, Q. We begin with the first definition, which is easier to follow.
A quasigroup ⟨Q, *⟩ is a set Q with a binary operation '*' (that is, a magma or groupoid), such that for each a and b in Q, there exist unique elements x and y in Q such that:
- a*x = b ;
- y*a = b .
The unique solutions to these equations are written x = a \ b and y = b / a. '\' and '/' denote, respectively, the defined binary operations of left and right division. This axiomatization of quasigroups requires existential quantification and hence first order logic.
The second definition of a quasigroup is grounded in universal algebra, which prefers that algebraic structures be varieties, i.e., that structures be axiomatized solely by identities. An identity is an equation in which all variables are tacitly universally quantified, and the only operations are the primitive operations proper to the structure. Quasigroups can be axiomatized in this manner if left and right division are taken as primitive.
A quasigroup ⟨Q, *, \, /⟩ is a type ⟨2,2,2⟩ algebra satisfying the identities:
- y = x * (x \ y) ;
- y = x \ (x * y) ;
- y = (y / x) * x ;
- y = (y * x) / x .
Hence if ⟨Q, *⟩ is a quasigroup according to the first definition, then ⟨Q, *, \, /⟩ is an equivalent quasigroup in the universal algebra sense.
A loop is a quasigroup with an identity element e such that:
- x*e = x = e*x .
It follows that the identity element e is unique, and that all elements of Q have a unique left and right inverse.
Examples
- Every group is a loop, because a * x = b if and only if x = a−1 * b, and y * a = b if and only if y = b * a−1.
- The integers Z with subtraction (−) form a quasigroup.
- The nonzero rationals Q* (or the nonzero reals R*) with division (÷) form a quasigroup.
- Any real vector space forms an idempotent, commutative quasigroup under the operation x * y = (x + y) / 2. (The vector space can actually be over any field of characteristic not equal to 2).
- Every Steiner triple system defines an idempotent, commutative quasigroup: a * b is the third element of the triple containing a and b.
- The set {±1, ±i, ±j, ±k} where ii = jj = kk = 1 and with all other products as in the quaternion group forms a nonassociative loop of order 8. See hyperbolic quaternions for its application. (The hyperbolic quaternions themselves do not form a loop or quasigroup).
- The nonzero octonions form a nonassociative loop under multiplication. The octonions are a special type of loop known as a Moufang loop.
- More generally, the set of nonzero elements of any division algebra form a quasigroup.
Properties
- In the remainder of the article we shall denote quasigroup multiplication simply by juxtaposition.
Quasigroups have the cancellation property: if ab = ac, then b = c. This is because x = b is certainly a solution of the equation ab = ax, and the solution is required to be unique. Similarly, if ba = ca, then b = c.
Left and right multiplication
The definition of a quasigroup Q says that the left and right multiplication operators defined by
are bijections from Q to itself. A magma Q is a quasigroup precisely when these operators are bijective. The inverse maps are given in terms of left and right division by
In this notation the quasigroup identities are
Latin squares
The multiplication table of a finite quasigroup is a Latin square: an n × 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.
Conversely, every Latin square can be taken as the multiplication table of a quasigroup in many ways: the border row (containing the column headers) and the border column (containing the row headers) can each be every permutation of the elements, see small Latin squares and quasigroups.
Inverse properties
Every loop has a unique left and right inverse given by
A loop is said to have (two-sided) inverses if for all x. In this case the inverse element is usually denoted by .
There are some stronger notions of inverses in loops which are often useful:
- A loop has the left inverse property if for all and . Equivalently, or .
- A loop has the right inverse property if for all and . Equivalently, or .
- A loop has the antiautomorphic inverse property if or, equivalently, if .
- A loop has the weak inverse property when if and only if . This may be stated in terms of inverses via or equivalently .
A loop has the inverse property if it has both the left and right inverse properties. Inverse property loops also have the antiautomorphic and weak inverse properties. In fact, any loop which satisfies any two of the above four identities has the inverse property and therefore satisfies all four.
Any loop which satisfies the left, right, or antiautomorphic inverse properties automatically has two-sided inverses.
Morphisms
A quasigroup or loop homomorphism is a map f : Q → P between two quasigroups such that f(xy) = f(x)f(y). Quasigroup homomorphisms necessarily preserve left and right division, as well as identity elements (if they exist).
Homotopy and isotopy
Let Q and P be quasigroups. A quasigroup homotopy from Q to P is a triple (α, β, γ) of maps from Q to P such that
for all x, y in Q. A quasigroup homomorphism is just a homotopy for which the three maps are equal.
An isotopy is a homotopy for which each of the three maps (α, β, γ) is a bijection. Two quasigroups are isotopic if there is an isotopy between them. In terms of Latin squares, an isotopy (α, β, γ) is given by a permutation of rows α, a permutation of columns β, and a permutation on the underlying element set γ.
An autotopy is an isotopy from a quasigroup to itself. The set of all autotopies of a quasigroup form a group with the automorphism group as a subgroup.
Each quasigroup is isotopic to a loop. If a loop is isotopic to a group, then it is isomorphic to that group and thus is itself a group. However, a quasigroup which is isotopic to a group need not be a group. For example, the quasigroup on R with multiplication given by (x+y)/2 is isotopic to the additive group R, but is not itself a group.
Generalizations
Polyadic or multary quasigroups
An n-ary quasigroup is a set with an n-ary operation, (Q, f) with f: Qn → Q, such that the equation f(x1,...,xn) = y has a unique solution for any one variable if all the other n variables are specified arbitrarily. Polyadic or multary means n-ary for some nonnegative integer n.
A 0-ary quasigroup is just a constant element of Q. A 1-ary quasigroup is a bijection of Q to itself.
An example of a multary quasigroup is an iterated group operation, y = x1 · x2 · ··· · xn; then it is not necessary to use parentheses because the group is associative. One can also carry out a sequence of the same or different group or quasigroup operations, if the order of operations is specified.
There exist multary quasigroups that cannot be represented in any of these ways. An n-ary quasigroup is irreducible if its operation cannot be factored into the composition of two operations in the following way:
where 1 ≤ i < j ≤ n and (i, j) ≠ (1, n). Finite irreducible n-ary quasigroups exist for all n > 2; see Akivis and Goldberg (2001) for details.
See also
- Moufang loop
- Bol loop
- Magma
- Semigroup
- Monoid
- Small Latin squares and quasigroups
- Problems in loop theory and quasigroup theory
References
- Maks A. Akivis and Vladislav V. Goldberg (2001), Solution of Belousov’s problem. Discussiones Mathematicae. General Algebra and Applications, vol. 21, no. 1, pp. 93–103.
- R.H. Bruck (1958), A Survey of Binary Systems. Berlin: Springer-Verlag.
- O. Chein, H. O. Pflugfelder, and J. D. H. Smith (eds.) (1990), Quasigroups and Loops: Theory and Applications. Berlin: Heldermann. ISBN 3-88538-008-0.
- H.O. Pflugfelder (1990), Quasigroups and Loops: Introduction. Berlin: Heldermann. ISBN 3-88538-007-2.
- J.D.H. Smith (2007), An Introduction to Quasigroups and their Representations. Chapman & Hall/CRC. ISBN 1-58488-537-8.
- J.D.H. Smith and Anna B. Romanowska (1999), Post-Modern Algebra. New York: Wiley-Interscience. ISBN 0-471-12738-8.