✦ LIBER ✦

Towards an Effective Version of a Theorem of Stafford

✍ Scribed by Andre Hillebrand; Wiland Schmale

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 317 KB
Volume: 32
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.2001.0491

No coin nor oath required. For personal study only.

✦ Synopsis

A classical theorem of Stafford says: every left ideal of partial differential operators with rational or even polynomial coefficients in n variables can be generated by two elements. The highly involved proof of this theorem is reorganized and completed for rational coefficients in order to yield a procedure which guarantees the computability in finitely many steps. Consequences for an eventual normal form for matrices of such operators are discussed.

📜 SIMILAR VOLUMES

An Effective Version of Belyi's Theorem

✍ Lily S. Khadjavi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 216 KB

We compute bounds on covering maps that arise in Belyi's Theorem. In particular, we construct a library of height properties and then apply it to algorithms that produce Belyi maps. Such maps are used to give coverings from algebraic curves to the projective line ramified over at most three points.

An Intuitionistic Version of Cantor's Th

An Intuitionistic Version of Cantor's Theorem

✍ Dario Maguolo; Silvio Valentini 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB 👁 1 views

An intuitionistic version of Cantor's theorem, which shows that there is no surjective function from the type of the natural numbers Af into the type N + h/ of the functions from N into N, is proved within Martin-Lijf's Intuitionistic Type Theory with the universe of the small types.

A constructive version of Birkhoff's the

A constructive version of Birkhoff's theorem

✍ Jesper Carlström 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 1 views

## Abstract A version of Birkhoff's theorem is proved by constructive, predicative, methods. The version we prove has two conditions more than the classical one. First, the class considered is assumed to contain a generic family, which is defined to be a set‐indexed family of algebras such that if

An Infinite Dimensional Version of the K

An Infinite Dimensional Version of the Kostant Convexity Theorem

✍ Andreas Neumann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 344 KB

In this paper we generalize the linear Kostant Convexity Theorem to Lie algebras of bounded linear operators on a Hilbert space: If t is a Cartan subspace of one of the hermitian real forms h(H), ho(I c ), hsp(I a ), p t is the projection on t, U the corresponding unitary group and W the correspondi

A Constructive Version of the Spectral M

A Constructive Version of the Spectral Mapping Theorem

✍ Douglas Bridges; Robin Havea 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 125 KB 👁 2 views

A Holomorphic Version of Borel–Weil–Bott

A Holomorphic Version of Borel–Weil–Bott Theorem

✍ Simon G Gindikin; Hon-Wai Wong 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 436 KB

A new geometric realization is obtained for finite dimensional representations of a complex reductive group. The representations are realized as holomorphic objects on a homogeneous Stein manifold. Fundamental to the construction is a holomorphic version of a Hodge decomposition. In certain importan