Everything about Unital totally explained
In
mathematics, an
algebra is
unital (some authors say
unitary) if it contains a multiplicative
identity element (or
unit), for example an element 1 with the property 1
x =
x1 =
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're rings. Authors who don't 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.
Further Information
Get more info on 'Unital'.
|
External Link Exchanges
Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:
<a href="http://unital.totallyexplained.com">Unital Totally Explained</a>
Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned. |
