Back to the index. Or to the chambers

This article has 13 links. View as Cloud or List.

Product Set Operation Unity Finite Integer Ring Module Algebra Strongly Minimal Characteristic Subgroup Direct Sum Every Ring Is An Integer Algebra

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Unitization

The operation of unitization allows one to add a unity element to an algebra. Because of this construction, one can regard any algebra as a subalgebra of an algebra with unity. If the algebra already has a unity, the operation creates a larger algebra in which the old unity is no longer the unity.

Let $\bf A$ be an algebra over a ring $\bf R$ with unity . Then, as a module, the unitization of $\bf A$ is the direct sum of $\bf R$ and $\bf A$ :

$\displaystyle \bf A^+ = \bf R\oplus \bf A$

The product operation is defined as follows:

$\displaystyle (x, a) \cdot (y, b) = (xy, ab + xb + ya)$

The unity of $\bf A^+$ is

It is also possible to unitize any ring using this construction if one regards the ring as an algebra over the ring of integers. (See the entry every ring is an integer algebra for details.) It is worth noting, however, that the result of unitizing a ring this way will always be a ring whose unity has zero characteristic. If one has a ring of finite characteristic , one can instead regard it as an algebra over $\mathbb{Z}_k$ and unitize accordingly to obtain a ring of characteristic .

The construction described above is often called “minimal unitization”. It is in fact minimal, in the sense that every other unitization contains this unitization as a subalgebra.

1	Product
1	Operation
1	Finite
1	Set
1	Integer
1	Ring
1	Unity
1	Module
3	Strongly Minimal
3	Algebra
3	Characteristic Subgroup
4	Direct Sum
19	Every Ring Is An Integer Algebra