Seal (discrete mathematics)/stuff

Sequences and triangles
Each seal can be seen as a set of binary numbers. (Compare .)  shows these numbers ordered by size: The index numbers of this sequence are used to denote the seals - e.g. in the Hasse diagrams shown below.
 * 1, (1 until here for Z20)
 * 3, (2 until here for Z21)
 * 5, 9, 15,  (5 until here for Z22)
 * 17, 33, 51, 65, 85, 105, 129, 153, 165, 195, 255, (16 until here for Z23)
 * 257, 513, 771, 1025, 1285, 1545, 2049, 2313, 2565, 3075, 3855, 4097, 4369, 4641, 5185, 6273, 8193, 8481, 8721, 9345, 10305, 12291, 13107, 15555, 16385, 16705, 17025, 17425, 18465, 20485, 21845, 23205, 24585, 26265, 26985, 32769, 33153, 33345, 33825, 34833, 36873, 38505, 39321, 40965, 42405, 43605, 49155, 50115, 52275, 61455, 65535, (67 until here for Z24)
 * 65537, ... (continues 374, 2825, 29212...)

Each equivalence class has a weight partition, denoted by an index number of. (Compare this triangle.)

Usually seals (or sona-secs) are denoted by the unique odd number in the sec, but they could just as well be denoted by the smallest number in the sec (i.e. as a value of ). In  these smallest numbers are shown - not ordered by size.

Similarly  denotes each seal clan by the smallest number in the clan (i.e. as a value of ). This sequence is ordered by size:
 * 1, (1 until here for Z20)
 * 3, (2 until here for Z21)
 * 6, 15, (4 until here for Z22)
 * 24, 60, 105, 255, (8 until here for Z23)
 * 384, 960, 1632, 1680, 4080, 15555, 27030, 65535, (16 until here for Z24)
 * 98304, ... (continues 32, 68, 148...)

The rows of the triangle  are permutations that assign complementary seal clans to each other - using their index numbers in. The complements are also shown here for arities up to 7.

 shows the number of runs of ones in the binary string of each entry of the Wolka sequence. The triangle  shows that all numbers in $$\{1,...,2^{n-1}\}$$ appear as numbers of runs of ones of n-ary seals, and that the numbers greater than $$2^{n-2}$$ appear exactly twice. E.g. the numbers of runs of ones of 4-ary seals range from 1 to 8, and those greater 4 appear exactly twice. (The two 4-ary seals with 8 runs of ones are 46 and 61 - compare .)

Z22

 * Klein four-group

Z24
The number of elements by rank in the lattice is 1, 15, 35, 15, 1. This is row 4 in the triangle of 2-binomial coefficients.

Each subgroup of Z24 corresponds to a 4-ary Boolean function, and thus could be represented by a binarily colored tesseract. One may ask, whether two such tesseracts are essentially the same or not, i.e. if one can be turned into the other by any rotation of the tesseract. But the answer is less easy than for the 3-dimensional case.

All binarily colored tesseracts that can be turned into each other form a big equivalence class. The files linked in the following table list the corresponding 4-ary Boolean functions in the big equivalence classes.

(The table is organized upside down, so the rows are arranged like the layers in an Hasse diagram.)

There are 16 of 402 equivalence classes. Their number by rank in the lattice is 1, 4, 6, 4, 1. This is row 4 in .



Z25
Z25 has 1 + 31 + 155 + 155 + 31 + 1  =   374 subgroups of order 1, 2, 4, 8, 16, 32.

The number of equivalence classes is 32.

Equivalence classes belonging together as counterparts:

Z26

 * This text refers to the table of all 2825 subgroups: Subgroups of Z2^6    (very large)

Z26 has 1 + 63 + 651 + 1395 + 651 + 63 + 1  =   2825 subgroups of order  1, 2, 4, 8, 16, 32, 64.

These are the (6) = 68 equivalence classes:

(m,n) with 0≤m≤6 and 1≤n≤(6,m) The table entries show the number of subgroups in the equivalence class (m,n).

In the big table it can be seen that the binary string's Walsh spectra share the pattern of another binary string. So each seal has a counterpart with the index number shown in column ♭. These pairs of counterpart seals belong to pairs of counterpart equivalence classes. 10 equivalence classes N(3,k) are their own counterparts. In one of them - N(3,17) - even the seals themselves are their own counterparts.

Each equivalence class has a weight partition, but some have the same. Weight partition 6506 is the first one that does not identify an equivalence class. It belongs both to N(3,15) and N(3,17).