mersenneforum.org  

Go Back   mersenneforum.org > Math Stuff > Abstract Algebra & Algebraic Number Theory

Reply
 
Thread Tools
Old 2018-12-24, 08:37   #1
carpetpool
 
carpetpool's Avatar
 
"Sam"
Nov 2016

52×13 Posts
Post Norm equation of field

In any algebraic number field K, let e be an arbitrary element of K and N(e) is the norm of the element e in the field K.

(I): It is well known that there exists an integer m such that for all primes p (which completely split in field K), there is an element e in K such that

N(e) = m*p is solvable.

Thus, there exists a "smallest" m such that this is true. In the rest of these results, m is the smallest such number.

(II): For example, in the field K=Q(sqrt(-23)), K has class number 3 and its elements e are of the form a*r+b where r^2+r+6=0.

N(a*r+b) = a^2 + a*b + 6*b^2 = p is not solvable for all primes p (which are not inert in K). However, N(a*r+b) = a^2 + a*b + 6*b^2 = 6*p is (non trivially) solvable for all primes p not inert in K, or if p is a quadratic residue mod 23, thus 6 is the "smallest" m as suggested in (I).

(III): I decided to repeat example (II) using the base field K=Q(sqrt(-p)); for all odd primes p = 3 mod 4 and p > 23 and the elements of the form e = (a*r+b) where r^2+r+((p+1)/4)=0.

Here are the results:

p = 31, m = 10
p = 43, m = 1
p = 47, m = 24
p = 59, m = 15
p = 67, m = 1
p = 71, m = 24
p = 79, m = 40
p = 83, m = 21
p = 103, m = 56
p = 127, m = 88

It is obvious that when m = 1, N(e) = 1*p = p is solvable for all p, indicating that K has class number 1.

(IV): I also attempted to compute "m" for some cyclotomic fields (the field of n-th roots of unity), K= Q(e^((2*pi*i)/n)) for prime n.

K= Q(e^((2*pi*i)/n)) for n = 2, 3, 5, 7, 11, 13, 17, 19
m = 1 because K has class number one and N(e)=m*p is solvable for all primes p = 1 mod n.

K= Q(e^((2*pi*i)/23))
m = 47^2, as N(e)=m*p is solvable for all primes p = 1 mod 23.

K= Q(e^((2*pi*i)/29))
m = 59^2, as N(e)=m*p is solvable for all primes p = 1 mod 29.

K= Q(e^((2*pi*i)/31))
m = 2^10, as N(e)=m*p is solvable for all primes p = 1 mod 31.

K= Q(e^((2*pi*i)/37))
m = 149*223, as N(e)=m*p is solvable for all primes p = 1 mod 37.

K= Q(e^((2*pi*i)/41))
m = 83^2*739, as N(e)=m*p is solvable for all primes p = 1 mod 41.

K= Q(e^((2*pi*i)/43))
m = 173^2*431, as N(e)=m*p is solvable for all primes p = 1 mod 43.

K= Q(e^((2*pi*i)/47))
m = 283^2*659, as N(e)=m*p is solvable for all primes p = 1 mod 47.

And that's as far as I've gotten. Is there a general method or program to find a smallest m, given the information and criteria in (I)? Also, any verification of results I found would be useful too. Thanks for help.

Last fiddled with by carpetpool on 2018-12-24 at 08:39
carpetpool is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
[Help] understanding about finding norm in non monic polynomials canny Abstract Algebra & Algebraic Number Theory 1 2018-05-22 07:17
norm vs size chris2be8 Msieve 1 2015-09-13 02:24
NFS: Sieving the norm over ideals vs. integers paul0 Factoring 2 2015-01-19 11:52
GCD of Polynomials over a finite field for NFS paul0 Programming 6 2015-01-16 15:12
NFS and smooth norm MOD N ? bonju Factoring 9 2005-08-26 13:29

All times are UTC. The time now is 17:34.


Fri Oct 22 17:34:55 UTC 2021 up 91 days, 12:03, 0 users, load averages: 1.16, 1.41, 1.44

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.