加载中…
Let be a finite connected simple graph with at least two vertices. We construct a finite regular hypertope whose diagram is the graph with every edge labelled by , and for which . 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本