dleijnse

feat(FieldTheory): X^n - t separable iff n nonzero

2

In a field `F`, for `t : F` and `n > 0`, we prove that the polynomial `X ^ n - t` is separable if and only if `n` is...

feat(FieldTheory): adjoin pth roots

3

For a field `k` of exponential characteristic `p` and a subset `S` of `k`, we define the extension of `k` obtained by adjoining all `p`-th roots of elements of `S`....