Direct sum

Last updated

The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups and is another abelian group consisting of the ordered pairs where and . To add ordered pairs, we define the sum to be ; in other words addition is defined coordinate-wise. For example, the direct sum , where is real coordinate space, is the Cartesian plane, . A similar process can be used to form the direct sum of two vector spaces or two modules.

Contents

We can also form direct sums with any finite number of summands, for example , provided and are the same kinds of algebraic structures (e.g., all abelian groups, or all vector spaces). This relies on the fact that the direct sum is associative up to isomorphism. That is, for any algebraic structures , , and of the same kind. The direct sum is also commutative up to isomorphism, i.e. for any algebraic structures and of the same kind.

The direct sum of finitely many abelian groups, vector spaces, or modules is canonically isomorphic to the corresponding direct product. This is false, however, for some algebraic objects, like nonabelian groups.

In the case where infinitely many objects are combined, the direct sum and direct product are not isomorphic, even for abelian groups, vector spaces, or modules. As an example, consider the direct sum and direct product of (countably) infinitely many copies of the integers. An element in the direct product is an infinite sequence, such as (1,2,3,...) but in the direct sum, there is a requirement that all but finitely many coordinates be zero, so the sequence (1,2,3,...) would be an element of the direct product but not of the direct sum, while (1,2,0,0,0,...) would be an element of both. Often, if a + sign is used, all but finitely many coordinates must be zero, while if some form of multiplication is used, all but finitely many coordinates must be 1. In more technical language, if the summands are , the direct sum

is defined to be the set of tuples with such that for all but finitely many i. The direct sum is contained in the direct product , but is strictly smaller when the index set is infinite, because an element of the direct product can have infinitely many nonzero coordinates. [1]

Examples

The xy-plane, a two-dimensional vector space, can be thought of as the direct sum of two one-dimensional vector spaces, namely the x and y axes. In this direct sum, the x and y axes intersect only at the origin (the zero vector). Addition is defined coordinate-wise, that is , which is the same as vector addition.

Given two structures and , their direct sum is written as . Given an indexed family of structures , indexed with , the direct sum may be written . Each Ai is called a direct summand of A. If the index set is finite, the direct sum is the same as the direct product. In the case of groups, if the group operation is written as the phrase "direct sum" is used, while if the group operation is written the phrase "direct product" is used. When the index set is infinite, the direct sum is not the same as the direct product since the direct sum has the extra requirement that all but finitely many coordinates must be zero.

Internal and external direct sums

A distinction is made between internal and external direct sums, though the two are isomorphic. If the summands are defined first, and then the direct sum is defined in terms of the summands, we have an external direct sum. For example, if we define the real numbers and then define the direct sum is said to be external.

If, on the other hand, we first define some algebraic structure and then write as a direct sum of two substructures and , then the direct sum is said to be internal. In this case, each element of is expressible uniquely as an algebraic combination of an element of and an element of . For an example of an internal direct sum, consider (the integers modulo six), whose elements are . This is expressible as an internal direct sum .

Types of direct sum

Direct sum of abelian groups

The direct sum of abelian groups is a prototypical example of a direct sum. Given two such groups and their direct sum is the same as their direct product. That is, the underlying set is the Cartesian product and the group operation is defined component-wise:

This definition generalizes to direct sums of finitely many abelian groups.

For an arbitrary family of groups indexed by their direct sum [2]

is the subgroup of the direct product that consists of the elements that have finite support, where by definition, is said to have finite support if is the identity element of for all but finitely many [3] The direct sum of an infinite family of non-trivial groups is a proper subgroup of the product group

Direct sum of modules

The direct sum of modules is a construction which combines several modules into a new module.

The most familiar examples of this construction occur when considering vector spaces, which are modules over a field. The construction may also be extended to Banach spaces and Hilbert spaces.

Direct sum in categories

An additive category is an abstraction of the properties of the category of modules. [4] [5] In such a category, finite products and coproducts agree and the direct sum is either of them, cf. biproduct.

General case: [2] In category theory the direct sum is often, but not always, the coproduct in the category of the mathematical objects in question. For example, in the category of abelian groups, direct sum is a coproduct. This is also true in the category of modules.

Direct sums versus coproducts in category of groups

However, the direct sum (defined identically to the direct sum of abelian groups) is not a coproduct of the groups and in the category of groups. So for this category, a categorical direct sum is often simply called a coproduct to avoid any possible confusion.

Direct sum of group representations

The direct sum of group representations generalizes the direct sum of the underlying modules, adding a group action to it. Specifically, given a group and two representations and of (or, more generally, two -modules), the direct sum of the representations is with the action of given component-wise, that is,

Another equivalent way of defining the direct sum is as follows:

Given two representations and the vector space of the direct sum is and the homomorphism is given by where is the natural map obtained by coordinate-wise action as above.

Furthermore, if are finite dimensional, then, given a basis of , and are matrix-valued. In this case, is given as

Moreover, if we treat and as modules over the group ring , where is the field, then the direct sum of the representations and is equal to their direct sum as modules.

Direct sum of rings

Some authors will speak of the direct sum of two rings when they mean the direct product , but this should be avoided [6] since does not receive natural ring homomorphisms from and : in particular, the map sending to is not a ring homomorphism since it fails to send 1 to (assuming that in ). Thus is not a coproduct in the category of rings, and should not be written as a direct sum. (The coproduct in the category of commutative rings is the tensor product of rings. [7] In the category of rings, the coproduct is given by a construction similar to the free product of groups.)

Use of direct sum terminology and notation is especially problematic when dealing with infinite families of rings: If is an infinite collection of nontrivial rings, then the direct sum of the underlying additive groups can be equipped with termwise multiplication, but this produces a rng, that is, a ring without a multiplicative identity.

Direct sum of matrices

For any arbitrary matrices and , the direct sum is defined as the block diagonal matrix of and if both are square matrices (and to an analogous block matrix, if not).

Direct sum of topological vector spaces

A topological vector space (TVS) such as a Banach space, is said to be a topological direct sum of two vector subspaces and if the addition map

is an isomorphism of topological vector spaces (meaning that this linear map is a bijective homeomorphism), in which case and are said to be topological complements in This is true if and only if when considered as additive topological groups (so scalar multiplication is ignored), is the topological direct sum of the topological subgroups and If this is the case and if is Hausdorff then and are necessarily closed subspaces of

If is a vector subspace of a real or complex vector space then there always exists another vector subspace of called an algebraic complement of in such that is the algebraic direct sum of and (which happens if and only if the addition map is a vector space isomorphism). In contrast to algebraic direct sums, the existence of such a complement is no longer guaranteed for topological direct sums.

A vector subspace of is said to be a (topologically) complemented subspace of if there exists some vector subspace of such that is the topological direct sum of and A vector subspace is called uncomplemented if it is not a complemented subspace. For example, every vector subspace of a Hausdorff TVS that is not a closed subset is necessarily uncomplemented. Every closed vector subspace of a Hilbert space is complemented. But every Banach space that is not a Hilbert space necessarily possess some uncomplemented closed vector subspace.

Homomorphisms

[ clarification needed ]

The direct sum comes equipped with a projection homomorphism for each j in I and a coprojection for each j in I. [8] Given another algebraic structure (with the same additional structure) and homomorphisms for every j in I, there is a unique homomorphism , called the sum of the gj, such that for all j. Thus the direct sum is the coproduct in the appropriate category.

See also

Notes

  1. Thomas W. Hungerford, Algebra, p.60, Springer, 1974, ISBN   0387905189
  2. 1 2 Direct Sum at the nLab
  3. Joseph J. Rotman, The Theory of Groups: an Introduction, p. 177, Allyn and Bacon, 1965
  4. ""p.45"" (PDF). Archived from the original (PDF) on 2013-05-22. Retrieved 2014-01-14.
  5. "Appendix" (PDF). Archived from the original (PDF) on 2006-09-17. Retrieved 2014-01-14.
  6. Math StackExchange on direct sum of rings vs. direct product of rings.
  7. Lang 2002, section I.11
  8. Heunen, Chris (2009). Categorical Quantum Models and Logics. Pallas Proefschriften. Amsterdam University Press. p. 26. ISBN   978-9085550242.

Related Research Articles

<span class="mw-page-title-main">Abelian group</span> Commutative group (mathematics)

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants.

In mathematics, one can often define a direct product of objects already known, giving a new one. This induces a structure on the Cartesian product of the underlying sets from that of the contributing objects. More abstractly, one talks about the product in category theory, which formalizes these notions.

<span class="mw-page-title-main">Vector space</span> Algebraic structure in linear algebra

In mathematics and physics, a vector space is a set whose elements, often called vectors, may be added together and multiplied ("scaled") by numbers called scalars. Scalars are often real numbers, but can be complex numbers or, more generally, elements of any field. The operations of vector addition and scalar multiplication must satisfy certain requirements, called vector axioms. Real vector space and complex vector space are kinds of vector spaces based on different kinds of scalars: real coordinate space or complex coordinate space.

In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties.

In abstract algebra, the direct sum is a construction which combines several modules into a new, larger module. The direct sum of modules is the smallest module which contains the given modules as submodules with no "unnecessary" constraints, making it an example of a coproduct. Contrast with the direct product, which is the dual notion.

In mathematics, a linear form is a linear map from a vector space to its field of scalars.

<span class="mw-page-title-main">Exterior algebra</span> Algebra of a vector space

In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogs. The exterior product of two vectors u and v, denoted by uv, is called a bivector and lives in a space called the exterior square, a vector space that is distinct from the original space of vectors. The magnitude of uv can be interpreted as the area of the parallelogram with sides u and v, which in three dimensions can also be computed using the cross product of the two vectors. Like the cross product, the exterior product is anticommutative, meaning that uv = −(vu) for all vectors u and v, but, unlike the cross product, the exterior product is associative. One way to visualize a bivector is as a family of parallelograms all lying in the same plane, having the same area and orientation, which is a choice of rotational direction within the plane (clockwise or counterclockwise from some view).

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coproduct of a family of objects is essentially the "least specific" object to which each object in the family admits a morphism. It is the category-theoretic dual notion to the categorical product, which means the definition is the same as the product but with all arrows reversed. Despite this seemingly innocuous change in the name and notation, coproducts can be and typically are dramatically different from products.

In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the given group. As a ring, its addition law is that of the free module and its multiplication extends "by linearity" the given group law on the basis. Less formally, a group ring is a generalization of a given group, by attaching to each element of the group a "weighting factor" from a given ring.

The representation theory of groups is a part of mathematics which examines how groups act on given structures.

<span class="mw-page-title-main">Semisimple Lie algebra</span> Direct sum of simple Lie algebras

In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras..

In mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abelian group. This abelian group is constructed from M in the most universal way, in the sense that any abelian group containing a homomorphic image of M will also contain a homomorphic image of the Grothendieck group of M. The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation.

In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that finitely generated modules over a principal ideal domain (PID) can be uniquely decomposed in much the same way that integers have a prime factorization. The result provides a simple framework to understand various canonical form results for square matrices over fields.

Schur–Weyl duality is a mathematical theorem in representation theory that relates irreducible finite-dimensional representations of the general linear and symmetric groups. It is named after two pioneers of representation theory of Lie groups, Issai Schur, who discovered the phenomenon, and Hermann Weyl, who popularized it in his books on quantum mechanics and classical groups as a way of classifying representations of unitary and general linear groups.

In algebra, the cofree coalgebra of a vector space or module is a coalgebra analog of the free algebra of a vector space. The cofree coalgebra of any vector space over a field exists, though it is more complicated than one might expect by analogy with the free algebra.

In mathematics, the term "graded" has a number of meanings, mostly related:

In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context.

In the branch of mathematics called functional analysis, a complemented subspace of a topological vector space is a vector subspace for which there exists some other vector subspace of called its (topological) complement in , such that is the direct sum in the category of topological vector spaces. Formally, topological direct sums strengthen the algebraic direct sum by requiring certain maps be continuous; the result retains many nice properties from the operation of direct sum in finite-dimensional vector spaces.

References