Introduction. A ternary quasigroup (TQG for short) consists of first, a set, and second, 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.
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. In particular, the constants are not taken to be real numbers. Variables representing these constants have names such as p, q and r, sometimes subscripted.
Generic operations have names like O, N and M. In contrast, the method of denoting a particular 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. Details of the scheme for assigning numbers to operations will be revealed 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.
A ternary operation O is cancellative if it obeys all three of these rules:
Noteworthy is that the latin square can be extended to three dimensions creating a latin cube, which is precisely what the Cayley table for each operation turns out to be. The number of possible operations grows quickly (faster than the cube of a factorial) as C increases. Potapov and Krotov discuss this matter.
C  1  2  3  4  5 

Operations  1  2  24  55,296  2,781,803,520 
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:
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 4dimensional cross product, although it is not cancellative.
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 such 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.
Some standard laws. Binary operations are often commutative, associative, or distributive. These notions can be generalized to ternary operations as follows.
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:
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 phase of the cycling implies another.
Associativity, or a'ty for short. 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:
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.
Power associativity. This, perhaps the weakest form of a'ty, is like ordinary a'ty except that all five inputs are equal:
Distributivity, or d'ty for short. 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:
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:
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:
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.
Bisociativity, or b'ty for short. This is similar to a'ty, but now two operations are involved. O can be bisociative over N in three ways:
For instance, 4:41121 is fully bisociative over 4:220, but 4:220 exhibits only exterior b'ty over 4:41121.
Full b'ty prevails when all any two conditions are satisfied, as the third condition will be consequential.
Bisociativity can be, but rarely is, defined for binary operations: O (Npq, r) = O (p, Nqr).
Exsociativity, or e'ty for short. This is like b'ty, except with a swap of operations on one side of the equation:
Note that L happens to be fully bisociative over K.
Partributivity, or p'ty for short. This is like d'ty, except that on one side of the equation the two operations are swapped:
Transpositivity, or t'ty for short; the name arises from how the rearrangement of variables resembles what happens in transposing a matrix. Also termed mediality, it calls for two operations over nine variables, and comes in two versions:
This first version is satisfied by O = 4:73 and N = 4:21918 among others. As another solution to the first version, 4:58 and 4:16544 are exchangeable: either O = 4:58 and N = 4:16544, or O = 4:16544 and N = 4:58. The second version is satisfied by O = 4:15 and N = 4:14050. The combination O = 4:116 and N = 4:7920 makes both versions good, as does the singleton O = N = 4:1349.
T'ty, when defined for binary operations, looks like this: O (Npq, Nrs) = O (Npr, Nqs). Much as a nonsquare matrix is transposable, the second version of t'ty can sensibly be defined for one binary and one ternary operation together: O (Npqr, Nstu) = N (Ops, Oqt, Oru).
Identities. Many operations have identities. The notation employs an underscore, suggesting a blank spot where something can be filled in:
Some operations have several identities, but others have none; a wealth of possibilities are illustrated in the first row of each entry throughout this table. A consequence is that to devise a definition of loops in the ternary case is far more complicated than in the binary case, where a loop's identity element is unique.
TQG identities behave differently from the usual identity elements to binary operations, because here an identity cannot stand as an input to an operation.
If ppp = p in an operation that has exterior associativity, then pp_ and _pp (but not necessarily p_p) are also identities.
Skew elements. For each TQG operation O, three binary skew operations can be defined. The infix notation for each skew is the element, a diamond ♦, and a number:
Thanks to cancellativity, each of p♦1, p♦2, and p♦3 is guaranteed to exist and be unique. However, they might not be equal. For instance, the skews of 4:21401 have no conspicuous pattern; the skews of operation 4:43310 are as variegated as possible; and the skews of 3:8 are all equal.



If O is known to be fully commutative, then p♦1 = p♦2 = p♦3, making the numberless postfix operator p♦ unambiguous.
A superscript notation is convenient for repeated application of skewing. For instance:
Under 4:21401, p♦1 is not an invertible operation, as b(♦^{−1})1 could equal b or c, and c(♦^{−1})1 does not equal anything. In contrast, p♦1 under 4:43310 is invertible, making p(♦^{−1})1 a valid expression.
Sometimes skewness passes through an operation. Examples:
4:50  4:8796  4:8787  4:22802  4:10821  4:18919  4:13189  4:126  
(O (p, q, r))♦1 = O (p♦1, q♦1, r♦1)  true  true  true  true  false  false  false  false 
(O (p, q, r))♦2 = O (p♦2, q♦2, r♦2)  true  true  false  false  true  true  false  false 
(O (p, q, r))♦3 = O (p♦3, q♦3, r♦3)  true  false  true  false  true  false  true  false 
One might further establish doubleskew or tripleskew operations:
Depending on the choice of O, multipleskew operations might have single values, multiple values, or no values. An operation that is singlevalued for all three doubleskew conditions is 4:29262, the pertinent results therefrom being:
from 4:29262  

p  p♦♦1  p♦♦2  p♦♦3  
value  rationale  value  rationale  value  rationale  
a  d  add = a  c  cac = a  b  bba = a 
b  a  baa = b  c  cbc = b  d  ddb = b 
c  c  ccc = c  c  ccc = c  c  ccc = c 
d  b  dbb = d  c  cdc = d  a  aad = d 
Because singleskewness is intimately connected with ordinary cancellativity, fullydoubleskew operations such as 4:29262 suggest that a secondorder cancellativity might be defined.
Singlevalued for the tripleskew operation is 4:39155:
from 4:39155  

p  p♦♦♦  
value  rationale  
a  d  ddd = a 
b  c  ccc = b 
c  a  aaa = c 
d  b  bbb = d 
Direct products are simple but lengthy to explain.
Generators and subTQGs. In some cases, the set belonging to a TQG can be obtained by starting with one element as input, and repeatedly applying the operation using for inputs the original element and any derived outputs. This corresponds to the key feature of binary cyclic groups.
An example is 4:20867, where a is a generator because Oaaa = b, Oaab = c, and Oaac = d, covering all four elements. For this operation, b, c and d also happen to be generators.
With 4:34466 by contrast, a is not a generator. Consider Oaaa = c, Oaac = Oaca = Ocaa = a, Oacc = Ocac = Occa = c and Occc = a, in all of which b and d never appear. Still, a generates a ternary quasisubgroup (subTQG) of two elements; c would have generated the same subTQG, which is isomorphic to 2:1. By the same token, either of b or d generates the subTQG containing both b and d.
4:6509 has two generators, b and c. Meanwhile, each of a and d generates the subTQG containing only itself.
Although a binary cyclic group is surely commutative, a TQG generated by one element might not be. Consider 4:27496, which can be generated by any one of its elements. Explanation: Oaaa = b, Oaab = d and Oabb = c, so a is a generator. Now observe Obbb = a. Since b generates a generator, b is itself a generator. Similarly, c and d are generators because Occc = a and Oddd = b. Still, 4:27496 is noncommutative:
noncommutativity of 4:27496  

sinisterior  exterior  dexterior  cyclical 
abc = a ≠ bac = d  dac = a ≠ cad = d  abc = a ≠ acb = b  abd = b ≠ bda = d 
Decomposition. A ternary operation O is:
An easy way to find a decomposable O is to work backwards, first selecting F and G and then composing them. Here for instance are two binary operations over the set { a, b, c, d }:
F  G  

aa = a  ab = d  ac = c  ad = b  aa = c  ab = d  ac = b  ad = a  
ba = c  bb = b  bc = d  bd = a  ba = a  bb = c  bc = d  bd = b  
ca = b  cb = c  cc = a  cd = d  ca = d  cb = b  cc = a  cd = c  
da = d  db = a  dc = b  dd = c  da = b  db = a  dc = c  dd = d 
When combined as F (p, G (q, r)), 4:34618 is obtained for O (p, q, r). Hence 4:34618 exhibits dexterior decomposability.
Exemplifying indecomposable operations is 4:21401. The following demonstration first assumes that a dexterior decomposition exists, and then derives a contradiction.
Expand seven entries from the operation definition table:
To reduce bulk, write Gaa for G (a, a), Gab for G (a, b) et cetera:
Since F (a, Gaa) does not equal F (a, Gab), Gaa cannot equal Gab. More broadly, Gaa, Gab, Gac and Gad are pairwise unequal. In contrast, Gcc must equal one of Gaa, Gab, Gac and Gad because there are only C = 4 values to pick from.
Because F (a, Gcc) = b, Gcc cannot be Gab, Gac or Gad, so by elimination Gcc equals Gaa. Now the last item in the list becomes F (b, Gaa) = c, which contradicts the nexttolast, F (b, Gaa) = d. Hence 4:21401 has no dexterior decomposition.
All TQGs for C ≤ 3 decompose both ways. Of the 55,296 operations for C = 4:
A general method for verifying decomposability is here.
Orthogonality. Let M and N be ternary quasigroup operations over the same set S. Meanwhile, allow variables p, p′, q, q′, r and r′ to range independently over all elements of S, except for three constraints: p′ ≠ p, q′ ≠ q and r′ ≠ r. Then M and N are orthogonal if the following three conditions are satisfied:
When C < 4, there are no orthogonal pairs. When C = 4 there are 20,736 orthogonal pairs, 165,888 pairwiseorthogonal triplets, but no pairwiseorthogonal quadruplets; only 864 of the 55,296 operations can participate in orthogonality, but any operation that appears in a pair also appears in a triplet. What might happen when C > 4 is an open question.
Combining the Cayley tables of two or more orthogonal ternary operations gives the threedimensional version of a GraecoLatin square, here for instance with 4:116, 4:1300 and 4:1881:
4:116, 4:1300, 4:1881  skews  

aaa = a, a, a  aab = b, b, b  aac = c, c, c  aad = d, d, d  aba = b, c, d  abb = a, d, c  abc = d, a, b  abd = c, b, a  aca = c, d, b  acb = d, c, a  acc = a, b, d  acd = b, a, c  ada = d, b, c  adb = c, a, d  adc = b, d, a  add = a, c, b  a♦1 = a, a, a  a♦2 = a, a, a  a♦3 = a, a, a  
baa = d, c, b  bab = c, d, a  bac = b, a, d  bad = a, b, c  bba = c, a, c  bbb = d, b, d  bbc = a, c, a  bbd = b, d, b  bca = b, b, a  bcb = a, a, b  bcc = d, d, c  bcd = c, c, d  bda = a, d, d  bdb = b, c, c  bdc = c, b, b  bdd = d, a, a  b♦1 = c, b, d  b♦2 = d, b, c  b♦3 = d, b, d  
caa = b, d, c  cab = a, c, d  cac = d, b, a  cad = c, a, b  cba = a, b, b  cbb = b, a, a  cbc = c, d, d  cbd = d, c, c  cca = d, a, d  ccb = c, b, c  ccc = b, c, b  ccd = a, d, a  cda = c, c, a  cdb = d, d, b  cdc = a, a, c  cdd = b, b, d  c♦1 = d, c, b  c♦2 = b, c, d  c♦3 = b, c, b  
daa = c, b, d  dab = d, a, c  dac = a, d, b  dad = b, c, a  dba = d, d, a  dbb = c, c, b  dbc = b, b, c  dbd = a, a, d  dca = a, c, c  dcb = b, d, d  dcc = c, a, a  dcd = d, b, b  dda = b, a, b  ddb = a, b, a  ddc = d, c, d  ddd = c, d, c  d♦1 = b, d, c  d♦2 = c, d, b  d♦3 = c, d, c 
Each combination (a, a, a), (a, a, b), (a, a, c), and so forth appears precisely once. On the other hand, the skew elements do not exhibit any obvious pattern.
How numbers are determined. To each operation has been assigned a reference number in the form C:n. As always, C stands for the cardinality. The specification of n requires a little more work, but two things can be said now:
C  1  2  3  4  5 

maximum n  0  1  23  55,295  2,781,803,519 
Step 1. Create an ordering for the TQG's set members; alphabetical is as good as any other, so by definition a < b, b < c et cetera.
Step 2. Observe that the inputs to an invocation of an operation form an ordered triplet. For instance, in the invocation O (p, q, r), the triplet is (p, q, r). Now create a lexicographic ordering on those triplets. Given triplets T_{1} = (p_{1}, q_{1}, r_{1}) and T_{2} = (p_{2}, q_{2}, r_{2}), specify:
Now an ordering of input triplets can be constructed. As a case in point, here are all 27 possible input triplets for C = 3, in lexicographic order from least (left) to greatest (right):
aaa  aab  aac  aba  abb  abc  aca  acb  acc  baa  bab  bac  bba  bbb  bbc  bca  bcb  bcc  caa  cab  cac  cba  cbb  cbc  cca  ccb  ccc 

Step 3. Consider two ternary operations, C:k and C:l over the same set, and ordered triplets T_{1} and T_{2}. If these two conditions are satisfied:
Remark. This numbering scheme arose naturally from the author's C++ program, which used a simple scheme to find all the operations for each cardinality.
In an extended example, each row in the table below is one of the 24 operations of C = 3, while each column represents an input triplet. The table defines the same operations as found in another chart, but in a different format.
aaa  aab  aac  aba  abb  abc  aca  acb  acc  baa  bab  bac  bba  bbb  bbc  bca  bcb  bcc  caa  cab  cac  cba  cbb  cbc  cca  ccb  ccc  

3:0  a  b  c  b  c  a  c  a  b  b  c  a  c  a  b  a  b  c  c  a  b  a  b  c  b  c  a  
3:1  a  b  c  b  c  a  c  a  b  c  a  b  a  b  c  b  c  a  b  c  a  c  a  b  a  b  c  
3:2  a  b  c  c  a  b  b  c  a  b  c  a  a  b  c  c  a  b  c  a  b  b  c  a  a  b  c  
3:3  a  b  c  c  a  b  b  c  a  c  a  b  b  c  a  a  b  c  b  c  a  a  b  c  c  a  b  
3:4  a  c  b  b  a  c  c  b  a  b  a  c  c  b  a  a  c  b  c  b  a  a  c  b  b  a  c  
3:5  a  c  b  b  a  c  c  b  a  c  b  a  a  c  b  b  a  c  b  a  c  c  b  a  a  c  b  
3:6  a  c  b  c  b  a  b  a  c  b  a  c  a  c  b  c  b  a  c  b  a  b  a  c  a  c  b  
3:7  a  c  b  c  b  a  b  a  c  c  b  a  b  a  c  a  c  b  b  a  c  a  c  b  c  b  a  
3:8  b  a  c  a  c  b  c  b  a  a  c  b  c  b  a  b  a  c  c  b  a  b  a  c  a  c  b  
3:9  b  a  c  a  c  b  c  b  a  c  b  a  b  a  c  a  c  b  a  c  b  c  b  a  b  a  c  
3:10  b  a  c  c  b  a  a  c  b  a  c  b  b  a  c  c  b  a  c  b  a  a  c  b  b  a  c  
3:11  b  a  c  c  b  a  a  c  b  c  b  a  a  c  b  b  a  c  a  c  b  b  a  c  c  b  a  
3:12  b  c  a  a  b  c  c  a  b  a  b  c  c  a  b  b  c  a  c  a  b  b  c  a  a  b  c  
3:13  b  c  a  a  b  c  c  a  b  c  a  b  b  c  a  a  b  c  a  b  c  c  a  b  b  c  a  
3:14  b  c  a  c  a  b  a  b  c  a  b  c  b  c  a  c  a  b  c  a  b  a  b  c  b  c  a  
3:15  b  c  a  c  a  b  a  b  c  c  a  b  a  b  c  b  c  a  a  b  c  b  c  a  c  a  b  
3:16  c  a  b  a  b  c  b  c  a  a  b  c  b  c  a  c  a  b  b  c  a  c  a  b  a  b  c  
3:17  c  a  b  a  b  c  b  c  a  b  c  a  c  a  b  a  b  c  a  b  c  b  c  a  c  a  b  
3:18  c  a  b  b  c  a  a  b  c  a  b  c  c  a  b  b  c  a  b  c  a  a  b  c  c  a  b  
3:19  c  a  b  b  c  a  a  b  c  b  c  a  a  b  c  c  a  b  a  b  c  c  a  b  b  c  a  
3:20  c  b  a  a  c  b  b  a  c  a  c  b  b  a  c  c  b  a  b  a  c  c  b  a  a  c  b  
3:21  c  b  a  a  c  b  b  a  c  b  a  c  c  b  a  a  c  b  a  c  b  b  a  c  c  b  a  
3:22  c  b  a  b  a  c  a  c  b  a  c  b  c  b  a  b  a  c  b  a  c  a  c  b  c  b  a  
3:23  c  b  a  b  a  c  a  c  b  b  a  c  a  c  b  c  b  a  a  c  b  c  b  a  b  a  c 
Conjugation. This is a method of converting one TQG into another. Although the two TQGs (called conjugates) will have the same set, their operations will differ.
The device required for conjugation is a unary operation that permutes a TQG's set; such a permutator can be characterized as a bijection from the set to itself. A popular symbol for a permutator is π. (Incidentally, a set and a permutator are the ingredients of a unary quasigroup.)
To conjugate a TQG, the procedure is simply to apply the permutator to every input and output in the table that defines the TQG's operation. Conjugacy turns out to be an equivalence relation.
Here is a full example of conjugation. Start with 4:15:
4:15  

aaa = a  aab = b  aac = c  aad = d  aba = b  abb = a  abc = d  abd = c  aca = c  acb = d  acc = a  acd = b  ada = d  adb = c  adc = b  add = a 
baa = b  bab = a  bac = d  bad = c  bba = a  bbb = b  bbc = c  bbd = d  bca = d  bcb = c  bcc = b  bcd = a  bda = c  bdb = d  bdc = a  bdd = b 
caa = d  cab = c  cac = b  cad = a  cba = c  cbb = d  cbc = a  cbd = b  cca = b  ccb = a  ccc = d  ccd = c  cda = a  cdb = b  cdc = c  cdd = d 
daa = c  dab = d  dac = a  dad = b  dba = d  dbb = c  dbc = b  dbd = a  dca = a  dcb = b  dcc = c  dcd = d  dda = b  ddb = a  ddc = d  ddd = c 
Permute a, b, c and d in all the inputs and outputs according to this rule:
ccc = c  ccb = b  cca = a  ccd = d  cbc = b  cbb = c  cba = d  cbd = a  cac = a  cab = d  caa = c  cad = b  cdc = d  cdb = a  cda = b  cdd = c 
bcc = b  bcb = c  bca = d  bcd = a  bbc = c  bbb = b  bba = a  bbd = d  bac = d  bab = a  baa = b  bad = c  bdc = a  bdb = d  bda = c  bdd = b 
acc = d  acb = a  aca = b  acd = c  abc = a  abb = d  aba = c  abd = b  aac = b  aab = c  aaa = d  aad = a  adc = c  adb = b  ada = a  add = d 
dcc = a  dcb = d  dca = c  dcd = b  dbc = d  dbb = a  dba = b  dbd = c  dac = c  dab = b  daa = a  dad = d  ddc = b  ddb = c  dda = d  ddd = a 
Now rearrange this table according to the usual pattern of inputs, yielding 4:55237:
4:55237  

aaa = d  aab = c  aac = b  aad = a  aba = c  abb = d  abc = a  abd = b  aca = b  acb = a  acc = d  acd = c  ada = a  adb = b  adc = c  add = d 
baa = b  bab = a  bac = d  bad = c  bba = a  bbb = b  bbc = c  bbd = d  bca = d  bcb = c  bcc = b  bcd = a  bda = c  bdb = d  bdc = a  bdd = b 
caa = c  cab = d  cac = a  cad = b  cba = d  cbb = c  cbc = b  cbd = a  cca = a  ccb = b  ccc = c  ccd = d  cda = b  cdb = a  cdc = d  cdd = c 
daa = a  dab = b  dac = c  dad = d  dba = b  dbb = a  dbc = d  dbd = c  dca = c  dcb = d  dcc = a  dcd = b  dda = d  ddb = c  ddc = b  ddd = a 
A concise way to express the conjugacy of 4:15 and 4:55237 is:
π (4:15 (p, q, r)) = 4:55237 (π (p), π (q), π (r))
Because π is a bijection, its functional inverse exists, and can be denoted π^{−1}. This allows us to also write:
4:15 (p, q, r) = π^{−1}(4:55237 (π (p), π (q), π (r)))
π (4:15 (π^{−1}(p), π^{−1}(q), π^{−1}(r))) = 4:55237 (p, q, r)
Conjugation preserves properties such as c'ty and a'ty. Further, if two TQG's are conjugated using the same π, d'ty of one over the other is preserved.
Because conjugation can be viewed as merely a change of symbols, two conjugate TQGs might be regarded as essentially the same. However, some operations yield larger equivalence classes than others. The table below details the case where C = 3, with consequently 24 operations and 6 permutations. The operations are shown in full here.
Conjugacy for C = 3  even  odd  

π_{0}(a) = a π_{0}(b) = b π_{0}(c) = c  π_{2}(a) = c π_{2}(b) = a π_{2}(c) = b  π_{4}(a) = b π_{4}(b) = c π_{4}(c) = a  π_{1}(a) = a π_{1}(b) = c π_{1}(c) = b  π_{3}(a) = c π_{3}(b) = b π_{3}(c) = a  π_{5}(a) = b π_{5}(b) = a π_{5}(c) = c  
3: 0  3: 0  3:16  3:15  3: 0  3:16  3:15 
3:16  3:16  3:15  3: 0  3:15  3: 0  3:16 
3:15  3:15  3: 0  3:16  3:16  3:15  3: 0 
3: 3  3: 3  3:12  3:19  3: 3  3:12  3:19 
3:12  3:12  3:19  3: 3  3:19  3: 3  3:12 
3:19  3:19  3: 3  3:12  3:12  3:19  3: 3 
3: 5  3: 5  3:10  3:21  3: 5  3:10  3:21 
3:10  3:10  3:21  3: 5  3:21  3: 5  3:10 
3:21  3:21  3: 5  3:10  3:10  3:21  3: 5 
3: 6  3: 6  3: 9  3:22  3: 6  3: 9  3:22 
3: 9  3: 9  3:22  3: 6  3:22  3: 6  3: 9 
3:22  3:22  3: 6  3: 9  3: 9  3:22  3: 6 
3: 7  3: 7  3:23  3: 8  3: 7  3:23  3: 8 
3:23  3:23  3: 8  3: 7  3: 8  3: 7  3:23 
3: 8  3: 8  3: 7  3:23  3:23  3: 8  3: 7 
3:11  3:11  3:11  3:11  3:20  3:20  3:20 
3:20  3:20  3:20  3:20  3:11  3:11  3:11 
3:13  3:13  3:13  3:13  3:18  3:18  3:18 
3:18  3:18  3:18  3:18  3:13  3:13  3:13 
3:14  3:14  3:14  3:14  3:17  3:17  3:17 
3:17  3:17  3:17  3:17  3:14  3:14  3:14 
3: 1  3: 1  3: 1  3: 1  3: 1  3: 1  3: 1 
3: 2  3: 2  3: 2  3: 2  3: 2  3: 2  3: 2 
3: 4  3: 4  3: 4  3: 4  3: 4  3: 4  3: 4 
In the table are:
The table above incorporates both even and odd permutations. Possible instead is a definition of conjugacy which retains only the even permutations, omitting the odd. In that case, 3:11 and 3:20 for instance would no longer be conjugates. Especially when C ≥ 5, the symmetric group (that is, the group of all permutations) has many interesting subgroups. In short, a researcher need not consider all possible permutations when exploring conjugacy.
More general than conjugation is isotopy, which uses a different permutation for each input, and yet another for the output:
π_{0}(M (p, q, r)) = N (π_{1}(p), π_{2}(q), π_{3}(r))
Fuzziness. An analogue of fuzzy logic can be used to extend the crisp ternary semigroups discussed above. The usual approach to fuzzy logic requires selecting a tnorm and tconorm from among many possibilities, and the following example opts for probabilistic norms because they are among the easiest to calculate. (How they are probabilistic will be explained at the end of this section.)
Each data item will be an ordered quadruple (because C = 4) of nonnegative real numbers, for example ⟨ 0.29, 0.13, 0.26, 0.32 ⟩. Components are written with subscripts: x = ⟨ x_{0}, x_{1}, x_{2}, x_{3} ⟩. A quadruple is complete when the sum of its four elements is precisely one. Meanwhile, an incomplete quadruple, whose sum is less than one, can appear only as an intermediate result in calculations.
Addition is defined in parallel: ⟨ x_{0}, x_{1}, x_{2}, x_{3} ⟩ + ⟨ y_{0}, y_{1}, y_{2}, y_{3} ⟩ = ⟨ x_{0} + y_{0}, x_{1} + y_{1}, x_{2} + y_{2}, x_{3} + y_{3} ⟩. For a real number t and the set elements a, b, c and d, these multiplications are defined:
ta = ⟨ t, 0, 0, 0 ⟩
tb = ⟨ 0, t, 0, 0 ⟩
tc = ⟨ 0, 0, t, 0 ⟩
td = ⟨ 0, 0, 0, t ⟩
Hence ⟨ x_{0}, x_{1}, x_{2}, x_{3} ⟩ = x_{0}a + x_{1}b + x_{2}c + x_{3}d.
To establish the fuzzy operation, multiply quadruples x, y and z:
(x_{0}a + x_{1}b + x_{2}c + x_{3}d) (y_{0}a + y_{1}b + y_{2}c + y_{3}d) (z_{0}a + z_{1}b + z_{2}c + z_{3}d)
Then select a crisp operation O, and apply the distributive law numerous times to obtain the fuzzy version of operation O. When three of the set members are "multiplied", take it to mean applying the operation O to them. For instance, the "product" of b, d, and a would be O (b, d, a) or more concisely Obda :
(x_{0}y_{0}z_{0})Oaaa +  (x_{0}y_{0}z_{1})Oaab +  (x_{0}y_{0}z_{2})Oaac +  (x_{0}y_{0}z_{3})Oaad + 
(x_{0}y_{1}z_{0})Oaba +  (x_{0}y_{1}z_{1})Oabb +  (x_{0}y_{1}z_{2})Oabc +  (x_{0}y_{1}z_{3})Oabd + 
(x_{0}y_{2}z_{0})Oaca +  (x_{0}y_{2}z_{1})Oacb +  (x_{0}y_{2}z_{2})Oacc +  (x_{0}y_{2}z_{3})Oacd + 
(x_{0}y_{3}z_{0})Oada +  (x_{0}y_{3}z_{1})Oadb +  (x_{0}y_{3}z_{2})Oadc +  (x_{0}y_{3}z_{3})Oadd + 
(x_{1}y_{0}z_{0})Obaa +  (x_{1}y_{0}z_{1})Obab +  (x_{1}y_{0}z_{2})Obac +  (x_{1}y_{0}z_{3})Obad + 
(x_{1}y_{1}z_{0})Obba +  (x_{1}y_{1}z_{1})Obbb +  (x_{1}y_{1}z_{2})Obbc +  (x_{1}y_{1}z_{3})Obbd + 
(x_{1}y_{2}z_{0})Obca +  (x_{1}y_{2}z_{1})Obcb +  (x_{1}y_{2}z_{2})Obcc +  (x_{1}y_{2}z_{3})Obcd + 
(x_{1}y_{3}z_{0})Obda +  (x_{1}y_{3}z_{1})Obdb +  (x_{1}y_{3}z_{2})Obdc +  (x_{1}y_{3}z_{3})Obdd + 
(x_{2}y_{0}z_{0})Ocaa +  (x_{2}y_{0}z_{1})Ocab +  (x_{2}y_{0}z_{2})Ocac +  (x_{2}y_{0}z_{3})Ocad + 
(x_{2}y_{1}z_{0})Ocba +  (x_{2}y_{1}z_{1})Ocbb +  (x_{2}y_{1}z_{2})Ocbc +  (x_{2}y_{1}z_{3})Ocbd + 
(x_{2}y_{2}z_{0})Occa +  (x_{2}y_{2}z_{1})Occb +  (x_{2}y_{2}z_{2})Occc +  (x_{2}y_{2}z_{3})Occd + 
(x_{2}y_{3}z_{0})Ocda +  (x_{2}y_{3}z_{1})Ocdb +  (x_{2}y_{3}z_{2})Ocdc +  (x_{2}y_{3}z_{3})Ocdd + 
(x_{3}y_{0}z_{0})Odaa +  (x_{3}y_{0}z_{1})Odab +  (x_{3}y_{0}z_{2})Odac +  (x_{3}y_{0}z_{3})Odad + 
(x_{3}y_{1}z_{0})Odba +  (x_{3}y_{1}z_{1})Odbb +  (x_{3}y_{1}z_{2})Odbc +  (x_{3}y_{1}z_{3})Odbd + 
(x_{3}y_{2}z_{0})Odca +  (x_{3}y_{2}z_{1})Odcb +  (x_{3}y_{2}z_{2})Odcc +  (x_{3}y_{2}z_{3})Odcd + 
(x_{3}y_{3}z_{0})Odda +  (x_{3}y_{3}z_{1})Oddb +  (x_{3}y_{3}z_{2})Oddc +  (x_{3}y_{3}z_{3})Oddd 
That expression being lengthy, a numerical example is in order. Let:
x = ⟨ 0.16, 0.23, 0.31, 0.30 ⟩
y = ⟨ 0.22, 0.34, 0.08, 0.36 ⟩
z = ⟨ 0.13, 0.29, 0.05, 0.53 ⟩
O = 4:14046
Then the sum becomes:
(0.16 × 0.22 × 0.13)b +  (0.16 × 0.22 × 0.29)a +  (0.16 × 0.22 × 0.05)c +  (0.16 × 0.22 × 0.53)d + 
(0.16 × 0.34 × 0.13)a +  (0.16 × 0.34 × 0.29)b +  (0.16 × 0.34 × 0.05)d +  (0.16 × 0.34 × 0.53)c + 
(0.16 × 0.08 × 0.13)d +  (0.16 × 0.08 × 0.29)c +  (0.16 × 0.08 × 0.05)a +  (0.16 × 0.08 × 0.53)b + 
(0.16 × 0.36 × 0.13)c +  (0.16 × 0.36 × 0.29)d +  (0.16 × 0.36 × 0.05)b +  (0.16 × 0.36 × 0.53)a + 
(0.23 × 0.22 × 0.13)a +  (0.23 × 0.22 × 0.29)b +  (0.23 × 0.22 × 0.05)d +  (0.23 × 0.22 × 0.53)c + 
(0.23 × 0.34 × 0.13)b +  (0.23 × 0.34 × 0.29)a +  (0.23 × 0.34 × 0.05)c +  (0.23 × 0.34 × 0.53)d + 
(0.23 × 0.08 × 0.13)c +  (0.23 × 0.08 × 0.29)d +  (0.23 × 0.08 × 0.05)b +  (0.23 × 0.08 × 0.53)a + 
(0.23 × 0.36 × 0.13)d +  (0.23 × 0.36 × 0.29)c +  (0.23 × 0.36 × 0.05)a +  (0.23 × 0.36 × 0.53)b + 
(0.31 × 0.22 × 0.13)c +  (0.31 × 0.22 × 0.29)d +  (0.31 × 0.22 × 0.05)b +  (0.31 × 0.22 × 0.53)a + 
(0.31 × 0.34 × 0.13)d +  (0.31 × 0.34 × 0.29)c +  (0.31 × 0.34 × 0.05)a +  (0.31 × 0.34 × 0.53)b + 
(0.31 × 0.08 × 0.13)b +  (0.31 × 0.08 × 0.29)a +  (0.31 × 0.08 × 0.05)c +  (0.31 × 0.08 × 0.53)d + 
(0.31 × 0.36 × 0.13)a +  (0.31 × 0.36 × 0.29)b +  (0.31 × 0.36 × 0.05)d +  (0.23 × 0.36 × 0.53)c + 
(0.30 × 0.22 × 0.13)d +  (0.30 × 0.22 × 0.29)c +  (0.30 × 0.22 × 0.05)a +  (0.30 × 0.22 × 0.53)b + 
(0.30 × 0.34 × 0.13)c +  (0.30 × 0.34 × 0.29)d +  (0.30 × 0.34 × 0.05)b +  (0.30 × 0.34 × 0.53)a + 
(0.30 × 0.08 × 0.13)a +  (0.30 × 0.08 × 0.29)b +  (0.30 × 0.08 × 0.05)d +  (0.30 × 0.08 × 0.53)c + 
(0.30 × 0.36 × 0.13)b +  (0.30 × 0.36 × 0.29)a +  (0.30 × 0.36 × 0.05)c +  (0.30 × 0.36 × 0.53)d 
After combining similar terms, the result is exactly ⟨ 0.246512, 0.255600, 0.249264, 0.248624 ⟩.
To see this operation's probabilistic behavior, consider an example with many zeros:
x = ⟨ 0.16, 0.84, 0.00, 0.00 ⟩
y = ⟨ 0.66, 0.34, 0.00, 0.00 ⟩
z = ⟨ 0.75, 0.25, 0.00, 0.00 ⟩
O = 4:14046, as before
Now substitute as in the first example:
(0.16 × 0.66 × 0.75)b +  (0.16 × 0.66 × 0.25)a + 
(0.16 × 0.34 × 0.75)a +  (0.16 × 0.34 × 0.25)b + 
(0.84 × 0.66 × 0.75)a +  (0.84 × 0.66 × 0.25)b + 
(0.84 × 0.34 × 0.75)b +  (0.84 × 0.34 × 0.25)a 
Many terms have dropped out because of the zeros in the inputs, and the result is ⟨ 0.5544, 0.4456, 0.0000, 0.0000 ⟩.
If the probabilities of three independent events are 0.16, 0.66 and 0.75, then the probability of zero or any two (i.e. an even number) of them occurring is 0.5544, and the probability of any one or three (an odd number) occuring is 0.4456.