Related papers: A dichotomy for Polish modules

We give a method of producing a Polish module over an arbitrary subring of $\mathbb Q$ from an ideal of subsets of $\mathbb N$ and a sequence in $\mathbb N$. The method allows us to construct two Polish $\mathbb Q$-vector spaces, $U$ and…

We develop a technique to construct finitely injective modules which are non trivial, in the sense that they are not direct sums of injective modules. As a consequence, we prove that a ring $R$ is left noetherian if and only if each…

The theory of standard bases in polynomial rings with coefficients in a ring R with respect to local orderings is developed. R is a commutative Noetherian ring with 1 and we assume that linear equations are solvable in R.

Our first motivation was the question: can a countable structure have an automorphism group, which a free uncountable group? This is answered negatively in [Sh:744]. Lecturing in a conference in Rutgers, February 2001, I was asked whether I…

We extend classical results of Rado on partition regularity of systems of linear equations with integer coefficients to the case when the coefficient ring is either an arbitrary integral domain or a noetherian ring. In particular, we show…

Let $M$ be either an $F$-finite $F$-module over a noetherian regular ring of characteristic $p > 0$ or a holonomic $D$-module over a formal power series ring over a field of characteristic zero. We prove that $\injdim_R M$ enjoys a…

We show that if an equivalence relation $E$ on a Polish space is a countable union of smooth Borel subequivalence relations, then there is either a Borel reduction of $E$ to a countable Borel equivalence relation on a Polish space or a…

In this paper we study standard bases for submodules of a mixed power series and polynomial ring $R[[t_1,\ldots,t_m]][x_1,\ldots,x_n]^s$ respectively of their localization with respect to a $t$-local monomial ordering for a certain class of…

Let $M=I$ or $M=\mathbb{S}^1$ and let $k\geq 1$. We exhibit a new infinite class of Polish groups by showing that each group $\mathop{\rm Diff}_+^{k+AC}(M)$, consisting of those $C^k$ diffeomorphisms whose $k$-th derivative is absolutely…

It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…

Among the finitely generated modules over a Noetherian ring R, the semidualizing modules have been singled out due to their particularly nice duality properties. When R is a normal domain, we exhibit a natural inclusion of the set of…

We consider the Polish group obtained as the rank-completion of an inductive limit of finite special linear groups. This Polish group is topologically simple modulo its center, it is extremely amenable and has no non-trivial strongly…

A Banaschewski function on a bounded lattice L is an antitone self-map of L that picks a complement for each element of L. We prove a set of results that include the following: (1) Every countable complemented modular lattice has a…

Let $R$ be local Noetherian ring of depth at least two. We prove that there are indecomposable $R$-modules which are free on the punctured spectrum of constant, arbitrarily large, rank.

Let C be a bounded cochain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,1/x,y,1/y]. The complex C is called R-finitely dominated if it is homotopy equivalent over R to a bounded complex of finitely…

Let $K$ be a field, and let $R = K[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $K$. Let ${\mathfrak S}_{X}$ be the symmetric group of $X$. The group ${\mathfrak S}_{X}$ acts naturally on $R$, and this in…

It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group $S_\infty$ is continuous. It is…

We define a Polish topology inspired from the Gandy-Harrington topology and show how it can be used to prove Silver's dichotomy theorem while remaining in the Polish realm. In this topology, a $\Pi^1_1$ equivalence relation decomposes into…

Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…

We show that a set of non-negative reals is the distance set of a separable complete metric space if and only if it is either countable or is an analytic set which has 0 as a limit point. We also consider spaces with simpler distance sets.