Unital

Unital

In mathematics, an algebra is unital (some authors say unitary) if it contains a multiplicative identity element (or "unit"), i.e. an element 1 with the property 1"x" = "x"1 = "x" for all elements "x" of the algebra.

This is equivalent to saying that the algebra is a monoid for multiplication. As in any monoid, such a multiplicative identity element is then unique.

Most associative algebras considered in abstract algebra, for instance group algebras, polynomial algebras and matrix algebras, are unital, if rings are assumed to be so.Most algebras of functions considered in analysis are not unital, for instance the algebra of functions decreasing to zero at infinity, especially those with compact support on some (non-compact) space.

Given two unital algebras "A" and "B", an algebra homomorphism

:"f" : "A" → "B"

is unital if it maps the identity element of "A" to the identity element of "B".

If the associative algebra "A" over the field "K" is "not" unital, one can adjoin an identity element as follows: take "A"×"K" as underlying "K"-vector space and define multiplication * by

:("x","r") * ("y","s") = ("xy" + "sx" + "ry", "rs")

for "x","y" in "A" and "r","s" in "K". Then * is an associative operation with identity element (0,1). The old algebra "A" is contained in the new one, and in fact "A"×"K" is the "most general" unital algebra containing "A", in the sense of universal constructions.

According to the glossary of ring theory, convention assumes the existence of a multiplicative identity for any ring.With this assumption, all rings are unital, and all ring homomorphisms are unital, and (associative) algebras are unital iff they are rings. Authors who do not require rings to have identity will refer to rings which do have identity as unital rings, and modules over these rings for which the ring identity acts as an identity on the module as unital modules or unitary modules.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • unital — adjective (of an algebra) containing a multiplicative identity element (or unit), i.e. an element 1 with the property 1x = x1 = x for all elements x of the algebra. Syn: unitary …   Wiktionary

  • unital — unit·al …   English syllables

  • unital — nə̇d.əl adjective Etymology: unit (I) + al : unitary …   Useful english dictionary

  • Banach algebra — In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers which at the same time is also a Banach space. The algebra multiplication and the Banach… …   Wikipedia

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Coalgebra — In mathematics, coalgebras or cogebras are structures that are dual (in the sense of reversing arrows) to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams. Turning all… …   Wikipedia

  • Approximately finite dimensional C*-algebra — In C* algebras, an approximately finite dimensional, or AF, C* algebra is one that is the inductive limit of a sequence of finite dimensional C* algebras. Approximate finite dimensionality was first defined and described combinatorially by… …   Wikipedia

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Associative algebra — In mathematics, an associative algebra is a vector space (or more generally, a module) which also allows the multiplication of vectors in a distributive and associative manner. They are thus special algebras. Definition An associative algebra A… …   Wikipedia

  • Universal enveloping algebra — In mathematics, for any Lie algebra L one can construct its universal enveloping algebra U ( L ). This construction passes from the non associative structure L to a (more familiar, and possibly easier to handle) unital associative algebra which… …   Wikipedia

Share the article and excerpts

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