kummer-degrees

Compute the degree of Kummer extensions
git clone https://git.tronto.net/kummer-degrees
Download | Log | Files | Refs | README | LICENSE

commit ede2bfaf99d73cdaa6dc31fef8a400155b310cc4
parent 92219da8d71978dba52eacd8608351e735bb94ac
Author: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date:   Fri, 20 Sep 2019 11:59:47 +0200

New documentation

Diffstat:
MREADME.md | 5+++--
1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md @@ -86,8 +86,9 @@ the group G. In case -1 is not an element of G, there is only one table, otherwise two. In case -1 does not belong to G: -The rows of the table(s) are labelled with divisors of N_0, while the columns -with divisors of M_0. The total failure of maximality of the Kummer Extension +The rows of the table are labelled with the divisors of N_0, while the +columns with the divisors of M_0. The total failure of maximality of the +Kummer Extension Q_{M,N}, i.e. the ratio between phi(M)*N^rank(G) and the degree of Q_{M,N} over Q, is given by the (i,j)-th entry of the table for i=gcd(N,N_0) and j=gcd(M,M_0).