ABSTRACT

For each i e / = {1,..., m} let (&)* = Rtgi with Z < Ri < Q; r{ = typeG(ffi) the type of R^. Then 7 = (gi,... ,gm) is called a -B^-base (in short, a base) for G, and (TI, . . . , rm) a type-base for G.