Formal Concept Analysis and Homotopical Combinatorics
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913979662598144 |
|---|---|
| author | Balchin, Scott Spitz, Ben |
| author_facet | Balchin, Scott Spitz, Ben |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_14068 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Formal Concept Analysis and Homotopical Combinatorics Balchin, Scott Spitz, Ben Combinatorics Algebraic Topology 06-08, 55P91, 18M60, 06B05 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. |
| title | Formal Concept Analysis and Homotopical Combinatorics |
| topic | Combinatorics Algebraic Topology 06-08, 55P91, 18M60, 06B05 |
| url | https://arxiv.org/abs/2507.14068 |