Nilpotent Algebra
   HOME

TheInfoList



OR:

In mathematics, specifically in
ring theory In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their r ...
, a nilpotent algebra over a commutative ring is an
algebra over a commutative ring In mathematics, an algebra over a field (often simply called an algebra) is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure consisting of a set together with operations of multiplication and addition a ...
, in which for some positive integer ''n'' every product containing at least ''n'' elements of the algebra is zero. The concept of a
nilpotent Lie algebra In mathematics, a Lie algebra \mathfrak is nilpotent if its lower central series terminates in the zero subalgebra. The ''lower central series'' is the sequence of subalgebras : \mathfrak \geq mathfrak,\mathfrak\geq mathfrak, mathfrak,\mathfrak ...
has a different definition, which depends upon the Lie bracket. (There is no Lie bracket for many algebras over commutative rings; a Lie algebra involves its Lie bracket, whereas, there is no Lie bracket defined in the general case of an algebra over a commutative ring.) Another possible source of confusion in terminology is the ''quantum nilpotent algebra'', a concept related to
quantum group In mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups (which are quasitriangular Hopf algebra ...
s and Hopf algebras.


Formal definition

An associative algebra A over a commutative ring R is defined to be a nilpotent algebra if and only if there exists some positive integer n such that 0=y_1\ y_2\ \cdots\ y_n for all y_1, \ y_2, \ \ldots,\ y_n in the algebra A. The smallest such n is called the index of the algebra A. In the case of a
non-associative algebra A non-associative algebra (or distributive algebra) is an algebra over a field where the binary operation, binary multiplication operation is not assumed to be associative operation, associative. That is, an algebraic structure ''A'' is a non-ass ...
, the definition is that every different multiplicative
association Association may refer to: *Club (organization), an association of two or more people united by a common interest or goal *Trade association, an organization founded and funded by businesses that operate in a specific industry *Voluntary associatio ...
of the n elements is zero.


Nil algebra

A power associative algebra in which every element of the algebra is
nilpotent In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index (or sometimes the degree), such that x^n=0. The term was introduced by Benjamin Peirce in the context of his work on the cla ...
is called a ''nil algebra''.Nil algebra – Encyclopedia of Mathematics
/ref> Nilpotent algebras are trivially nil, whereas nil algebras may not be nilpotent, as each element being nilpotent does not force products of distinct elements to vanish.


See also

* Algebraic structure (a much more general term) * nil-Coxeter algebra * Lie algebra * Example of a non-associative algebra


References

*{{Lang Algebra


External links


Nilpotent algebra – Encyclopedia of Mathematics
Ring theory Properties of binary operations