### Current browse context:

math.GR

### Change to browse by:

### References & Citations

# Mathematics > Group Theory

# Title: On Boolean intervals of finite groups

(Submitted on 22 Apr 2016 (v1), last revised 10 Feb 2018 (this version, v7))

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 $\hat{\varphi}$. For any Boolean group-complemented interval, we observe that $\hat{\varphi} = \varphi \neq 0$ by the original Ore's theorem. We also discuss some applications in representation theory. We conjecture that $\hat{\varphi}$ 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 $\hat{P} = \hat{C}(H,G)$ is Cohen-Macaulay and the nontrivial reduced Betti number of the order complex $\Delta(P)$ is $\hat{\varphi}$, 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$.

## Submission history

From: Sebastien Palcoux Dr. [view email]**[v1]**Fri, 22 Apr 2016 18:11:37 GMT (86kb,D)

**[v2]**Mon, 23 May 2016 16:38:34 GMT (87kb,D)

**[v3]**Sun, 26 Jun 2016 09:58:10 GMT (87kb,D)

**[v4]**Thu, 7 Jul 2016 11:22:25 GMT (88kb,D)

**[v5]**Tue, 13 Sep 2016 03:44:46 GMT (88kb,D)

**[v6]**Sat, 19 Nov 2016 13:46:12 GMT (92kb,D)

**[v7]**Sat, 10 Feb 2018 12:11:18 GMT (20kb)

Link back to: arXiv, form interface, contact.