The Formal Context of Saturated Transfer Systems on Finite Abelian Groups

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$.