In abstract algebra, a free abelian group is an abelian group that has a "basis" in the sense that every element of the group can be written in one and only one way as a finite linear combination of elements of the basis, with integer coefficients. Hence, free abelian groups over a basis B are also known as formal sums over B. Informally, free abelian groups or formal sums may also be seen as signed multisets with elements in B.
Free abelian groups have very nice properties which make them similar to vector spaces and allow a general abelian group to be understood as a quotient of a free abelian group by "relations". Every free abelian group has a rank defined as the cardinality of a basis. The rank determines the group up to isomorphism, and the elements of such a group can be written as finite formal sums of the basis elements. Every subgroup of a free abelian group is itself free abelian, which is important for the description of a general abelian group as a cokernel of a homomorphism between free abelian groups.
Read more about Free Abelian Group: Example, Terminology, Properties, Rank, Formal Sum, Subgroup Closure
Famous quotes containing the words free and/or group:
“The current flows fast and furious. It issues in a spate of words from the loudspeakers and the politicians. Every day they tell us that we are a free people fighting to defend freedom. That is the current that has whirled the young airman up into the sky and keeps him circulating there among the clouds. Down here, with a roof to cover us and a gasmask handy, it is our business to puncture gasbags and discover the seeds of truth.”
—Virginia Woolf (1882–1941)
“We often overestimate the influence of a peer group on our teenager. While the peer group is most influential in matters of taste and preference, we parents are most influential in more abiding matters of standards, beliefs, and values.”
—David Elkind (20th century)