Module theory MOC
Direct sum of modules
The direct sum of (right) modules over is their coproduct in . linalg
It may be constructed as tuples with componentwise addition.
Internal direct sum
is the direct sum iff every may be written as the sum of finitely many in precisely one way.
See also
tidy | en | sembr