|WikiProject Mathematics||(Rated Start-class, Mid-importance)|
We really should include the universal property of direct sums here, instead of having to dig it up in the category theory section. We never actually define what it *is* in this article, just give examples of what it can be in certain categories. 126.96.36.199 (talk) —Preceding undated comment added 20:26, 15 July 2010 (UTC).
After reading this article I still wonder what a direct sum is. I would like to see an example where the direct sum is calculated for some simple set and where all the steps are included. I'm so tired of mathematicians writing for mathematicians. —Preceding unsigned comment added by 188.8.131.52 (talk) 08:38, 20 March 2011 (UTC)
- There's no such thing as a direct sum for sets. Or you could handwave and claim its the same thing as a Cartesian product. linas (talk) 18:59, 2 September 2012 (UTC)
I also find this article confusing, and am particularly annoyed by initial references to Category theory. While there is no harm in mentioning category theory farther down in the article, initial references to it almost always obfiscate the obvious. — Preceding unsigned comment added by 184.108.40.206 (talk) 20:39, 29 September 2011 (UTC)
- This is due a a failing of the educational system. Some concepts of category theory could be taught in elementary school, and expanded on in high-school and college. Its not any harder to teach than arithmetic. By failing to have an adequate background, the result is that one has to define a direct sum by means of a series of examples, which this article does. Yes, this article could be improved. But failing to mention category theory up front would be a mistake. linas (talk) 18:59, 2 September 2012 (UTC)
- We should manage an initial definition with as little reference to category theory as possible, especially in the lead. The biggest problem that I see here is the use of the term "object" in the lead, which does not define or link it. As far as I can tell, this should be to algebraic structure, as mathematical object is too vague. I'm introducing this link. — Quondum 12:20, 30 September 2013 (UTC)
Here are my reactions:
1. It might be helpful for the article to make clear at the top that the term comes from abstract algebra.
2. Minimum necessary dependencies on other terms from abstract algebra should be made, and where unavoidable, they should be referenced properly.
3. If at all possible, postpone reference to category theory until the body of the article, because readers seeking to understand the term ‘direct sum’ will not all have heard of category theory.
4. The article compares poorly to the clearer, more informative article found here: http://mathworld.wolfram.com/DirectSum.html
5. The difference between direct sum and direct product needs to be explained step-by-step in the simplest possible terms, including the convention of using the + symbol as far as possible only for a commutative operation
Imagine I am an undergraduate student coming here to understand the definition of a direct sum of matrices from my linear algebra course (arguably a much more common use case than afficionados of category theory). Reading this article, I might conclude that `direct sum' is a term reserved for much more abstract algebraic objects. Would it hurt to have a simple mention that direct sum also refers to matrices (i.e., block diagonality???). Simply baffling... — Preceding unsigned comment added by 220.127.116.11 (talk) 14:03, 20 February 2014 (UTC)
Article still needs work
- The new lead makes much sense, but then, now, I don't see a point of having this article separately from direct sum of modules. -- Taku (talk) 14:05, 1 January 2014 (UTC)
Many other direct sums (groups, rings, and vector spaces to mention just three) are at least as important as direct sums of modules. I still remember learning ring theory out of Lambek Lectures on Rings and Modules and while it was mathematically sound, it confused the hell out of me as an undergraduate. Rick Norwood (talk) 13:46, 27 January 2014 (UTC)
The difference between direct sum and direct product is analogous to the difference between product topology and box topology: both direct sums and product topologies have a cofiniteness condition that direct products and box topologies don't have. GeoffreyT2000 (talk) 00:42, 17 February 2015 (UTC)
- My impression from reading both articles is that there is no difference. If the two subgroups are both Abelian, "direct product" and "direct sum" are two names for the same thing. If at least one is not Abelian, the term "direct sum" is not used. If this is wrong, it would be really useful to include an example where the direct product of two groups is different from their direct sum. Maproom (talk) 15:22, 11 October 2016 (UTC)