Free algebras over Bezout domains are Sylvester domains
β Scribed by Warren Dicks
- Book ID
- 107816355
- Publisher
- Elsevier Science
- Year
- 1983
- Tongue
- English
- Weight
- 821 KB
- Volume
- 27
- Category
- Article
- ISSN
- 0022-4049
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We provide a simple direct proof that for a finitary signature and a set of inequalities the free algebra functor on the category of directed complete partial orders (dcpo's) takes continuous, respectively algebraic, dcpo's to free algebras whose underlying dcpo is again continuous, respectively alg
Free left modules over right Bezout domains are characterized by a set of geometric axioms resembling those of U. Brehm, where results of this kind have been obtained for torsion-free left modules over left Ore domains. Discourses by S. E. Schmidt and the present author have come to similar results