𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Computation of Invariant Fields and a Constructive Version of a Theorem by Rosenlicht

✍ Scribed by Gregor Kemper

Book ID
105766414
Publisher
SP Birkhäuser Verlag Boston
Year
2007
Tongue
English
Weight
225 KB
Volume
12
Category
Article
ISSN
1083-4362

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

A constructive proof of the Peter-Weyl t
A constructive proof of the Peter-Weyl theorem
✍ Thierry Coquand; Bas Spitters 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 1 views

We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C\*-algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the cha