The Mordell-Weil Group is the group of rational points on an abelian variety over a number field, which is finitely generated according to the Mordell-Weil theorem. This fundamental result in arithmetic geometry establishes that such groups have a structure that can be decomposed into a finite torsion subgroup and a free abelian group of finite rank.