Hilbert C*-module
Hilbert C*-modules are mathematical objects which generalise the notion of a Hilbert space (which itself is a generalisation of Euclidean space), in that they endow a linear space with an "inner product" which takes values in a C*-algebra. Hilbert C*-modules were first introduced in the work of Irving Kaplansky in 1953, which developed the theory for commutative, unital algebras (though Kaplansky observed that the assumption of a unit element was not "vital"). In the 1970s the theory was extended to non-commutative C*-algebras independently by William Lindall Paschke and Marc Rieffel, the latter in a paper which used Hilbert C*-modules to construct a theory of induced representations of C*-algebras. Hilbert C*-modules are crucial to Kasparov's formulation of KK-theory, and provide the right framework to extend the notion of Morita equivalence to C*-algebras. They can be viewed as the generalization of vector bundles to noncommutative C*-algebras and as such play an important role in noncommutative geometry, notably in C*-algebraic quantum group theory, and groupoid C*-algebras.
Hilbert series and Hilbert polynomial
The ring formula_51 has Krull dimension one, and is the ring of regular functions of a projective algebraic set formula_52 of dimension 0 consisting of a finite number of points, which may be multiple points. As formula_53 belongs to a regular sequence, none of these points belong to the hyperplane of equation formula_54 The complement of this hyperplane is an affine space that contains formula_55 This makes formula_52 an affine algebraic set, which has formula_57 as its ring of regular functions. The linear polynomial formula_58 is not a zero divisor in formula_59 and one has thus an exact sequence
which implies that 
Here we are using Hilbert series of filtered algebras, and the fact that the Hilbert series of a graded algebra is also its Hilbert series as filtered algebra.