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 spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“To die proudly when it is no longer possible to live proudly. Death freely chosen, death at the right time, brightly and cheerfully accomplished amid children and witnesses: then a real farewell is still possible, as the one who is taking leave is still there; also a real estimate of what one has wished, drawing the sum of one’s life—all in opposition to the wretched and revolting comedy that Christianity has made of the hour of death.”
—Friedrich Nietzsche (1844–1900)