Characterization of essentially lexicographic valuations by separated completions
Let ν:F∗→Zn\nu:F^*\rightarrow\mathbb{Z}^nν:F∗→Zn be a maximal valuation, and let O={f∈F:ν(f)≥0}\mathcal{O}=\{f\in\mathscr{F}:\nu(f)\geq 0\}O={f∈F:ν(f)≥0} with maximal ideal m={f∈F:ν(f)>0}\mathcal{m}=\{f\in\mathscr{F}:\nu(f)>0\}m={f∈F:ν(f)>0} in…
MathDB