Valued Custom Skew Fields with Generalised PBW Property from Power Series Construction
This chapter describes a construction of associative algebras that, despite starting from a commutation relation that the user may customize quite extensively, still manages to produce algebras with a number of useful properties: they have a Poincaré–Birkhoff–Witt type basis, they are equipped with a norm (actually an ultranorm) that is trivial to compute for basis elements, they are topologically complete, and they satisfy their given commutation relation. In addition, parameters can be chosen so that the algebras will in fact turn out to be skew fields and the norms become valuations. The construction is basically that of a power series algebra with given commutation relation, stated to be effective enough that the other properties can be derived. What is worked out in detail here is the case of algebras with two generators, but only the analysis of the commutation relation is specific for that case.
KeywordsDiamond Lemma Commutation relation Skew field construction Ultranorm Valuation Irrational weighting of variables
- 2.Bokut, L.A.: Embeddings into simple associative algebras (Russian). Algebra i Logika. 15(2), 117–142, 245 (1976)Google Scholar
- 4.Hellström, L.: The diamond lemma for power series algebras (doctorate thesis), Umeå University, xviii+228 pp. http://www.risc.jku.at/Groebner-Bases-Bibliography/details.php?details_id=1354. ISBN 91-7305-327-9 (2002)
- 5.Hellström, L.: A generic framework for diamond lemmas. arXiv:0712.1142v1 [math.RA] (2007)
- 6.Mora, T.: Seven variations on standard bases, preprint 45, Dip. Mat. Genova, 81 pp. http://www.disi.unige.it/person/MoraF/publications.html (1988)