From d5266a09e125ac3a0c9c39063d21cc93747c811f Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 20 Sep 2019 10:25:49 +0200 Subject: New documentation --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index dd479ec..f575151 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,14 @@ A SageMath script that computes the degrees of Kummer Extensions of the rational numbers. +A Kummer Extension of Q is a field extension of the form Q_{M,N}:= +Q(\zeta_M,G^{1/N}), where: +* M and N are integers with N dividing M; +* \zeta_M is a root of unity of order M; +* G is a finitely generated subgroup of the multiplicative group of Q; +* G^{1/N} is the set of all elements x of an algebraic closure of Q such that +x^n belongs to G. + It contains the following useful functions: ## TotalKummerFailure( G ) -- cgit v1.3