Group of rational points on the unit circle
In mathematics, the rational points on the unit circle are those points (x, y) such that both x and y are rational numbers ("fractions") 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 circle there exists the rational point (a/c, b/c), which, in the complex plane, is just a/c + ib/c, where i is the imaginary unit. Conversely, if (x, y) is a rational point on the unit circle in the 1st quadrant of the coordinate system (i.e. x > 0, y > 0), 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 (a, b) in the x-y plane and points a + ib in the complex plane which is used below. (Wikipedia).
