📐 **Theorem 3.7.10 (Kummer Theory)**

Let **F** ⊇ **F**₀(ζₙ) and
let **E** be an extension of
**F**. Then **E** is a
Kummer field if and only if:
**E** is a Galois extension of **F**.
Gal(**E**/**F**) is abelian.
The exponent of Gal(**E**/**F**) divides n.

🔗 magicinternetmath.com
🏴‍☠️ Subscribe to the Pioneers Club
⚡ [email protected]
#math #bitcoin #education