Two centuries ago, in his celebrated work Disquisitiones Arithmeticae of 1801, Gauss laid down the beautiful law of composition of integral binary quadratic forms which would play such a critical role in number theory in the decades to follow. Even today, two centuries later, this law of composition still remains one of the primary tools for understanding and computing with the class groups of quadratic orders. It is hence only natural to ask whether higher analogues of this composition law exist that could shed light on the structure of other algebraic number rings and fields. .
