Direct sum module

Stub grade: A

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Flesh out and document.

Overview

There are two direct sums (categorical coproducts of modules):

1. External direct sum module - which we shall mean by default
2. Internal direct sum module - which we shall mean only if explicit.

These are isomorphic