Quadratic algebra of square groups

Square groups are quadratic analogues of abelian groups. Many properties of abelian groups are shown to hold for square groups. In particular, there is a symmetric monoidal tensor product of square groups generalizing the classical tensor product.