Related papers: Separating domains from algebraic domains

An integral domain $D$ is called an SP-domain if every ideal is a product of radical ideals. Such domains are always almost Dedekind domains, but not every almost Dedekind domain is an SP-domain. The SP-rank of $D$ provides a natural…

We show that the Hilbert functor of points on an arbitrary separated algebraic stack is an algebraic space. We also show the algebraicity of the Hilbert stack of points on an algebraic stack and the algebraicity of the Weil restriction of…

We develop a constructive theory of continuous domains from the perspective of program extraction. Our goal that programs represent (provably correct) computation without witnesses of correctness is achieved by formulating correctness…

Let $X$ be an affine algebraic variety with a transitive action of the algebraic automorphism group. Suppose that $X$ is equipped with several non-degenerate fixed point free $SL_2$-actions satisfying some mild additional assumption. Then…

We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which…

Let $K$ be a complete non-trivially valued non-Archimedean field. Given an algebraic group over $K$ on which every regular function is constant, any rigid analytic function is shown to be constant too. It follows that an algebraic group…

In this paper we present the set of intervals as a normed vector space. We define also a four-dimensional associative algebra whose product gives the product of intervals in any cases. This approach allows to give a notion of divisibility…

We classify all non-affine Hopf algebras $H$ over an algebraically closed field $k$ of characteristic zero that are integral domains of Gelfand-Kirillov dimension two and satisfy the condition $\text{Ext}^1_H(k, k) \neq 0$. The affine ones…

Stickelberger proved that the discriminant of a number field is congruent to 0 or 1 modulo 4. We generalize this to an arbitrary (not necessarily commutative) ring of finite rank over the integers using techniques from linear algebra. Our…

We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of…

We show that if $k$ is a countable field, then there exists a finitely generated, infinite-dimensional, primitive algebraic $k$-algebra $A$ whose Gelfand-Kirillov dimension is at most six. In addition to this we construct a two-generated…

It is now a classical result that an algebraic space locally of finite type over $\mathbf{C}$ is analytifiable if and only if it is locally separated. In this paper we study non-archimedean analytifications of algebraic spaces. We construct…

In this paper we show that, for a class of countable graphs, every representation of the associated graph algebra in a separable Hilbert space is unitarily equivalent to a representation obtained via branching systems.

We show that every unital amenable separable simple $C^*$-algebra with finite tracial rank which satisfies the UCT has in fact tracial rank at most one. We also show that unital separable simple $C^*$-algebrass which are "tracially" locally…

Let $G$ be a commutative algebraic group defined over a number field $K$ that is disjoint over $K$ to $\mathbb G_a$ and satisfies the condition of semistability. Consider a linear form $l$ on the Lie algebra of $G$ with algebraic…

Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…

Let $A$ be a finite-dimensional algebra with two simple modules. It is shown that if the derived category of $A$ admits a stratification with simple factors being the base field $k$, then $A$ is derived equivalent to a quasi-hereditary…

In this note, we will prove that a finite dimensional Lie algebra $L$ of characteristic zero, admitting an abelian algebra of derivations $D\leq Der(L)$ with the property $$ L^n\subseteq \sum_{d\in D}d(L) $$ for some $n\geq 1$, is…

Following Elliott's earlier work, we show that the Elliott invariant of any finite separable simple $C^*$-algebra with finite nuclear dimension can always be described as a scaled simple ordered group pairing together with a countable…

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…