 Kummer irreducibility criterion

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.