Quadratic Forms in Design Theory

摘要

This report describes the Grothendieck Group for rational congruence classes of positive definite integral matrices. The main result is an explicit diagonal matrix for each class of this Grothendieck Group. We give some applications in design theory.