Related papers: A {\omega}-REA Set Forming A Minimal Pair With 0'

The main result of the present paper is that the stable and unstable C*-algebras associated to a mixing Smale space always contain nonzero projections. This gives a positive answer to a question of the first listed author and Karen Strung…

In the well-known construction of the field of fractions of an integral domain, division by zero is excluded. We introduce "fracpairs" as pairs subject to laws consistent with the use of the pair as a fraction, but do not exclude…

Non-Abelian duality transformations built on non-semi-simple isometry groups are analysed. We first give the conditions under which the original non-linear sigma model and its non-Abelian dual are equivalent. The existence of an invariant…

The purpose of this article is to give, for any commutative ring A, an explicit minimal set of generators for the ring of multisymmetric functions TS^d_A(A[x_1,...,x_r]) as an A-algebra. In characteristic zero, i.e. when A is an algebra…

We establish the minimal model theory for normal pairs along log canonical locus in the complex analytic setting. This is the complex analytic analog of the previous result by the author.

We show that there are simple groups with a spherical BN-pair of rank 2 which are non-Moufang and hence not of algebraic origin.

It is shown that any set of nonzero monomial prime ideals can be realized as the stable set of associated prime ideals of a monomial ideal. Moreover, an algorithm is given to compute the stable set of associated prime ideals of a monomial…

In this article we prove the topological minimality of unions of several almost orthogonal planes of arbitrary dimensions. A particular case was proved in arXiv:1103.1468, where we proved the Almgren minimality (which is a weaker property…

We study the conditions under which a semigroup is obtained upon convex combinations of channels. In particular, we study the set of Pauli and generalized Pauli channels. We find that mixing only semigroups can never produce a semigroup.…

The set $S(n)$ of all elementary symmetric polynomials in $n$ variables is a minimal generating set for the algebra of symmetric polynomials in $n$ variables, but over a finite field ${\mathbb F}_q$ the set $S(n)$ is not a minimal…

Let $A$ be a unital C$^*$-algebra with unity $1_A$. A pair of elements $0 \le a, b \le 1_A$ in $A$ is said to be \emph{absolutely compatible} if, $\vert a - b \vert + \vert 1_A - a - b \vert = 1_A.$ In this paper we provide a complete…

Let R be a ring and let G be a group. We prove a rather curious necessary and sufficient condition for the commutative group ring RG to be weakly nil-neat only in terms of R,G and their sections. This somewhat expands three recent results,…

Does there exist for any $\sigma$-algebra a minimal (with respect to inclusion) generating set? We formulate this problem and answer it in the very special instance of partition generated and standard measurable spaces, the general case…

Let $W,W'\subseteq G$ be nonempty subsets in an arbitrary group $G$. The set $W'$ is said to be a complement to $W$ if $WW'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. We show that, if $W$ is finite then every…

We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory. Specifically, no nonstandard model of arithmetic has a computable quotient presentation by a…

We established two-sided Curto-Herrero conjecture for pairs of matrices, where the first matrix has a simple spectrum. Namely, it is shown that these pairs are separated by ranks of non-commutative polynomials in matrices. Moreover, we…

Suppose that M is countable, binary, primitive, homogeneous, and simple, and hence 1-based. We prove that the SU-rank of the complete theory of M is~1. It follows that M is a random structure. The conclusion that M is a random structure…

We show that there exists a non-empty special $\Pi^0_1$ class in which no member is a minimal cover for any set, hence prove that degrees of minimal covers cannot be a basis for $\Pi^0_1$ classes.

Let $S_g$ denote the genus $g$ closed orientable surface. A \emph{coherent filling pair} of simple closed curves, $(\alpha,\beta)$ in $S_g$, is a filling pair that has its geometric intersection number equal to the absolute value of its…

We construct coarse moduli spaces for `Brill-Noether pairs'. Such a pair consists of a torsion-free sheaf $E$ over an algebraic curve $X$ and a vector subspace $\Lambda$ of its space of sections $H^0(E)$. The construction works for an…