commit d5266a09e125ac3a0c9c39063d21cc93747c811f parent 9b38da7e182f6ca23b371927ce98367301d7950b Author: Sebastiano Tronto <sebastiano.tronto@gmail.com> Date: Fri, 20 Sep 2019 10:25:49 +0200 New documentation Diffstat:
| M | README.md | | | 8 | ++++++++ |
1 file changed, 8 insertions(+), 0 deletions(-)
diff --git 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 )