Title: Ore's theorem on subfactor planar algebras,
Abstract: This paper proves that an irreducible subfactor planar algebra with a
distributive biprojection lattice admits a minimal 2-box projection generating
the identity biprojection. It is a generalization of a theorem of Ore on
intervals of finite groups, conjectured by the author since 2013. We deduce a
link between combinatorics and representations in finite groups theory, related
to an open problem of K.S. Brown in algebraic combinatorics.