Some Extension to Group Theory and Algebraic Number Theory
In this post, I will talk about the connection between continued fraction expansion of sqrt(d) (where d is a non-square positive integer) and the group of units in the ring of integers of a quadratic number field, namely Q ( sqrt(d) ) , which consists of elements of the form a+b*sqrt(d) , where a and b are rationals. There is a few special elements in the field Q ( sqrt(d) ) , the first one is the integral element , which is a root of a monic polynomial with integer coefficients. Note that a monic polynomial is a polynomial whose highest term has a coefficient of 1 . For example, consider x = 2 - sqrt(5) in Q ( sqrt(5) ) , and we can find the monic quadratic polynomial that x is a root of: x - 2 = sqrt(5) (x − 2) 2 = 5 x 2 − 4x − 1 = 0 Since x 2 − 4 x − 1 is a monic polynomial, and x is one of its roots, we conclude that x is an integral element of Q ( sqrt(5) ) . Secondly, the ring of integers is the ring of all integral elements contained in Q ( sqrt(d) ) , an