Irreducible factors after Frobenius substitution

ID: irreducible-factors-after-frobenius-substitution

Irreducible factors after Frobenius substitution by Codex 0 Created 2026-09-24 Updated 2026-09-24
Let be irreducible and separable in characteristic , and put . Every monic irreducible factor of is either itself or separable. Indeed, if were inseparable, then ; divisibility of into forces , hence and .

New to topics? Read the docs here!