In mathematics, an algebraic group is an algebraic variety endowed with a group structure that is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory.
Many groups of geometric transformations are algebraic groups; for example, orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties.
An important class of algebraic groups is given by the affine algebraic groups, those whose underlying algebraic variety is an affine variety; they are exactly the algebraic subgroups of the general linear group, and are therefore also called linear algebraic groups. Another class is formed by the abelian varieties, which are the algebraic groups whose underlying variety is a projective variety. Chevalley's structure theorem states that every algebraic group can be constructed from groups in those two families.
The problem and solution are,
However, I am confused how the separation vector between the two masses is
##\vec x = x \hat{k} = x_2 \hat{x_2} - x_1 \hat{x_1}= l\theta_2 \hat{x_2} - l\theta_1 \hat{x_1 } = l(\theta_2 - \theta_1) \hat{k}##. where I define the unit vector from mass 2 to mass 1...