A formal sum of elements of a given set B is an element of the free abelian group with basis B. In other words, given a set B, let G be the unique (up to isomorphism) free abelian group with basis B. For elements and (where there must be an such that for all ),
Read more about this topic: Free Abelian Group
Famous quotes containing the words formal and/or sum:
“The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“Looking foolish does the spirit good. The need not to look foolish is one of youth’s many burdens; as we get older we are exempted from more and more, and float upward in our heedlessness, singing Gratia Dei sum quod sum.”
—John Updike (b. 1932)