mersenneforum.org  

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

Reply
 
Thread Tools
Old 2018-01-04, 21:54   #1
carpetpool
 
carpetpool's Avatar
 
"Sam"
Nov 2016

13·23 Posts
Post Ring of integers in an unknown field

Let K be a number field K = Q(w) where w is the root of some irreducible monic polynomial (refer to this whenever polynomial is mentioned throughout this post), and Ok its ring of integers. If e is an algebraic integer (or an element) in K, let N(e) be the norm function of any element in K.

For instance, in the ring Gaussian integers, we have elements e = a*i+b where i^2 = 1. The norm function is given by N(a*w+b) = a^2 + b^2, the corresponding number field is Q(i) and i the root of the polynomial x^2+1.

For Eisenstein integers, w is a root of x^2+x+1, and elements e = a*w+b. The norm function N(e) = a^2 - a*b + b^2.

This process is uneasy to go backwards for quadratic fields, for example say we have elements e of the form e = a*f+b, e has norm function N(e) = a^2 + 2*b^2, and f is a root of an unknown polynomial. Find the polynomial f is a root of.
In this case, all we would do is construct a polynomial using the norm function a^2 + 2*b^2, by setting b = 1 (as an example). We have the polynomial a-->x, x^2+2, showing that f must be a root of this polynomial.

Now suppose we are given a cubic number field. For instance let r be a root of x^3+2, and the number field K = Q(r). Then each element e in Ok = a*r^2+b*r+c, and e has norm function N(a*r^2+b*r+c) = 4*a^3 - 2*b^3 + c^3 + 6*a*b*c.

If we were only given the norm function N(a*r^2+b*r+c) = 4*a^3 - 2*b^3 + c^3 + 6*a*b*c, given r is the root of some polynomial, and asked to find the field K that is defined by this polynomial, would this be a hard task? Since we already know that r is a root of x^3+2, try this example:

r is a root of an unknown cubic polynomial, hence the field Q(r) is unknown.
Elements e are of the form a*r^2+b*r+c.
The norm function of an element is N(a*r^2+b*r+c) = a^3 + b^3 + c^3 + 3*a^2*c^2 + 4*a*b*c
Find the associated field K such that each element e is an algebraic integer in K.
carpetpool is offline   Reply With Quote
Old 2018-01-05, 09:30   #2
Nick
 
Nick's Avatar
 
Dec 2012
The Netherlands

24·89 Posts
Default

Finding rings of integers is in general a tricky problem. For example, \(\mathbb{Z}[\sqrt{-3}]\) is not the ring of integers of \(\mathbb{Q}(\sqrt{-3})\).

Perhaps the best way forwards with your question is this.
Let \(K=\mathbb{Q}(w)\) be a number field and \(c\in K\).
Then K is a finite-dimensional vector space over \(\mathbb{Q}\) and the function \(T:K\rightarrow K\) given by \(T(x)=cx\) is linear.
So, by choosing a basis for K over \(\mathbb{Q}\), you can represent T as a matrix, and the norm of c (with respect to K over \(\mathbb{Q}\)) is the determinant of that matrix.

Last fiddled with by Nick on 2018-01-05 at 10:34 Reason: Fixed typo
Nick is online now   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Ring Square Roots in NFS paul0 Computer Science & Computational Number Theory 4 2015-01-09 14:57
Unknown Intel fidelitas Information & Answers 4 2014-08-20 18:36
Identifying ring inscription Flatlander Lounge 19 2013-09-24 05:27
2/3 Powers being viewed over the Ring Z/(10^n)Z Raman Math 4 2012-02-20 07:30
Ring Cardinal? JohnFullspeed Programming 7 2011-05-27 07:09

All times are UTC. The time now is 11:50.

Mon Aug 10 11:50:55 UTC 2020 up 24 days, 7:37, 3 users, load averages: 2.17, 1.95, 1.68

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, 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.