Let $R$ be a strongly $\mathbb {Z}^2$-graded ring, and let $C$ be a bounded chain complex of finitely generated free $R$-modules. The complex $C$ is $R_{(0,0)}$-finitely dominated, or of type $FP$ over $R_{(0,0)}$, if it is chain homotopy equivalent to a bounded complex of finitely generated projective $R_{(0,0)}$-modules. We show that this happens if and only if $C$ becomes acyclic after taking tensor product with a certain eight rings of formal power series,  the graded analogues of classical Novikov rings. This extends results of Ranicki,  Quinn and the first author on Laurent polynomial rings in one and two indeterminates.

Spaces of power series solutions $y(\mathrm {t})$ in one variable $\mathrm {t}$ of systems of polynomial, algebraic, analytic or formal equations $f(\mathrm {t},\mathrm {y})=0$ can be viewed as ‘infinite-dimensional’ varieties over the ground field $\mathbf {k}$ as well as ‘finite-dimensional’ schemes over the power series ring $\mathbf {k}[[\mathrm {t}]]$ . We propose to call these solution spaces arquile varieties, as an enhancement of the concept of arc spaces. It will be proven that arquile varieties admit a natural stratification ${\mathcal Y}=\bigsqcup {\mathcal Y}_d$ , $d\in {\mathbb N}$ , such that each stratum ${\mathcal Y}_d$ is isomorphic to a Cartesian product ${\mathcal Z}_d\times \mathbb A^{\infty }_{\mathbf {k}}$ of a finite-dimensional, possibly singular variety ${\mathcal Z}_d$ over $\mathbf {k}$ with an affine space $\mathbb A^{\infty }_{\mathbf {k}}$ of infinite dimension. This shows that the singularities of the solution space of $f(\mathrm {t},\mathrm {y})=0$ are confined, up to the stratification, to the finite-dimensional part.

Our results are established simultaneously for algebraic, convergent and formal power series, as well as convergent power series with prescribed radius of convergence. The key technical tool is a linearisation theorem, already used implicitly by Greenberg and Artin, showing that analytic maps between power series spaces can be essentially linearised by automorphisms of the source space.

Instead of stratifying arquile varieties, one may alternatively consider formal neighbourhoods of their regular points and reprove with similar methods the Grinberg–Kazhdan–Drinfeld factorisation theorem for arc spaces in the classical setting and in the more general setting.

Skolem (1956) studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$ , the identity function ${\mathbf {x}}$ , and such that whenever f and g are in the set, $f+g,fg$ and $f^g$ are in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz (1984) computed the order type of the fragment below $2^{2^{\mathbf {x}}}$ . Here we prove that the set of asymptotic classes within any Archimedean class of Skolem functions has order type $\omega $ . As a consequence we obtain, for each positive integer n, an upper bound for the fragment below $2^{n^{\mathbf {x}}}$ . We deduce an epsilon-zero upper bound for the fragment below $2^{{\mathbf {x}}^{\mathbf {x}}}$ , improving the previous epsilon-omega bound by Levitz (1978). A novel feature of our approach is the use of Conway’s surreal number for asymptotic calculations.

We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings.

If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a division ring $\mathfrak{D}_{L}$ that contains $U(L)$. We denote by $\mathfrak{D}(L)$ the division subring of $\mathfrak{D}_{L}$ generated by $U(L)$.

Let $k$ be a field of characteristic zero, and let $L$ be a nonabelian Lie $k$-algebra. If either $L$ is residually nilpotent or $U(L)$ is an Ore domain, we show that $\mathfrak{D}(L)$ contains (noncommutative) free group algebras. In those same cases, if $L$ is equipped with an involution, we are able to prove that the free group algebra in $\mathfrak{D}(L)$ can be chosen generated by symmetric elements in most cases.

Let $G$ be a nonabelian residually torsion-free nilpotent group, and let $k(G)$ be the division subring of the Malcev–Neumann series ring generated by the group algebra $k[G]$. If $G$ is equipped with an involution, we show that $k(G)$ contains a (noncommutative) free group algebra generated by symmetric elements.

Let R→U be an associative ring epimorphism such that U is a flat left R-module. Assume that the related Gabriel topology $\mathbb{G}$ of right ideals in R has a countable base. Then we show that the left R-module U has projective dimension at most 1. Furthermore, the abelian category of left contramodules over the completion of R at $\mathbb{G}$ fully faithfully embeds into the Geigle–Lenzing right perpendicular subcategory to U in the category of left R-modules, and every object of the latter abelian category is an extension of two objects of the former one. We discuss conditions under which the two abelian categories are equivalent. Given a right linear topology on an associative ring R, we consider the induced topology on every left R-module and, for a perfect Gabriel topology $\mathbb{G}$, compare the completion of a module with an appropriate Ext module. Finally, we characterize the U-strongly flat left R-modules by the two conditions of left positive-degree Ext-orthogonality to all left U-modules and all $\mathbb{G}$-separated $\mathbb{G}$-complete left R-modules.

We study an associative algebra $A$ over an arbitrary field that is a sum of two subalgebras $B$ and $C$ (i.e., $A\,=\,B+C$ ). We show that if $B$ is a right or left Artinian $PI$ algebra and $C$ is a $PI$ algebra, then $A$ is a $PI$ algebra. Additionally, we generalize this result for semiprime algebras $A$ . Consider the class of all semisimple finite dimensional algebras $A\,=\,B+C$ for some subalgebras $B$ and $C$ that satisfy given polynomial identities $f\,=\,0$ and $g\,=\,0$ , respectively. We prove that all algebras in this class satisfy a common polynomial identity.

Let B = A[[t;σ,δ]] be a skew power series ring such that σ is given by an inner automorphism of B. We show that a certain Waldhausen localisation sequence involving the K-theory of B splits into short split exact sequences. In the case that A is noetherian we show that this sequence is given by the localisation sequence for a left denominator set S in B. If B = ℤp[[G]] happens to be the Iwasawa algebra of a p-adic Lie group G ≅ H ⋊ ℤp, this set S is Venjakob's canonical Ore set. In particular, our result implies that

is split exact for each n ≥ 0. We also prove the corresponding result for the localisation of ℤp[[G]][] with respect to the Ore set S*. Both sequences play a major role in non-commutative Iwasawa theory.

Let R be a ring with a monomorphism α and an α-derivation δ. We introduce (α, δ)-weakly rigid rings which are a generalisation of α-rigid rings and investigate their properties. Every prime ring R is (α, δ)-weakly rigid for any automorphism α and α-derivation δ. It is proved that for any n, a ring R is (α, δ)-weakly rigid if and only if the n-by-n upper triangular matrix ring Tn(R) is (, )-weakly rigid if and only if Mn(R) is (, )-weakly rigid. Moreover, various classes of (α, δ)-weakly rigid rings is constructed, and several known results are extended. We show that for an (α, δ)-weakly rigid ring R, and the extensions R[x], R[[x]], R[x; α, δ], R[x, x−1; α], R[[x; α]], R[[x, x−1; α]], the ring R is quasi-Baer if and only if the extension over R is quasi-Baer. It is also proved that for an (α, δ)-weakly rigid ring R, if any one of the rings R, R[x], R[x; α, δ] and R[x, x−1; α] is left principally quasi-Baer, then so are the other three. Examples to illustrate and delimit the theory are provided.

This paper gives a characterization of valuations that follow the singular infinitely near points of plane vector fields, using the notion of L'Hôpital valuation, which generalizes a well known classical condition. With that tool, we give a valuative description of vector fields with infinite solutions, singularities with rational quotient of eigenvalues in its linear part, and polynomial vector fields with transcendental solutions, among other results.

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.