Go Back > Math Stuff > Abstract Algebra & Algebraic Number Theory

Thread Tools
Old 2018-05-11, 02:49   #1
carpetpool's Avatar
Nov 2016

2×3×53 Posts
Post Complexity of Finding a Principal Ideal

Question made simple.

Suppose we are given a number field (hence an algebraic number field), K, an Principal ideal P in K which is the product of two non-principal prime ideals Q and Q', (that is P = Q*Q'), and the norms the ideals Q, and Q' in the field of rational integers, which are correspondingly t and t' (norm of Q is t and norm of Q' is 't). Note that prime is bold, this means that both t and t' are prime. Lastly t and t' are not the same, therefore the corresponding ideals Q and Q' are not identical.

Suppose now, we are given exactly one of these ideals Q and the norm of Q which is t (we know what Q and t are, more importantly, t). How hard is it to find a corresponding ideal Q' with norm t' which is not identical to the ideal Q with norm t' such that P = Q*Q' is a principal ideal with norm t*t'? Also assume that the class number h of K is significantly large (say, h > 10000).

To better understand my question, consider the following problem. The imaginary quadratic field Q(i*sqrt(199)) has class number 9 (really this concept is applied to much larger number fields, with much larger class numbers). One finds that

Q = <i*sqrt(199)+862,3851> is a prime ideal with norm t = 3851, which is prime.

Now the goal is, to find a corresponding ideal Q' with prime norm t' (t' and t should be roughly about the same size) such that P = Q*Q' is a principal ideal. Obviously this is too easy, because of the relatively small class number, and degree of the field, but what about for significantly larger class number, and larger degree of the number field? Assuming dealing with larger number fields, what is the complexity of this problem?

Thanks for help
carpetpool is offline   Reply With Quote

Thread Tools

Similar Threads
Thread Thread Starter Forum Replies Last Post
Ideal groupings in number fields carpetpool Abstract Algebra & Algebraic Number Theory 3 2018-01-13 18:13
Marriage and Civil Partnerships: what is the ideal situation? Brian-E Soap Box 53 2013-02-19 16:31
Ideal climbing plant - mix michaf Hobbies 15 2008-03-28 02:48
Complexity of LLT T.Rex Math 9 2007-05-29 21:15
complexity of Pepin's test ixfd64 Math 14 2005-12-01 22:50

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

Sat Nov 28 17:52:50 UTC 2020 up 79 days, 15:03, 3 users, load averages: 1.08, 1.17, 1.30

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.