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)
“The real risks for any artist are taken ... in pushing the work to the limits of what is possible, in the attempt to increase the sum of what it is possible to think. Books become good when they go to this edge and risk falling over it—when they endanger the artist by reason of what he has, or has not, artistically dared.”
—Salman Rushdie (b. 1947)