1: \begin{abstract}

2:   Involutive bases are a special form of non-reduced Gr\"obner bases with

3:   additional combinatorial properties.  Their origin lies in the Janet-Riquier

4:   theory of linear systems of partial differential equations.  We study them

5:   for a rather general class of polynomial algebras including also

6:   non-commutative algebras like those generated by linear differential and

7:   difference operators or universal enveloping algebras of

8:   (finite-dimensional) Lie algebras.  We review their basic properties using

9:   the novel concept of a weak involutive basis and concrete algorithms for

10:   their construction.  As new original results, we develop a theory for

11:   involutive bases with respect to semigroup orders (as they appear in local

12:   computations) and over coefficient rings, respectively.  In both cases it

13:   turns out that generally only weak involutive bases exist.

14: \end{abstract}

15: