Direct Sum in a sentence

Direct product and direct sum main The direct product of vector spaces and the direct sum of vector spaces are two ways of combining an indexed family of vector spaces into a new vector space.

The direct sum and direct product differ only for infinite indices, where the elements of a direct sum are zero for all but for a finite number of entries.

But if there are only finitely many summands, then the Banach space direct sum is isomorphic to the Hilbert space direct sum, although the norm will be different.

Comparing this with the example for Banach spaces, we see that the Banach space direct sum and the Hilbert space direct sum are not necessarily the same.

Direct sum of modules with additional structure If the modules we are considering carry some additional structure (e.g. a norm or an inner product ), then the direct sum of the modules can often be made to carry this additional structure, as well.

A "finite" direct product may also be viewed as a direct sum of ideals.

A submodule N of M is a direct summand of M if there exists some other submodule N′ of M such that M is the internal direct sum of N and N′.

The direct product of finitely many rings coincides with the direct sum of rings.

Then are ideals of R and : as a direct sum of abelian groups (because for abelian groups finite products are the same as direct sums).

A variant of this construction is the direct sum (also called coproduct and denoted ), where only tuples with finitely many nonzero vectors are allowed.

By the fundamental theorem of finitely generated abelian groups it is therefore a finite direct sum of copies of Z and finite cyclic groups.

Classification The fundamental theorem of finite abelian groups states that every finite abelian group G can be expressed as the direct sum of cyclic subgroups of prime -power order.

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.

Conversely, it can be proven that any semisimple Lie algebra is the direct sum of its minimal ideals, which are canonically determined simple Lie algebras.

Every Hilbert space is isomorphic to a direct sum of sufficiently many copies of the base field (either R or C).

Every injective module can be decomposed as direct sum of indecomposable injective modules.

In this sense, the product X × Y (or the direct sum X ⊕ Y ) is complete if and only if the two factors are complete.

It turns out that an arbitrary finite abelian group is isomorphic to a direct sum of finite cyclic groups of prime power order, and these orders are uniquely determined, forming a complete system of invariants.

Non-finitely generated abelian groups Note that not every abelian group of finite rank is finitely generated; the rank 1 group is one counterexample, and the rank-0 group given by a direct sum of countably infinitely many copies of is another one.

Semisimple rings A ring is called a semisimple ring if it is semisimple as a left module (or right module) over itself; i.e., a direct sum of simple modules.