1.Previous
3.Next

and ? the polynomial derivative. Ore algebras are a class of iterated Ore extensions under suitable constraints that permit to develop a noncommutative extension of the theory of Gröbner bases.

Properties

* An Ore extension of a domain is a domain.
* An Ore extension of a skew field is a non-commutative principal ideal domain.

1.Previous
3.Next