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 formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“They are but beggars that can count their worth,
But my true love is grown to such excess
I cannot sum up sum of half my wealth.”
—William Shakespeare (1564–1616)