₁ factors, their bimodules and hypergroups

In this paper, we introduce a notion that we call a hypergroup; this notion captures the natural algebraic structure possessed by the set of equiva- lence classes of irreducible bifinite bimodules over a II i factor. After develop- ing some basic facts concerning bimodules over II i factors, we discuss abstract hypergroups. To make contact with the problem of what numbers can arise as index-values of subfactors of a given II ! factor with trivial relative commutant, we define the notion of a dimension function on a hypergroup, and prove that every finite hypergroup admits a unique dimension function, we then give some nontrivial examples of hypergroups, some of which are related to the Jones sub- factors of index 4 cos2 n/(2n + 1). In the last section, we study the hypergroup invariant corresponding to a bifinite module, which is used, among other things, to obtain a transparent proof of a strengthened version of what Ocneanu terms 'the crossed-product remembering the group.'