# Truncation integer parts of valued fields

Presented by:
We study the problem of constructing complements to the valuation ring of a valued field, which are $k$-algebras over the residue field $k$.
These $k$-algebras have many important arithmetic properties, and are closely related to truncation integer parts.
We work out the case of henselian fields and study the canonical integer part $\Neg(F)\oplus\Z$ of any truncation closed subfield $F$ of the field of power series $k((G))$, where $\Neg(F):=F\cap k((G^{<0}))$. In particular, we prove that $k((G^{<0}))\oplus\Z$ has (cofinally many) prime elements for any ordered divisible abelian group $G$.