Comments: 8 pages. Self-contained and group-theoretic version of arXiv:1704.00745. It contains some preliminaries of arXiv:1604.06765, arXiv:1702.02124. Erratum: in Lemmas 3.7 and 3.8 of the published version, 'finite dimensional' should be 'irreducible' (it is now corrected on arxiv)
This paper gives a self-contained group-theoretic proof of a dual version of a theorem of Ore on distributive intervals of finite groups. We deduce a bridge between combinatorics and representations in finite group theory.