Related papers: Theoretic--model Properties of Regular Polygons
We use the theory of resultants of polynomials to study the stability of an arbitrary polynomial over a finite field, that is, the property of having all its iterates irreducible. This result partially generalises the quadratic polynomial…
In this paper, we focus on the associated primes of powers of monomial ideals and asymptotic behavior properties such as normally torsion-freeness, normality, the strong persistence property, and the persistence property. In particular, we…
A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…
A finitely generated quadratic module or preordering in the real polynomial ring is called stable, if it admits a certain degree bound on the sums of squares in the representation of polynomials. Stability, first defined explicitly by…
We make two contributions to the study of theory combination in satisfiability modulo theories. The first is a table of examples for the combinations of the most common model-theoretic properties in theory combination, namely stable…
In our earlier article~\cite{CanSakran} we initiated a study of the complement-finite submonoids of the group of integer points of a unipotent linear algebraic group. In the present article, we continue to develop tools and techniques for…
A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…
We study non-orthogonality of symmetric, regular types and show that it preserves generic stability and is an equivalence relation on the set of all generically stable, regular types. We will also prove that some of the nice properties from…
The purpose of this note is to study some algebraic properties of irreducible ideals of monoids. We establish relations between irreducible, prime, and semiprime ideals. We explore some properties of irreducible ideals in local, Noetherian,…
We consider ideals in a polynomial ring that are generated by regular sequences of homogeneous polynomials and are stable under the action of the symmetric group permuting the variables. In previous work, we determined the possible…
We prove homological stability for both general linear groups of modules over a ring with finite stable rank and unitary groups of quadratic modules over a ring with finite unitary stable rank. In particular, we do not assume the modules…
In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to…
We describe the structure of the monoid of natural-valued monotone functions on an arbitrary poset. For this monoid we provide a presentation, a characterization of prime elements, and a description of its convex hull. We also study the…
We study combinatorial configurations with the associated point and line graphs being strongly regular. Examples not belonging to known classes such as partial geometries and their generalizations or elliptic semiplanes are constructed.…
We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…
This paper develops the fundamentals of modular representation theory for finite monoids, introducing the decomposition matrix and exploring its connection to Brauer characters. We define modular characteristic and explain how the…
We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…
We study two partial orders on $[x_1,...,x_n]$, the free abelian monoid on ${x_1,...,x_n}$. These partial orders, which we call the ``strongly stable'' and the ``stable'' partial order, are defined by the property that their filters are…
We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…
Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory.…