OAI/Analysis/KadisonKastler/ExpectedFromRelativeBicentralizers.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Expected matrix subfactors from relative bicentralizer triviality

Faithful-state homogeneity and scalar bicentralizers for finite-matrix relative algebras give expected matrix subfactors on the original space.

  1. theorem OAI.KadisonKastler.expectedMatrixSubfactorModel_of_relative_bicentralizers line 25