On Boolean intervals of finite groups

DOI10.1016/J.JCTA.2018.02.004MaRDI QIDQ1747762zbMATHOpenAlexFDO

Authors Mamta Balodi, Sebastien Palcoux

Publication date 27 April 2018

Published in Journal of Combinatorial Theory. Series A (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1604.06765

zbMATH Keywords

latticeCohen-Macaulaygroup representationBooleancoset posetEL-labelingEuler totient

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Combinatorics of partially ordered sets (06A07) Cohen-Macaulay modules (13C14)

Abstract: We prove a dual version of {O}ystein Ore's theorem on distributive intervals in the subgroup lattice of finite groups, having a nonzero dual Euler totient $hatvarphi$. For any Boolean group-complemented interval, we observe that $hatvarphi=varphieq0$ by the original Ore's theorem. We also discuss some applications in representation theory. We conjecture that $hatvarphi$ is always nonzero for Boolean intervals. In order to investigate it, we prove that for any Boolean group-complemented interval $[H,G]$, the graded coset poset $hatP=hatC(H,G)$ is Cohen-Macaulay and the nontrivial reduced Betti number of the order complex $Delta(P)$ is $hatvarphi$, so nonzero. We deduce that these results are true beyond the group-complemented case with $|G:H|<32$. One observes that they are also true when $H$ is a Borel subgroup of $G$.

Recommendations

• Dual Ore's theorem on distributive intervals of finite groups
• scientific article; zbMATH DE number 923853
• Boolean lattices in finite alternating and symmetric groups
• Topology of order complexes of intervals in subgroup lattices.
• Integral Sets and the Center of a Finite Group

Cites work

• scientific article; zbMATH DE number 1713119 (Why is no real title available?)
• scientific article; zbMATH DE number 6016068 (Why is no real title available?)
• scientific article; zbMATH DE number 3771666 (Why is no real title available?)
• scientific article; zbMATH DE number 3525988 (Why is no real title available?)
• scientific article; zbMATH DE number 3552764 (Why is no real title available?)
• scientific article; zbMATH DE number 1346448 (Why is no real title available?)
• scientific article; zbMATH DE number 195193 (Why is no real title available?)
• scientific article; zbMATH DE number 862502 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• scientific article; zbMATH DE number 3061621 (Why is no real title available?)
• Cubical convex ear decompositions
• Homotopy properties of the poset of nontrivial p-subgroups of a group
• Order complexes of coset posets of finite groups are not contractible.
• Ore's theorem on cyclic subfactor planar algebras and beyond
• Poset topology: tools and applications
• Shelling the coset poset.
• Some combinatorial and algebraic properties of Coxeter complexes and Tits buildings
• Structures and group theory. II
• THE EULERIAN FUNCTIONS OF A GROUP
• The coset poset and probabilistic zeta function of a finite group

Cited in

(7)

• Combinatorial properties of intervals in finite solvable groups
• Boolean lattices in finite alternating and symmetric groups
• On the size of Boolean combinations of subgroups of finite Abelian groups
• Euler totient of subfactor planar algebras
• Ore's theorem on subfactor planar algebras
• On the convergence and periods in Boolean group algebras
• Dual Ore's theorem on distributive intervals of finite groups

Describes a project that uses

Uses Software

• GAP
• SageMath

This page was built for publication: On Boolean intervals of finite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1747762)