Over a finite field `k`, if `ᾱ` is a root of the monic irreducible `φ` in an extension `k'`, then the multiplicity of `ᾱ` as a root of `G` equals the multiplicity of `φ` among the normalized factors o

Initializing...

Over a finite field `k`, if `ᾱ` is a root of the monic irreducible `φ` in an extension `k'`, then the multiplicity of `ᾱ` as a root of `G` equals the multiplicity of `φ` among the normalized factors o · Prove2Me