On Boolean intervals of finite groups

DOI10.1016/J.JCTA.2018.02.004zbMATH Open1441.05231arXiv1604.06765OpenAlexW2344477933MaRDI QIDQ1747762FDOQ1747762

Authors: Mamta Balodi, Sebastien Palcoux 

Publication date: 27 April 2018

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

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

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The coset poset and probabilistic zeta function of a finite group
• Title not available (Why is that?)
• THE EULERIAN FUNCTIONS OF A GROUP
• Some combinatorial and algebraic properties of Coxeter complexes and Tits buildings
• Homotopy properties of the poset of nontrivial p-subgroups of a group
• Title not available (Why is that?)
• Poset topology: tools and applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Order complexes of coset posets of finite groups are not contractible.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structures and group theory. II
• Ore's theorem on cyclic subfactor planar algebras and beyond
• Shelling the coset poset.
• Cubical convex ear decompositions

Cited In (7)

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

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)