Kummer theory — mathematical theory describing field extensions involving the adjunction of nth roots