1: \begin{abstract}

2:   The goal of this paper is to give a category theory based definition

3:   and classification of ``finite subgroups in $\U$'' where

4:   $q=e^{\pi\i/l}$ is a root of unity. We propose a definition of such a

5:   subgroup in terms of the category of representations of $\U$; we

6:   show that this definition is a natural generalization of the notion

7:   of a subgroup in a reductive group, and that it is also related with

8:   extensions of the chiral (vertex operator) algebra corresponding to

9:   $\slthat$ at level $k=l-2$.  We show that ``finite subgroups in

10:   $\U$'' are classified by Dynkin diagrams of types $A_n, D_{2n}, E_6,

11:   E_8$ with Coxeter number equal to $l$, give a description of this

12:   correspondence similar to the classical McKay correspondence, and

13:   discuss relation with modular invariants in $(\slthat)_k$ conformal

14:   field theory.

15:   

16:   The results we get are parallel to those known in the theory of von

17:   Neumann subfactors, but our proofs are independent of

18:   this theory. 

19: 

20:   

21: 

22: \end{abstract}

23: