Construction For An Arbitrary Family of Modules
One should notice a clear similarity between the definitions of the direct sum of two vector spaces and of two abelian groups. In fact, each is a special case of the construction of the direct sum of two modules. Additionally, by modifying the definition one can accommodate the direct sum of an infinite family of modules. The precise definition is as follows (Bourbaki 1989, §II.1.6).
Let R be a ring, and {Mi : i ∈ I} a family of left R-modules indexed by the set I. The direct sum of {Mi} is then defined to be the set of all sequences where and for cofinitely many indices i. (The direct product is analogous but the indices do not need to cofinitely vanish.)
It can also be defined as functions α from I to the disjoint union of the modules Mi such that α(i) ∈ Mi for all i ∈ I and α(i) = 0 for cofinitely many indices i. These functions can equivalently be regarded as finitely supported sections of the fiber bundle over the index set I, with the fiber over being .
This set inherits the module structure via component-wise addition and scalar multiplication. Explicitly, two such sequences (or functions) α and β can be added by writing for all i (note that this is again zero for all but finitely many indices), and such a function can be multiplied with an element r from R by defining for all i. In this way, the direct sum becomes a left R-module, and it is denoted
It is customary to write the sequence as a sum . Sometimes a primed summation is used to indicate that cofinitely many of the terms are zero.
Read more about this topic: Direct Sum Of Modules
Famous quotes containing the words construction, arbitrary and/or family:
“There is, I think, no point in the philosophy of progressive education which is sounder than its emphasis upon the importance of the participation of the learner in the formation of the purposes which direct his activities in the learning process, just as there is no defect in traditional education greater than its failure to secure the active cooperation of the pupil in construction of the purposes involved in his studying.”
—John Dewey (1859–1952)
“If you should rise from Nowhere up to Somewhere,
From being No one up to being Someone,
Be sure to keep repeating to yourself
You owe it to an arbitrary god....”
—Robert Frost (1874–1963)
“In the years of the Roman Republic, before the Christian era, Roman education was meant to produce those character traits that would make the ideal family man. Children were taught primarily to be good to their families. To revere gods, one’s parents, and the laws of the state were the primary lessons for Roman boys. Cicero described the goal of their child rearing as “self- control, combined with dutiful affection to parents, and kindliness to kindred.””
—C. John Sommerville (20th century)