An internal direct sum is simply a direct sum of subobjects of an object.
For example, the real vector space R2 = {(x, y) : x, y ∈ R} is the direct sum of the x-axis {(x, 0) : x ∈ R} and the y-axis {(0, y) : y ∈ R}, and the sum of (x, 0) and (0, y) is the "internal" sum in the vector space R2; thus, this is an internal direct sum. More generally, given a vector space V and two subspaces U and W, V is the (internal) direct sum U ⊕ W if
- U + W = {u + w : u ∈ U, w ∈ W} = V, and
- if u + w = 0 with u ∈ U and w ∈ W, then u = w = 0.
In other words, every element of V can be written uniquely as the sum of an element in U with an element of W
Another case is that of abelian groups. For example, the Klein four-group V = {e, a, b, ab} is the (internal) direct sum of the cyclic subgroups <a> and <b>.
By contrast, a direct sum of two objects which are not subobjects of a common object is an external direct sum. Note however that "external direct sum" is also used to refer to an infinite direct sum of groups, to contrast with the (larger) direct product.
Read more about this topic: Direct Sum
Famous quotes containing the words internal, direct and/or sum:
“When a person doesn’t understand something, he feels internal discord: however he doesn’t search for that discord in himself, as he should, but searches outside of himself. Thence a war develops with that which he doesn’t understand.”
—Anton Pavlovich Chekhov (1860–1904)
“A temple, you know, was anciently “an open place without a roof,” whose walls served merely to shut out the world and direct the mind toward heaven; but a modern meeting-house shuts out the heavens, while it crowds the world into still closer quarters.”
—Henry David Thoreau (1817–1862)
“The ornament is a statuette, a black figure of a bird. I am prepared to pay on behalf of the figure’s rightful owner the sum of $5000 for its recovery. I am prepared to promise, to promise ... what is the phrase?—’No questions will be asked.’”
—John Huston (1906–1987)