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:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“Without doubt God is the universal moving force, but each being is moved according to the nature that God has given it.... He directs angels, man, animals, brute matter, in sum all created things, but each according to its nature, and man having been created free, he is freely led. This rule is truly the eternal law and in it we must believe.”
—Joseph De Maistre (1753–1821)