Related papers: Toric splittings
We deal with various splitting methods in algebraic logic. The word `splitting' refers to splitting some of the atoms in a given relation or cylindric algebra each into one or more subatoms obtaining a bigger algebra, where the number of…
Let $A$ be a (not necessarily unital) separable non-elementary simple amenable C*-algebra whose tracial basis may not have finite covering dimension and may not be compact but satisfies certain condition (C). We show that $A$ is ${\cal…
We investigate the relationship between coseparable and semisimple corings. In particular we prove that a coring over a separable algebra is coseparable if and only if it is absolutely semisimple.
We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…
We use a polyhedral criterion for the existence of diagonal splittings to investigate which toric varieties X are diagonally split. Our results are stated in terms of the vector configuration given by primitive generators of the…
In this paper, we prove the canonical trace ideal trace(omega_A) is an Ulrich ideal for any two-dimensional rational triple point A. Using this, we classify all Ulrich ideals on rational triple points. Moreover, we show that if (A, m) is a…
This short note solves the following problem: Given a map of normal toric varieties corresponding to a coherent subdivision of a cone, find an ideal such that the given map is the blowup of that ideal.
In this paper it is shown that a sortable ideal $I$ is Freiman if and only if its sorted graph is chordal. This characterization is used to give a complete classification of Freiman principal Borel ideals and of Freiman Veronese type ideals…
In this paper, the concepts of binomial difference ideals and toric difference varieties are defined and their properties are proved. Two canonical representations for Laurent binomial difference ideals are given using the reduced Groebner…
We describe first-degree prime ideals of biquadratic extensions in terms of first-degree prime ideals of two underlying quadratic fields. The identification of the prime divisors is given by numerical conditions involving their ideal norms.…
Let R be a commutative noetherian ring. Lindo and Pande have recently posed the question asking when every ideal of R is isomorphic to some trace ideal of R. This paper studies this question and gives several answers. In particular, a…
Let $R$ be a commutative ring. When is a subgroup of $(R, +)$ an ideal of $R$? We investigate this problem for the rings $\mathbb{Z}^{d}$ and $\prod_{i=1}^{d} \mathbb{Z}_{n_{i}}$. For various subgroups of these rings we obtain necessary and…
Important subalgebras of a Lie algebra of an algebraic group are its toral subalgebras, or equivalently (over fields of characteristic 0) its Cartan subalgebras. Of great importance among these are ones that are split: their action on the…
We give a necessary and sufficient condition on a visual splitting of an Artin group satisfying the conditions of two well known conjectures to be acylindrical, and demonstrate how this can be used to provide a large class of novel examples…
An ideal $I$ of a ring $R$ is square stable if $aR+bR=R$ with $a\in I$ and $b\in R$ implies that $a^2+by$ is invertible in $I$ for some $y\in I$. We prove that an exchange ideal $I$ of a ring $R$ is square stable if and only if for any…
A simple sufficient condition for certain cyclic algebras of odd degree d to be split is presented. It employs certain binary forms of degree d and the values they represent. A similar sufficient condition for certain Albert algebras not to…
It is shown that if $A$ is a regular local ring and $I$ is a maximally differential ideal in $A$, then $I$ is generated by an $A$-sequence.
An ideal I is robust if its universal Gr\"obner basis is a minimal generating set for this ideal. In this paper, we generalize the meaning of robust ideals. An ideal is defined as generalized robust if its universal Gr\"obner basis is equal…
The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or…
A set $A$ is said to split a finite set $B$ if exactly half the elements of $B$ (up to rounding) are contained in $A$. We study the dual notions: (1) splitting family, which is a collection of sets such that any subset of $\{1,\ldots,k\}$…