# Ring of integers for $\mathbb{Q}(\sqrt{23},\sqrt{3})$

What is the ring of integers for $\mathbb{Q}(\sqrt{23},\sqrt{3})$?

So, these are numbers of the form $a+b\sqrt{3}+c\sqrt{23}+d\sqrt{69}$ where $a,b,c,d\in\mathbb{Q}$, and we want to find ones whose minimum polynomial is monic. But I'm not sure how to find the minimum polynomial for a number of this form. Are there any theorems/methods to help?

-
– Watson Jul 23 at 15:19

There are general algorithms to compute the integral basis of any number field. For example, see here.

That said, it's an exercise in most standard number theory courses to find integral bases for any biquadratic extension. There is an exercise (with hints) in Marcus's Number Fields which discusses this (it is exercise 42 on page 51)--you should do it.

It tells you, in his notation, that if we let $m=69$, $k=23$, and $n=3$, then your field has integral basis

$$\left\{1,\frac{1+\sqrt{69}}{2},\sqrt{3},\frac{\sqrt{23}+\sqrt{3}}{2}\right\}$$

Also, SAGE is your friend. It has the ability to compute the integral basis of any number field. For example, it spat out the following:

K.<a,b> = NumberField([x^2-23,x^22-3]);
K.integral_basis()
[1, 5/2*a - 11/2*b, -1/2*b*a + 13/2, 4*a - 9*b]

-
Thanks for your answer -- would you mind posting the hints, since I don't have that book? – JJ Beck Feb 14 '14 at 7:29
@JJBeck What have you tried? – Alex Youcis Feb 14 '14 at 9:40
As I wrote in the post, I would like to find the minimum polynomial for $a+b\sqrt{3}+c\sqrt{23}+d\sqrt{69}$, but don't know how to do it. – JJ Beck Feb 14 '14 at 14:36
$1$, $\sqrt{3}$, $\sqrt{23}$ and $\sqrt{69}$ certainly generate an order $\cal O$ in the ring of integers ${\cal O}_K$. You should compute its discriminant and have a guess of what $[{\cal O}_K:{\cal O}]$ could be. Then you move from there. – Andrea Mori Feb 14 '14 at 23:32

There is a useful standard-classical theorem about rings of integers in a compositum of two linearly disjoint field extensions, when the "differents" are relatively prime, and the base ring of integers is a PID, the ring of integers is the tensor product (which, by the linear disjointness, naturally injects to the compositum).

This must appear in many places, but/and it is easily available on-line in my notes http://www.math.umn.edu/~garrett/m/number_theory/Notes_2011-12.pdf on page 101 and following, illustrated starting p. 103 on cyclotomic fields.

Perhaps it is worth noting that the "natural", but naive" approach of looking for the monic satisfied by a linear combination of the obvious algebraic numbers and "solving" for the integrality conditions is not viable. For quadratic extensions, it's fine, obviously, and classically known. For most other scenarios, even if/when it is possible to do-the-thing more-or-less directly (as Adrian Albert did in some papers from the 1940s or so), it is not illuminating, nor persuasive. That is, we have learned that this sort of question is not best answered just from "the definitions".

-
+1 for mentioning the general viewpoint, and also for the link to your very nice notes on number theory. – Bill Dubuque Feb 15 '14 at 16:47
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/676046/ring-of-integers-for-mathbbq-sqrt23-sqrt3", "fetch_time": 1469701824000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2016-30/segments/1469257828010.65/warc/CC-MAIN-20160723071028-00091-ip-10-185-27-174.ec2.internal.warc.gz", "warc_record_offset": 151849764, "warc_record_length": 19065, "token_count": 908, "char_count": 3139, "score": 3.671875, "int_score": 4, "crawl": "CC-MAIN-2016-30", "snapshot_type": "latest", "language": "en", "language_score": 0.8830983638763428, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00028-of-00064.parquet"}