Some ternary quasigroups over small sets.
Version of Tuesday 21 May 2019; originally published in 2010. Dave Barber's other topics.  
Contents  

This page  §1 Introduction 
§2 Standard laws  
§3 Negations of standard laws  
§4 Nonstandard laws  
Page two  §5 Identities 
§6 Skew elements  
§7 Direct products  
§8 Generators and subquasigroups  
§9 Decomposition  
§10 Orthogonality  
Page three  §11 Operation numbers 
§12 Conjugates and isotopes  
Page four  §13 Slices 
§14 Fuzziness  
§15 Inverses  
Page five  §16 Commutative complementation 
§17 Disjunction  
§18 Steiner systems 
§1 Introduction. A ternary quasigroup (TQG for short) consists of two things: a set; and a cancellative operation that consumes three inputs and generates one output, all four of them elements of the set. How cancellativity is extended to ternary operations will be explained after some fundamentals are established.
§1A. The TQG's set need not be large to provide interesting results: a cardinality (C) of four is quite enough. Elements will be called a, b, c, et cetera — these constants are not assumed to have any properties except that no two of them are equal. Variables representing these constants have names such as p, q, r, sometimes subscripted.
Generic operations have names like O, N, M. In contrast, the method of denoting a particular ternary operation is to write two numbers separated by a colon. The first indicates the cardinality, and the second a particular operation; an example is 4:41250. Numerical names are attached to operations in an unsurprising lexicographical manner; details are supplied later.
The usual notation for invoking a ternary operation is O (a, b, c); but the condensed form Oabc, written when no confusion ensues, helps stem a profusion of parentheses in complicated expressions. Syntacticians will observe that if each operation and operand is represented by a single distinct character, this condensed prefix notation is unambiguous when applied to nested operation invocations. Examples:
OabNcde =
O (a, b, Ncde) = O (a, b, N (c, d, e)) 
ONabcdMefg =
O (Nabc, d, Mefg) = O (N (a, b, c), d, M (e, f, g)) 
ONabcdMeLfghi =
O (Nabc, d, MeLfghi) = O (N (a, b, c), d, M (e, Lfgh, i)) = O (N (a, b, c), d, M (e, L (f, g, h), i)) 
Occasionally mentioned in this report are binary quasigroups (BQGs for short). Examples of names for their generic operations are F and G; the notation for particular operations uses two colons, such as 4::25.
The notequal sign ≠ will appear in many places throughout this report. It will always mean "strictly not equal" rather than "not necessarily equal".
§1B. A ternary operation O is cancellative if it meets this criterion:
In other words:
The gist is that changing exactly one input assuredly changes the output. This restriction is an adaptation of the feature that distinguishes quasigroups from other magmata.
Noteworthy is that the Latin square can be extended to three dimensions creating a Latin cube, which is precisely what the body of each operation's Cayley table turns out to be (but see a caution). The number of possible operations grows quickly (faster than the cube of a factorial) as C increases; see Potapov and Krotov. The numbers in the table below come from OEIS A098679:
C  number of operations 

1  1 
2  2 
3  24 
4  55,296 
5  2,781,803,520 
6  994,393,803,303,936,000 
It is feasible to list all the operations for C ≤ 3, but only a selection for C = 4. Complication grows quickly as C increases, and for many kinds of investigation:
Dimitrova and Mihajloska also examine the C = 4 case, in the context of cryptography.
§1C. The notions here can easily be extended to operations that take four or more inputs. However, this report concentrates on threeinput operations because three are enough to convey all the important ideas, and to permit tractable examples. Operations with four or more inputs would add complication but not substance.
In the other direction, twoinput operations are insufficient because not all threeinput operations can be decomposed into two successive invocations of twoinput operations (example). This lack of decomposability is a primary motivation for producing this report; otherwise the ternary operations could simply be studied in terms of their binary components, and binary operations are already covered extensively in the algebraic literature.
Another reason that binary operations do not suffice is that the notion of identity element is far simpler with two inputs than with three or more.
The operations studied here are unrelated to the ternary operator of many computer programming languages. Another ternary operator is the scalar triple product of vector analysis, but it too does not relate to TQGs because while the inputs to this operation are vectors, the output is a scalar which is a different data type. For a ternary operation where the output data type is the same as that of the inputs, see the 4dimensional cross product, although it is not cancellative.
§2 Some standard laws. Binary operations are often commutative, associative, distributive, medial, or idempotent. These notions can be generalized to ternary operations as follows.
§2A. Commutativity, or c'ty for short. The gist of this property is that the output of an operation is independent of the sequence of its inputs. In by comparison the addition of real numbers, 7 + 9 = 9 + 7. With three inputs instead of two, several possibilities arise:
sinisterior c'ty:  O (p, q, r) = O (q, p, r) … 4:2 
exterior c'ty:  O (p, q, r) = O (r, q, p) … 4:6509 
dexterior c'ty:  O (p, q, r) = O (p, r, q) … 4:2820 
cyclical c'ty:  O (p, q, r) = O (r, p, q) … 4:5542 
Any two of these taken together result in full c'ty, where all six permutations of the inputs yield the same output. If C ≤ 4, it happens that any operation having cyclical c'ty has the other three c'ties also.
Under a permutation of variable names, the cyclicity criterion can be written O (r, p, q) = O (q, r, p). This means that O (p, q, r) also equals O (q, r, p). In other words, one direction of cyclical c'ty logically implies the other. Otherwise, it would have been necessary to distinguish the following:
rcyclical c'ty:  O (p, q, r) = O (r, p, q) 
qcyclical c'ty:  O (p, q, r) = O (q, r, p) 
§2B. Associativity (a'ty). Under this property, the value of the output is independent of the grouping of inputs. With real numbers, an example is (7 + 8) + 9 = 7 + (8 + 9). The obvious extension to ternary operations yields these:
sinisterior a'ty:  O (Opqr, s, t) = O (p, Oqrs, t) … 4:16443 
exterior a'ty:  O (Opqr, s, t) = O (p, q, Orst) … 4:1881 
dexterior a'ty:  O (p, Oqrs, t) = O (p, q, Orst) … 4:303 
Any two of these together yield full a'ty: O (Opqr, s, t) = O (p, Oqrs, t) = O (p, q, Orst).
When C ≤ 4, an operation that has sinisterior a'ty also has exterior and dexterior; similarly, dexterior a'ty entails exterior and sinisterior. An example of full a'ty is 4:1632, while 4:17842 has exterior only.
With a fully associative operation, one can reasonably introduce the notion of a ternary semigroup. Note that some authors term a fully associative semigroup a group, despite the possibility in this ternary case that no single value serves as an identity. The fully associative operations, some tabulated here, constitute a relatively small subset of all operations when C ≥ 3.
With seven inputs there are twelve possible associations, and the number grows quickly with more than seven.
§2C. Powerassociativity (pa'ty). This, perhaps the weakest form of a'ty, is like ordinary a'ty except that all five inputs are equal:
sinisterior pa'ty:  O (Oppp, p, p) = O (p, Oppp, p) … 4:12083 
exterior pa'ty:  O (Oppp, p, p) = O (p, p, Oppp) … 4:12779 
dexterior pa'ty:  O (p, Oppp, p) = O (p, p, Oppp) … 4:21730 
Pa'ty completely fails for 4:38322, but always succeeds for 4:14046. With many operations, some but not all three criteria will be satisfied, and even then for some values of p but not others.
At one extreme is the a'ty of section 2B, where all the inputs can be different; at the other extreme is pa'ty, where all the inputs must be equal. Between those are adaptations of alternative associativity which, in the ternary case, would use more than one but fewer than five different inputs. Expressions such as the following might appear in their definitions:
Along the same lines, but intended for binary operations, are the criteria for Moufang loops and Bol loops.
§2D. Distributivity (d'ty). This traditionally employs two operations; with real numbers the typical example is of the form 7 × (8 + 9) = 7 × 8 + 7 × 9. For ternary operations, three kinds of d'ty immediately follow:
sinisterior d'ty:  O (Npqr, s, t) = N (Opst,  Oqst,  Orst)  … O = 4:20189, N = 4:33374 
interior d'ty:  O (p, Nqrs, t) = N (Opqt,  Oprt,  Opst)  … O = 4:20051, N = 4:54378 
dexterior d'ty:  O (p, q, Nrst) = N (Opqr,  Opqs,  Opqt)  … O = 4:20318, N = 4:10770 
The terminology is that O is distributive over N.
Sometimes each of two operations is distributive over the other. (Such mutual d'ty is reminiscent of the and and or operations of boolean algebra.) When K = 4:17019 and L = 4:43700, K is distributive over L thus:
sinisterior:  K (Lpqr, s, t) = L (Kpst,  Kqst,  Krst) 
interior:  K (p, Lqrs, t) = L (Kpqt,  Kprt,  Kpst) 
and L is distributive over K thus:
sinisterior:  L (Kpqr, s, t) = K (Lpst,  Lqst,  Lrst) 
dexterior:  L (p, q, Krst) = K (Lpqr,  Lpqs,  Lpqt) 
Unlike most mathematical functions, many of the operations of ternary quasigroups are distributive over themselves; that is to say, O = N in the formulas above. Here are some different combinations of selfd'ty:
A distributivity that combines a ternary operation with a binary operation F could also be defined:
Such "3&2" treatment can be applied to many twooperation laws. A great deal can be said about the ways in which ternary and binary operations interact, but a full discussion is outside the scope of this report. Still, a variety of possible 3&2s will be cited later as a motivation for research in broader generalization of nary operations.
§2E. Mediality (m'ty) is defined using nine variables, and comes in only one ternary version:
O (Opqr, Ostu, Ovwx) = O (Opsv, Oqtw, Orux) … 4:21921 
The rearrangement of variables is suggestive of what happens when a matrix is transposed.
§2F. Idempotence (i'ce) is unsurprising:
O (p, p, p) = p … 4:220 
§3 Some negations of standard laws. The following laws substitute nonequality for equality in some way.
§3A. Excommutativity (xc'ty). As with commutativity, several possibilities arise:
sinisterior xc'ty (4:2023):

exterior xc'ty (4:3578):

dexterior xc'ty (4:4339):

Cyclical xc'ty comes in two directions:
rcyclical xc'ty (4:9564):

qcyclical xc'ty (4:10831):

Even when both cyclical xc'ty laws are satisfied, O (r, p, q) might not equal O (q, r, p).
Conjecture: If C ≥ 3, no operation can exhibit both sinisterior c'ty and sinisterior xc'ty, and many operations will exhibit neither. Similar statements would apply to many of the other identities.
The following alternate definitions of cyclical xc'ty might be proposed, but it is hard to find operations to satisfy them:
rcyclical xc'ty, stricter criterion:

qcyclical xc'ty, stricter criterion:

§3B. Exassociativity (xa'ty). As with associativity, several possibilities arise:
sinisterior xa'ty:  O (Opqr, s, t) ≠ O (p, Oqrs, t) … 4:15850 
exterior xa'ty:  O (Opqr, s, t) ≠ O (p, q, Orst) … no examples found 
dexterior xa'ty:  O (p, Oqrs, t) ≠ O (p, q, Orst) … 4:36931 
§3C. Expowerassociativity (xpa'ty):
sinisterior xpa'ty:  O (Oppp, p, p) ≠ O (p, Oppp, p) … 4:43048 
exterior xpa'ty:  O (Oppp, p, p) ≠ O (p, p, Oppp) … 4:38505 
dexterior xap'ty:  O (p, Oppp, p) ≠ O (p, p, Oppp) … 4:31730 
§3D. Exdistributivity (xd'ty):
sinisterior xd'ty:  O (Npqr, s, t) ≠ N (Opst,  Oqst,  Orst)  … O = 4:210,  N = 4:16443 
interior xd'ty:  O (p, Nqrs, t) ≠ N (Opqt,  Oprt,  Opst)  … O = 4:246,  N = 4:52766 
dexterior xd'ty:  O (p, q, Nrst) ≠ N (Opqr,  Opqs,  Opqt)  … O = 4:20213,  N = 4:38852 
§3E. Exmediality (x'ty):
O (Opqr, Ostu, Ovwx) ≠ O (Opsv, Oqtw, Orux) … no examples found 
§3F. Exidempotence (xi'ce):
O (p, p, p) ≠ p … 4:15850 
There is a stronger version of xi'ce with two conditions:
• O (p, p, p) ≠ p 
• for every p, there exists a unique q such that p = O (q, q, q) … 4:16271 
Exidempotence is said to be broad when the output equals none of the inputs, particularly when the inputs are not all equal. Broad xi'ce exists, in part, in the two following operations.
Operation 4:0 when p, q, r are pairwise unequal:
Operation 3::3 when p, q are unequal:
§4 Some nonstandard laws. Creative algebraists can devise plenty more of these laws, and will frequently find be able to find operations that satisfy them — recall that when C = 4, there are over fifty thousand operations to choose from. Here are a few possibilities.
§4A. Cisassociativity (ca'ty). This is similar to a'ty, but now two operations are involved. O can be cisassociative over N in three ways:
sinisterior ca'ty:  O (Npqr, s, t) = O (p, Nqrs, t) … O = 4:30154, N = 4:25256 
exterior ca'ty:  O (Npqr, s, t) = O (p, q, Nrst) … O = 4:30144, N = 4:39155 
dexterior ca'ty:  O (p, Nqrs, t) = O (p, q, Nrst) … O = 4:30279, N = 4:16271 
For instance, 4:41121 is fully cisassociative over 4:220, but 4:220 exhibits only exterior ca'ty over 4:41121. Full ca'ty prevails when any two conditions are satisfied, as the third condition will be consequential.
Here are some 3&2 cisassociations using binary F:
Cisassociativity can be, but rarely is, defined for two binary operations: G (Fpq, r) = G (p, Fqr).
§4B. Transassociativity (ta'ty). This is like ca'ty, except with a swap of operations on one side of the equation:
sinisterior ta'ty:  N (Opqr, s, t) = O (p, Nqrs, t) … O = 4:13302, N = 4:33977 
exterior ta'ty:  N (Opqr, s, t) = O (p, q, Nrst) … O = 4:20871, N = 4:2756 
dexterior ta'ty:  N (p, Oqrs, t) = O (p, q, Nrst) … O = 4:30923, N = 4:27524 
When for instance K = 4:303 and L = 4:39155, the following are satisfied:
§4C. Reassociativity (ra'ty). Ta'ty suggests three additional laws whose cisassociative counterparts would be trivial:
sinisterior ra'ty:  N (Opqr, s, t) = O (Npqr, s, t) … O = 4:10168,  N = 4:34237 
interior ra'ty:  N (p, Oqrs, t) = O (p, Nqrs, t) … O = 4:607,  N = 4:54688 
dexterior ra'ty:  N (p, q, Orst) = O (p, q, Nrst) … O = 4:664,  N = 4:54631 
In the 3&2 case, the distinction between ta'ty and ra'ty evaporates, with six plausible laws to choose from:
This gives a glimpse into how, for large n, the management of nary operations can start to become an exercise in combinatorics.
§4D. Cisdistributivity (cd'ty). This is like d'ty, except that on one side of the equation the two operations are swapped:
sinisterior cd'ty:  O (Npqr, s, t) = O (Npst,  Nqst,  Nrst)  … O = 4:292, N = 4:13072 
interior cd'ty:  O (p, Nqrs, t) = O (Npqt,  Nprt,  Npst)  … O = 4:546, N = 4:27533 
dexterior cd'ty:  O (p, q, Nrst) = O (Npqr,  Npqs,  Npqt)  … O = 4:748, N = 4:29984 
One says that O is cisdistributive over N. For example, 4:22191 is fully cisdistributive over 4:489, but 4:489 exhibits only interior and dexterior cd'ty over 4:22191.
Conventional d'ty (section 2D) might be termed transdistributivity for contrast.
§4E. Cismediality (cm'ty) is a twooperation version of mediality:
O (Npqr, Nstu, Nvwx) = O (Npsv, Nqtw, Nrux) … O = 4:73, N = 4:21918 
Meanwhile, 4:58 and 4:16544 are exchangeable: either O = 4:58 and N = 4:16544, or O = 4:16544 and N = 4:58.
Twos 3&2 cm'ties are:
§4F. Transmediality (tm'ty) swaps the operations of cm'ty:
O (Npqr, Nstu, Nvwx) = N (Opsv, Oqtw, Orux) … O = 4:15, N = 4:14050 
The combination O = 4:116 and N = 4:7920 exhibits both cm'ty and tm'ty, as does the singleton O = N = 4:1349.
A 3&2 tm'ty is:
To recapitulate, here is a listing of the laws presented in sections 2, 3, and 4:
table of laws  

c'ty  §2A commutativity  xc'ty  §3A excommutativity  ca'ty  §4A cisassociativity  
a'ty  §2B associativity  xa'ty  §3B exassociativity  ta'ty  §4B transassociativity  
pa'ty  §2C powerassociativity  xpa'ty  §3C expowerassociativity  ra'ty  §4C reassociativity  
d'ty  §2D distributivity  xd'ty  §3D exdistributivity  cd'ty  §4D cisdistributivity  
m'ty  §2E mediality  xm'ty  §3E exmediality  cm'ty  §4E cismediality  
i'ce  §2F idempotence  xi'ce  §3F exidempotence  tm'ty  §4F transmediality 
The method of transforming the laws of section 2 into those of section 3 (by changing equalities to nonequalities) can be applied to the laws of section 4 to produce excisassociativity (xcaty) and so forth.
This is page one, with sections 1 through 4.
Page two contains sections 5 through 10. Page three contains sections 11 and 12. Page four contains sections 13 through 15. Page five contains sections 16 through 18. 