Some ternary quasigroups over small sets.
Page one contains sections 1 through 4. Page two contains sections 5 through 10. This is page three, with sections 11 and 12. Page four contains sections 13 through 16. |
§11 Operation numbers. To each ternary operation has been assigned a reference number in the form C:n, while binary operations have two colons. 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 any aribitrary 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 recursive 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 |
The numbering starts with zero (as 3:0) rather than one (as 3:1). Although many researchers begin numbering at one, the present author used a computer program in the C++ language to perform almost all of the calculations, and in that language, array indexing begins with zero, not one. For convenience, zero-based numbering was retained for nearly all purposes.
§12A Conjugates. 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, with an identifying number in each cell of each table to show how the values move around. Start with 4:15:
4:15 | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
#0 aaa = a | #1 aab = b | #2 aac = c | #3 aad = d | #4 aba = b | #5 abb = a | #6 abc = d | #7 abd = c | #8 aca = c | #9 acb = d | #10 acc = a | #11 acd = b | #12 ada = d | #13 adb = c | #14 adc = b | #15 add = a |
#16 baa = b | #17 bab = a | #18 bac = d | #19 bad = c | #20 bba = a | #21 bbb = b | #22 bbc = c | #23 bbd = d | #24 bca = d | #25 bcb = c | #26 bcc = b | #27 bcd = a | #28 bda = c | #29 bdb = d | #30 bdc = a | #31 bdd = b |
#32 caa = d | #33 cab = c | #34 cac = b | #35 cad = a | #36 cba = c | #37 cbb = d | #38 cbc = a | #39 cbd = b | #40 cca = b | #41 ccb = a | #42 ccc = d | #43 ccd = c | #44 cda = a | #45 cdb = b | #46 cdc = c | #47 cdd = d |
#48 daa = c | #49 dab = d | #50 dac = a | #51 dad = b | #52 dba = d | #53 dbb = c | #54 dbc = b | #55 dbd = a | #56 dca = a | #57 dcb = b | #58 dcc = c | #59 dcd = d | #60 dda = b | #61 ddb = a | #62 ddc = d | #63 ddd = c |
Permute a, b, c and d in all the inputs and outputs according to this rule:
#0 ccc = c | #1 ccb = b | #2 cca = a | #3 ccd = d | #4 cbc = b | #5 cbb = c | #6 cba = d | #7 cbd = a | #8 cac = a | #9 cab = d | #10 caa = c | #11 cad = b | #12 cdc = d | #13 cdb = a | #14 cda = b | #15 cdd = c |
#16 bcc = b | #17 bcb = c | #18 bca = d | #19 bcd = a | #20 bbc = c | #21 bbb = b | #22 bba = a | #23 bbd = d | #24 bac = d | #25 bab = a | #26 baa = b | #27 bad = c | #28 bdc = a | #29 bdb = d | #30 bda = c | #31 bdd = b |
#32 acc = d | #33 acb = a | #34 aca = b | #35 acd = c | #36 abc = a | #37 abb = d | #38 aba = c | #39 abd = b | #40 aac = b | #41 aab = c | #42 aaa = d | #43 aad = a | #44 adc = c | #45 adb = b | #46 ada = a | #47 add = d |
#48 dcc = a | #49 dcb = d | #50 dca = c | #51 dcd = b | #52 dbc = d | #53 dbb = a | #54 dba = b | #55 dbd = c | #56 dac = c | #57 dab = b | #58 daa = a | #59 dad = d | #60 ddc = b | #61 ddb = c | #62 dda = d | #63 ddd = a |
Now rearrange this table according to the usual pattern of inputs, yielding 4:55237:
4:55237 | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
#42 aaa = d | #41 aab = c | #40 aac = b | #43 aad = a | #38 aba = c | #37 abb = d | #36 abc = a | #39 abd = b | #34 aca = b | #33 acb = a | #32 acc = d | #35 acd = c | #46 ada = a | #45 adb = b | #44 adc = c | #47 add = d |
#26 baa = b | #25 bab = a | #24 bac = d | #27 bad = c | #22 bba = a | #21 bbb = b | #20 bbc = c | #23 bbd = d | #18 bca = d | #17 bcb = c | #16 bcc = b | #19 bcd = a | #30 bda = c | #29 bdb = d | #28 bdc = a | #31 bdd = b |
#10 caa = c | #9 cab = d | #8 cac = a | #11 cad = b | #6 cba = d | #5 cbb = c | #4 cbc = b | #7 cbd = a | #2 cca = a | #1 ccb = b | #0 ccc = c | #3 ccd = d | #14 cda = b | #13 cdb = a | #12 cdc = d | #15 cdd = c |
#58 daa = a | #57 dab = b | #56 dac = c | #59 dad = d | #54 dba = b | #53 dbb = a | #52 dbc = d | #55 dbd = c | #50 dca = c | #49 dcb = d | #48 dcc = a | #51 dcd = b | #62 dda = d | #61 ddb = c | #60 ddc = b | #63 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 one 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.
§12B. Because conjugation can be viewed as merely a change of symbols, two conjugate TQGs might be regarded as essentially the same. Still, some operations yield larger equivalence classes than others. The table below details the case where C = 3, with 24 operations and 6 permutations. The operations are shown in full elsewhere.
Conjugacy for C = 3 | even permutations | odd permutations | |||||
---|---|---|---|---|---|---|---|
π_{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 | ||
A | 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 | |
B | 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 | |
C | 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 | |
D | 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 | |
E | 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 | |
F | 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 | |
G | 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 | |
H | 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 | |
I | 3:1 | 3:1 | 3:1 | 3:1 | 3:1 | 3:1 | 3:1 |
J | 3:2 | 3:2 | 3:2 | 3:2 | 3:2 | 3:2 | 3:2 |
K | 3:4 | 3:4 | 3:4 | 3:4 | 3:4 | 3:4 | 3:4 |
In the table:
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.
Here is another example. When C = 4, there are 28 fully associative TQGs, and they form seven equivalence classes under a conjugacy that uses all permutations:
A: | 4:0 | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
B: | 4:220 | ∼ | 4:784 | ∼ | 4:1632 | |||||||
C: | 4:16271 | ∼ | 4:38298 | ∼ | 4:54511 | |||||||
D: | 4:16443 | ∼ | 4:38852 | ∼ | 4:55295 | |||||||
E: | 4:139 | ∼ | 4:452 | ∼ | 4:626 | ∼ | 4:16352 | ∼ | 4:38456 | ∼ | 4:54669 | |
F: | 4:303 | ∼ | 4:942 | ∼ | 4:2187 | ∼ | 4:16140 | ∼ | 4:37907 | ∼ | 4:54353 | |
G: | 4:22241 | ∼ | 4:25256 | ∼ | 4:30039 | ∼ | 4:41470 | ∼ | 4:41474 | ∼ | 4:52629 |
§12C Isotopes. More general than conjugation is isotopy, which can use a different permutation for each input, and yet another for the output:
π_{0} (M (p, q, r)) = N (π_{1} (p), π_{2} (q), π_{3} (r))
The 24 operations of the table above coalesce into 4 equivalence classes under isotopy:
A-E | D-H-I | C-G-J | B-F-K |
---|---|---|---|
3:0 3:7 3:8 3:15 3:16 3:23 | 3:1 3:6 3:9 3:14 3:17 3:22 | 3:2 3:5 3:10 3:13 3:18 3:21 | 3:3 3:4 3:11 3:12 3:19 3:20 |
Under istopy, an operation's properties can change substantially, for instance:
The variation means that, for many purposes, two isotopes ought not be considered the "same as" each other.
As another example, here is a specific isotopy:
π_{0} (4:37725 (p, q, r)) = 4:10248 (π_{1} (p), π_{2} (q), π_{3} (r)) | |||
where: | |||
π_{0} (a) = b
π_{0} (b) = c π_{0} (c) = a π_{0} (d) = d | π_{1} (a) = c
π_{1} (b) = a π_{1} (c) = d π_{1} (d) = b | π_{2} (a) = d
π_{2} (b) = a π_{2} (c) = c π_{2} (d) = b | π_{3} (a) = d
π_{3} (b) = a π_{3} (c) = b π_{3} (d) = c |
If two operations are related by isotopy, there is often a huge number of possible combinations for the set of connecting permutations { π_{0}, π_{1}, π_{2}, π_{3} }. In the case of 4:37725 and 4:10248, that number is 13,824 = 55,296 ÷ 4.
§12D. Let S be a set of n-ary quasigroups over the elements {a, b, c …} as frequently encountered in this report. Then set S has at least one subset T such that:
If S has more than one distillate, one of them can be selected as the lexicographically minimal distillate ("LMD") with regard to operation numbers (section 11 above). Here is what that means: Suppose operations n:i and n:j are isotopes of each other. If subset T is the LMD of S, and if i < j, then n:j must not be a member of T.
n-ary | card. C | number of operations | LMD |
---|---|---|---|
binary | 1 | 1 | {1::0} |
2 | 2 | {2::0} | |
3 | 12 | {3::0 … 3::1} | |
4 | 576 | {4::0 … 4::23} | |
5 | 161,280 | {5::0 … 5::1343} | |
ternary | 1 | 1 | {1:0} |
2 | 2 | {2:0} | |
3 | 24 | {3:0 … 3:3} | |
4 | 55,296 | {4:0 … 4:2304} |
It is surprising and convenient that the LMDs of the quasigroups studied here happen to coincide with the lowest-numbered operations. Not yet established, however, is whether this observation applies to all values of n or C.
Page one contains sections 1 through 4.
Page two contains sections 5 through 10. This is page three, with sections 11 and 12. Page four contains sections 13 through 16. |