Gauss Genus Theory in Characteristic 2
We extend Gauss composition and Gauss genus theory over $\mathbf{Z}$ to $\mathbb{F}_{2^n}[T]$, a polynomial ring over a finite field $\mathbb{F}_{2^n}$ of characteristic 2. We find new invariants of binary quadratic forms over $\mathbb{F}_{2^n}[T]$ by using Arf invariant and introduce new definitions of proper equivale...