We introduce a notion of valued module which is suitable to study valued fields of positive characteristic. Then we built-up a robust theory of henselianity in the language of valued modules and prove Ax-Kochen Ershov type results.

We present a new approach to noncommutative real algebraic geometry based on the representation theory of ${{C}^{*}}$-algebras. An important result in commutative real algebraic geometry is Jacobi's representation theorem for archimedean quadratic modules on commutative rings. We show that this theorem is a consequence of the Gelfand–Naimark representation theorem for commutative ${{C}^{*}}$-algebras. A noncommutative version of Gelfand–Naimark theory was studied by I. Fujimoto. We use his results to generalize Jacobi's theorem to associative rings with involution.

An additive subgroup P of a skew field F is called a prime of F if P does not contain the identity, but if the product xy of two elements x and y in F is contained in P, then x or y is in P. A prime segment of F is given by two neighbouring primes P1 ⊃ P2; such a segment is invariant, simple, or exceptional depending on whether A(P1) = {a ∈ P1 | P1aP1 ⊂ P1} equals P1, P2 or lies properly between P1 and P2. The set T(F) of all primes of F together with the containment relation is a tree if |T(F)| is finite, and 1 < |T(F)| < ∞ is possible if F is not commutative. In this paper we construct skew fields with prescribed types of sequences of prime segments as skew fields F of fractions of group rings of certain right ordered groups. In particular, groups G of affine transformations on ordered vector spaces V are considered, and the relationship between properties of Dedekind cuts of V, certain right orders on G, and chains of prime segments of F is investigated. A general result in Section 4 describing the possible orders on vector spaces over ordered fields may be of independent interest.