A twisted class number formula and Gross's special units over an imaginary quadratic field
Let be a finite abelian extension of number fields with imaginary quadratic. Let be the ring of integers of and a rational integer. We construct a submodule in the higher odd-degree algebraic -groups of using corresponding Gross’s special elements. We show that this submodule is of finite index and prove that this index can be computed using the higher “twisted” class number of , which is the cardinal of the finite algebraic -group .