Standard Bases in Power Series Rings: Un
โ
Thomas Becker
๐
Article
๐
1993
๐
Elsevier Science
๐
English
โ 428 KB
We show that w.r.t. fixed admissible term order, every ideal in a ring of power series over a field has a unique reduced standard basis. Furthermore, we show that a finite set of power series whose lowest terms are pairwise relatively prime is a standard basis. Finally, a second criterion for detect