Quantum Galois correspondence for subfactors

Ocneanu has obtained a certain type of quantized Galois correspondence for the Jones subfactors of type A, and his arguments are quite general. By making use of them in a more general context, we define a notion of a subequivalent paragroup and establish a bijective correspondence between generalized intermediate subfactors in the sense of Ocneanu and subequivalent paragroups for a given strongly amenable subfactors of type II, in the sense of Pops, by encoding the subequivalence in terms of a commuting square. For this encoding, we generalize Sate's construction of equivalent subfactors of finite depth from a single commuting square, to strongly amenable subfactors. We also explain a relation between our notion of subequivalent paragroups and sublattices of a Popa system, using open string bimodules. (C) 1999 Academic Press.