arXiv++ Combinatorics

We describe the reduced formal context of the lattice of saturated transfer systems on a finite abelian group. As an application, we compute that there are 13,784,538,270,571 saturated transfer systems on the elementary abelian group $C_5^3$.

Formal Concept Analysis makes the fundamental observation that any finite lattice $(L, \leq)$ is determined up to isomorphism by the restriction of the relation ${\leq} \subseteq L \times L$ to the set $J(L) \times M(L)$, where $J(L)$ is the set of join-irreducible elements of $L$ and $M(L)$ is the set of meet-irreducible elements of $L$. For any finite lattice $L$ equipped with the action of a finite group $G$, we explicitly describe this restricted relation for the lattice of transfer systems $\mathsf{Tr}(L)$ in terms of $L$ only. We apply this to give new computations of the number of transfer systems for certain finite groups, and to produce bounds on the number of transfer systems on certain families of abelian finite groups. We also provide computer code to enable other researchers' use of these techniques.