Assertion: valuation ring | /r/HasProperty | formal power series
Facets:
Source sentences:
text: k comes with the valuation v such that v ( f ) is the least degree of a nonzero term in f ; the valuation ring of v is the formal power series ring k [ [ t ] ] {\displaystyle k[\![t]\!]}
text: comes with the valuation such that ( ) is the least degree of a nonzero term in ; the valuation ring of is the formal power series ring More generally, given a field