If formula_16 is a representation of formula_2, we define a weight of "V" to be an element formula_15 in formula_9 with the property that for some nonzero "v" in "V", we have formula_104 for all "H" in formula_9.