Related papers: Dot-product sets and simplices over finite rings

We study surjective homomorphisms f:\prod_I A_i\to B of not-necessarily-associative algebras over a commutative ring k, for I a generally infinite set; especially when k is a field and B is countable-dimensional over k. Our results have the…

Let $G$ be a connected semisimple simply connected Lie group with a compact Cartan subgroup and let $\Gamma$ be a uniform lattice in $G$. Let $\widehat{G}_d$ denote the set of equivalence classes of unitary discrete series representations…

We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…

In the paper, a simple condition guaranteing the finiteness property for a bounded set of matrices is presented. Given a bounded set S of real or complex matrices, it is shown that existence of a sequence of matrix products such that the…

Let $X$ be an Enriques surface defined over a number field $K$. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points of $X$ is Zariski dense.

We prove the consistency of the existence of a $Q$-set whose square is not a $\Delta$-set and that if there is a $\Delta$-set, then there exists a $\Delta$-set whose all finite powers are $\Delta$-sets.

Let $A$ be the product of an abelian variety and a torus over a number field $K$, and let $m$ be a positive integer. If $\alpha \in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak p$ of $K$ such that the…

Suppose C is a bounded chain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,1/x]. Then C is R-finitely dominated, ie, homotopy equivalent over R to a bounded chain complex of finitely generated…

The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (e.g., $\{0\})$ that are closed under the natural metric, but has no prime ideals closed under that metric; hence closed…

The concepts of localizable set, localization of a ring and a module at a localizable set are introduced and studied. Localizable sets are generalization of Ore sets and denominator sets, and the localization of a ring/module at a…

For an (indefinite) scalar product $[x,y]_B = x^HBy$ for $B= \pm B^H \in Gl_n(\mathbb{C})$ on $\mathbb{C}^n \times \mathbb{C}^n$ we show that the set of diagonalizable matrices is dense in the set of all $B$-selfadjoint, $B$-skewadjoint,…

We study the density function of measurable subsets of the Cantor space. Among other things, we identify a universal set $\mathcal{U}$ for $\Sigma^{1}_{1}$ subsets of $( 0 ; 1 )$ in terms of the density function; specifically $\mathcal{U}$…

It was proved in [3] that every h-divisible modules admits an strongly flat cover over all integral domains; and every divisible module over an integral domain R admits a strongly flat cover if and only if R is a Matlis domain. In this…

The endomorphism ring End(A) of an abelian variety A is an order in a semi-simple algebra over Q. The co-index of End(A) is the index to a maximal order containing it. We show that for abelian varieties of fixed dimension over any…

In this article, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either a…

The first part of the paper will describe a recent result of K. Retert in (\cite{Ret}) for $k[x_1,\ldots,x_n]$ and $k[[x_1,\ldots,x_n]]$. This result states that if $\mathfrak{D}$ is a set of commute $k$-derivations of $k[x,y]$ such that…

Let $\mathscr{E}\rightarrow\mathbb{P}^1_\mathbb{Q}$ be a non-trivial rational elliptic surface over $\mathbb{Q}$ with base $\mathbb{P}^1_\mathbb{Q}$ (with a section). We conjecture that any non-trivial elliptic surface has a Zariski-dense…

We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even commutative ring) under…

We study symplectic and projective structures on small covers over products of polygons. We introduce the factor-compatible class for small covers over products of polygons and prove that every factor-compatible small cover admits a smooth…

We prove that for a compact metric space the property of having finite covering dimension is equivalent to the existence of a total order with finite snake number.