Abstract:For $(K,v)$ a Henselian valued field, let $\theta\in\overline{K}$ with minimal polynomial $F$ over $K$. Okutsu sequences of $\theta$ have been defined only when the extension $K(\theta)/K$ is defectless. In this paper, we extend this concept to arbitrary $\theta\in\overline{K}$ and we show that these objects are essentially equivalent to Okutsu frames of $F$ and to Mac Lane-Vaquié chains of the natural valuation on $K[x]$ induced by $\theta$.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to extend and perfect the concept of Okutsu sequences, making it applicable to any $\theta\in K$, rather than just when the extension field $K(\theta)/K$ is defectless. Specifically, the goals of the paper include:
1. **Extending the concept of Okutsu sequences**: Generalize the concept of Okutsu sequences from defectless extension fields to any $\theta\in K$, so that Okutsu sequences can be defined and used even in the presence of defects.
2. **Establishing equivalence relations**: Prove the essential equivalence between these new Okutsu sequences and Okutsu frames as well as Mac Lane - Vaquié chains. This helps to better understand the relationships between these objects and provides new tools for studying algebraic structures in Henselian valued fields.
3. **Solving computational problems**: By introducing these new concepts, the author hopes to more effectively calculate the ramification index $e(L/K)$, the inertia degree $f(L/K)$, and the defect $d(L/K)$ of the extension $L/K$ given the generator $F$. These problems have been solved in the classical case (such as discrete rank - one valuations), but are further generalized to more general situations on this basis.
### Specific problem description
At a more specific level, the paper aims to solve the following problems:
- **How to define Okutsu sequences for any $\theta\in K$**: How to define and construct such sequences even in the presence of defects so that they still have good properties.
- **The relationship between Okutsu sequences and other concepts**: Prove the equivalence between these new Okutsu sequences and the existing Okutsu frames and Mac Lane - Vaquié chains, thereby providing a unified framework for studying these objects.
- **Calculating invariants**: More effectively calculate the ramification index, the inertia degree, and the defect of the extension $L/K$ through these new tools, especially in the presence of defects.
### Mathematical formula representation
The mathematical formulas involved in the paper mainly include:
- **Ramification index, inertia degree, and defect**:
\[
[L:K]=e(L/K)f(L/K)d(L/K)
\]
where $e(L/K)$ is the ramification index, $f(L/K)$ is the inertia degree, and $d(L/K)$ is the defect.
- **Conditions for Okutsu sequences**:
For all $\beta\in K$ and all $0\leq i < r$:
- If $\deg_K\beta < \deg_K\alpha_{i + 1}$, then $v(\theta-\beta)\leq v(\theta-\alpha_i)$,
- If $\deg_K\beta < \deg_K\alpha_i$, then $v(\theta-\beta)< v(\theta-\alpha_i)$.
Through these formulas and conditions, the paper establishes the connection between Okutsu sequences and other algebraic structures and provides a theoretical basis for solving the above problems.