In mathematics, the rational points on the unit circle are those points such that both x and y are rational numbers and satisfy x2 + y2 = 1. The set of such points turns out to be closely related to primitive Pythagorean triples. Consider a primitive right triangle, that is, with integer side lengths a, b, c, with c the hypotenuse, such that the sides have no common factor larger than 1. Then on the unit circlethere exists the rational point, which, in the complex plane, is just a/c + ib/c, where i is the imaginary unit. Conversely, if is a rational point on the unit circle in the 1stquadrant of the coordinate system, then there exists a primitive right triangle with sides xc, yc, c, with c being the least common multiple of the denominators of x and y. There is a correspondence between points in the x-y plane and points a + ib in the complex plane which is used below.
Group operation
The set of rational points on the unit circle, shortened G in this article, forms an infinite abelian group under rotations. The identity element is the point = 1 + i0 = 1. The group operation, or "product" is * =. This product is angle addition since x = cos and y = sin, where A is the angle that the vector makes with the vector, measured counter-clockwise. So with and forming angles A and B with respectively, their product is just the rational point on the unit circle forming the angle A + B with. The group operation is expressed more easily with complex numbers: identifying the points and with x + iy and t + iu respectively, the group product above is just the ordinary complex number multiplication = xt − yu + i, which corresponds to the point as above.
Example
3/5 + 4/5i and 5/13 + 12/13i and ) are rational points on the unit circle in the complex plane, and thus are elements of G. Their group product is −33/65 + 56/65i, which corresponds to the Pythagorean triple. The sum of the squares of the numerators 33 and 56 is 1089 + 3136 = 4225, which is the square of the denominator 65.
Other ways to describe the group
The set of all 2×2 rotation matrices with rational entries coincides with G. This follows from the fact that the circle group is isomorphic to, and the fact that their rational points coincide.
Group structure
The structure of G is an infinite sum of cyclic groups. Let G2 denote the subgroup of G generated by the point. G2 is a cyclic subgroup of order 4. For a prime p of form 4k + 1, let Gp denote the subgroup of elements with denominator pn where n is a non-negative integer. Gp is an infinite cyclic group, and the point /p + i is a generator of Gp. Furthermore, by factoring the denominators of an element ofG, it can be shown that G is a direct sum of G2 and the Gp. That is: Since it is a direct sum rather than direct product, only finitely many of the values in the Gps are non-zero.
Example
Viewing G as an infinite direct sum, consider the element where the first coordinate 0 is in C4 and the other coordinates give the powers of /p + i2ab/p, where p is the rth prime number of form 4k + 1. Then this corresponds to, in G, the rational point 2 · 1 = −416/425 + i87/425. The denominator 425 is the product of the denominator 5 twice, and the denominator 17 once, and as in the previous example, the square of the numerator −416 plus the square of the numerator 87 is equal to the square of the denominator 425. It should also be noted, as a connection to help retain understanding, that the denominator 5 = p is the 1st prime of form 4k + 1, and the denominator 17 = p is the 3rd prime of form 4k + 1.
There is a close connection between this group on the unit hyperbola and the group discussed above. If is a rational point on the unit circle, where a/c and b/c are reduced fractions, then is a rational point on the unit hyperbola, since satisfying the equation for the unit hyperbola. The group operation here is and the group identity is the same point as above. In this group there is a close connection with the hyperbolic cosine and hyperbolic sine, which parallels the connection with cosine and sine in the unit circle group above.
Copies inside a larger group
There are isomorphic copies of both groups, as subgroups of the group of the rational points on the abelian variety in four-dimensional space given by the equation Note that this variety is the set of points with Minkowski metric relative to the origin equal to 0. The identity in this larger group is, and the group operation is For the group on the unit circle, the appropriate subgroup is the subgroup of points of the form, with and its identity element is. The unit hyperbola group corresponds to points of form, with and the identity is again.
