Kummer irreducibility criterion
= Kummer irreducibility criterion
{c}
Over a field containing the relevant roots of unity, $X^n-a$ is irreducible when the valuation data prevent $a$ from being a proper prime-divisor power, with the standard fourth-power exception.