Subdirect product

Subdirect product

In mathematics, especially in the areas of abstract algebra known as universal algebra, group theory, ring theory, and module theory, a subdirect product is a subalgebra of a direct product that depends fully on all its factors without however necessarily being the whole direct product. The notion was introduced by Birkhoff in 1944 and has proved to be a powerful generalization of the notion of direct product.

=Definition=A subdirect product is a subalgebra (in the sense of universal algebra) "A" of a direct product Π"iAi" such that every induced projection (the composite "pjs": "A" → "Aj" of a projection "p""j": Π"iAi" → "Aj" with the subalgebra inclusion "s": "A" → Π"iAi") is surjective.

A direct (subdirect) representation of an algebra "A" is a direct (subdirect) product isomorphic to "A".

A subdirect irreducible is an algebra that is not subdirectly representable by "simpler" algebras. Subdirect irreducibles are to subdirect product of algebras roughly as primes are to multiplication of integers.

=Examples=
* Any distributive lattice "L" is subdirectly representable as a subalgebra of a direct power of the two-element distributive lattice. This can be viewed as an algebraic formulation of the representability of "L" as a set of sets closed under the binary operations of union and intersection, via the interpretation of the direct power itself as a power set. In the finite case such a representation is direct (i.e. the whole direct power) if and only if "L" is a complemented lattice, i.e. a Boolean algebra.
* The same holds for any semilattice when "semilattice" is substituted for "distributive lattice" and "subsemilattice" for "sublattice" throughout the preceding example. That is, every semilattice is representable as a subdirect power of the two-element semilattice.
* The chain of natural numbers together with infinity, as a Heyting algebra, is subdirectly representable as a subalgebra of the direct product of the finite linearly ordered Heyting algebras. The situation with other Heyting algebras is treated in further detail in the article on subdirect irreducibles.
* The group of integers under addition is subdirectly representable by any (necessarily infinite) family of arbitrarily large finite cyclic groups. In this representation, 0 is the sequence of identity elements of the representing groups, 1 is a sequence of generators chosen from the appropriate group, and integer addition and negation are the corresponding group operations in each group applied coordinate-wise. The representation is faithful (no two integers are represented by the same sequence) because of the size requirement, and the projections are onto because every coordinate eventually exhausts its group.
* Every vector space over a given field is subdirectly representable by the one-dimensional space over that field, with the finite-dimensional spaces being directly representable in this way. (For vector spaces, as for abelian groups, direct product with finitely many factors is synonymous with direct sum with finitely many factors, whence subdirect product and subdirect sum are also synonymous for finitely many factors.)
* Subdirect products are used to represent many small perfect groups in harv|Holt|Plesken|1989.

=References=
* | year=1944 | journal=Bulletin of the American Mathematical Society | issn=0002-9904 | volume=50 | pages=764–768
* | year=1989


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Subdirect irreducible — In algebra, a subdirect irreducible is an algebra that cannot be factored as a subdirect product of simpler algebras. Subdirect irreducibles play a somewhat analogous role in algebra to primes in number theory. TOC =Definition=In algebra, a… …   Wikipedia

  • Direct product of groups — Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product, direct sum semidirect product, wreath product …   Wikipedia

  • Semiprimitive ring — In mathematics, especially in the area of algebra known as ring theory, a semiprimitive ring is a type of ring more general than a semisimple ring, but where simple modules still provide enough information about the ring. Important rings such as… …   Wikipedia

  • Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Von Neumann regular ring — In mathematics, a ring R is von Neumann regular if for every a in R there exists an x in R with : a = axa .One may think of x as a weak inverse of a ; note however that in general x is not uniquely determined by a .(The regular local rings of… …   Wikipedia

  • Rubik's Cube group — The Rubik s Cube provides a tangible representation of a mathematical group. The Rubik s Cube group can be thought of as the set of all cube operations with function composition as the group operation. Any set of operations which returns the cube …   Wikipedia

  • Anneau semi-simple — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques et plus particulièrement en algèbre, un anneau A est dit semi simple si A, considéré comme A module, est semi simple, c est à dire somme directe de A modules qui n admettent… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”