Related papers: A dichotomy for Polish modules

The structure of cyclically pure injective modules over a commutative ring $R$ is investigated and several characterizations for them are presented. In particular, we prove that a module $D$ is cyclically pure injective if and only if $D$…

In this document we define a method of proof that we call proof by dichotomy. Its field of application is any proposition on the set of natural numbers N. It consists in the repetition of a step. A step proves the proposition for half of…

We formulate a lattice theoretical Jordan normal form theorem for certain nilpotent lattice maps satisfying the so called JNB conditions. As an application of the general results, we obtain a transparent Jordan normal base of a nilpotent…

We prove that any Galois extension of commutative rings with normal basis and abelian Galois group of odd order has a self dual normal basis. Also we show that if S/R is an unramified extension of number rings with Galois group of odd order…

We give a classification of unitary representations of certain Polish, not necessarily locally compact, groups: the groups of all measurable functions with values in the circle and the groups of all continuous functions on compact, second…

Suppose $\Gamma$ is a submonoid of a lattice, not containing a line. In this note, we use the natural $\Gamma$-grading on the monoid algebra $R[\Gamma]$ to prove structural results about the relative $K$-theory $K(R[\Gamma], R)$. When $R$…

A module is called absolutely indecomposable if it is directly indecomposable in every generic extension of the universe. We want to show the existence of large abelian groups that are absolutely indecomposable. This will follow from a more…

We give a constructive proof that $R[X]$ is normal when $R$ is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is based on the case where $R$ is without zero divisors, which is…

A sectionally complemented modular lattice L is coordinatizable if it is isomorphic to the lattice L(R) of all principal right ideals of some von Neumann regular (not necessarily unital) ring R. We say that L has a large 4-frame if it has a…

Computing modular coincidences can show whether a given substitution system, which is supported on a point lattice in R^d, consists of model sets or not. We prove the computatibility of this problem and determine an upper bound for the…

Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite rank) if TorR(A) is artinian and A/TorR(A) has finite R-rank. The authors study ZG-modules A such that A/CA(H) is artinian-by-(finite rank) (as a Z-module) for…

We study modules for the divided power algebra $D$ in a single variable over a commutative noetherian ring $k$. Our first result states that $D$ is a coherent ring. In fact, we show that there is a theory of Gr\"obner bases for finitely…

Let R be a polynomial ring over k(u), where k is a field k and u is a finite family or inderterminates. The paper introduces the specialization of an arbitrary finitely generated R-module by the substitution of u to elements of k. This…

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

We give an alternative proof of a fact that a finite continuous non-decreasing submodular set function on a measurable space can be expressed as a supremum of measures dominated by the function, if there exists a class of sets which is…

It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…

We show that the condition of being categorical in a tail of cardinals can be characterized algebraically for several classes of modules. $Theorem.$ Assume $R$ is an associative ring with unity. 1. The class of locally pure-injective…

We study Polish spaces for which a set of possible distances $A \subseteq \mathbb{R}^+$ is fixed in advance. We determine, depending on the properties of $A$, the complexity of the collection of all Polish metric spaces with distances in…

We show that the commutator subgroup of the group of unitaries connected to the identity in a simple unital C*-algebra is simple modulo its center. We then go on to investigate the role of regularity properties in the structure of the…

Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…