Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
We construct a finite regular hypertope whose diagram is a given connected simple graph $\mathcal{G}$ with all edges labeled 4, and whose correlation group is isomorphic to the automorphism group of $\mathcal{G}$. This construction establishes that any finite group of diagram symmetries can be realized by the correlations of a hypertope. The underlying group generation relies on involutions with nilpotency class two and exponent four, with commutator relations derived from the graph structure.
Any graph's automorphism group can be precisely realized as the symmetry group of a regular hypertope.
Let $\mathcal{G}$ be a finite connected simple graph with at least two vertices. We construct a finite regular hypertope $Γ$ whose diagram is the graph $\mathcal{G}$ with every edge labelled by $4$, and for which $Cor(Γ)/Aut(Γ) \cong Aut(\mathcal{G})$. This shows that any possible group of diagram symmetries can be realized by the correlations of a hypertope. The construction uses a group generated by involutions, with nilpotency class two, exponent four and commutator relations dictated by the defining graph.