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 manifestation of poetry in external life is formal perfection. True sentiment grows within, and art must represent internal phenomena externally.”
—Franz Grillparzer (1791–1872)
“Never is a historic deed already completed when it is done but always only when it is handed down to posterity. What we call “history” by no means represents the sum total of all significant deeds.... World history ... only comprises that tiny lighted sector which chanced to be placed in the spotlight by poetic or scholarly depictions.”
—Stefan Zweig (18811942)