## 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 functional version of Hilbert's Theorem 90
β Scribed by Marshall W Buck; David P Robbins
- Publisher
- Elsevier Science
- Year
- 1991
- Tongue
- English
- Weight
- 695 KB
- Volume
- 141
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We prove that if K is a finite extension of Q, P is the set of prime numbers in Z that remain prime in the ring R of integers of K, f, g # K[X] with deg g>deg f and f, g are relatively prime, then f +pg is reducible in K[X] for at most a finite number of primes p # P. We then extend this property to
## dedicated to professor w. t. tutte on the occasion of his eightieth birthday An edge e of a minimally 3-connected graph G is non-essential if and only if the graph obtained by contracting e from G is both 3-connected and simple. Suppose that G is not a wheel. Tutte's Wheels Theorem states that