Dedekind's group matrix has rank at least $|G| - 1$ when all nontrivial character sums are nonzero

Initializing...

Dedekind's group matrix has rank at least $|G| - 1$ when all nontrivial character sums are nonzero · Prove2Me