Hall Polynomials
Ian G. MacDonald · 1995
Abstract Let o be a (commutative) discrete valuation ring, p its maximal ideal, k — o/p the residue field. Later we shall require k to be a finite field, but for the present this restriction is unnecessary. We shall be concerned with finite o-modules M, that is to say, modules M which possess a finite composition series, or equivalently finitely-generated o-modules M such that p’M=Q for some r>0. If k is finite, the finite o-modules are precisely those which have a finite number of elements.