Hostname: page-component-848d4c4894-p2v8j Total loading time: 0.001 Render date: 2024-05-15T14:33:32.574Z Has data issue: false hasContentIssue false

ON THE MAIN INVARIANT OF ELEMENTS ALGEBRAIC OVER A HENSELIAN VALUED FIELD

Published online by Cambridge University Press:  05 February 2002

Kamal Aghigh
Affiliation:
Department of Mathematics, Panjab University, Chandigarh 160014, India (kaghigh@yahoo.com; skhand@usa.net)
Sudesh K. Khanduja
Affiliation:
Department of Mathematics, Panjab University, Chandigarh 160014, India (kaghigh@yahoo.com; skhand@usa.net)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let $v$ be a henselian valuation of a field $K$ with value group $G$, let $\bar{v}$ be the (unique) extension of $v$ to a fixed algebraic closure $\bar{K}$ of $K$ and let $(\tilde{K},\tilde{v})$ be a completion of $(K,v)$. For $\alpha\in\bar{K}\setminus K$, let $M(\alpha,K)$ denote the set $\{\bar{v}(\alpha-\beta):\beta\in\bar{K},\ [K(\beta):K] \lt [K(\alpha):K]\}$. It is known that $M(\alpha,K)$ has an upper bound in $\bar{G}$ if and only if $[K(\alpha):K]=[\tilde{K}(\alpha):\tilde{K}]$, and that the supremum of $M(\alpha,K)$, which is denoted by $\delta_{K}(\alpha)$ (usually referred to as the main invariant of $\alpha$), satisfies a principle similar to the Krasner principle. Moreover, each complete discrete rank 1 valued field $(K,v)$ has the property that $\delta_{K}(\alpha)\in M(\alpha,K)$ for every $\alpha\in\bar{K}\setminus K$. In this paper the authors give a characterization of all those henselian valued fields $(K,v)$ which have the property mentioned above.

AMS 2000 Mathematics subject classification: Primary 12J10; 12J25; 13A18

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 2002