Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe local-global property for G-invariant terms
72
0
0.0
(
0
)
Added by
Michael Kompatscher
Publication date
2021
fields
Informatics Engineering
and research's language is
English
Ask ChatGPT about the research
No Arabic abstract
For some Maltsev conditions $Sigma$ it is enough to check if a finite algebra $mathbf A$ satisfies $Sigma$ locally on subsets of bounded size, in order to decide, whether $mathbf A$ satisfies $Sigma$ (globally). This local-global property is the main known source of tractability results for deciding Maltsev conditions. In this paper we investigate the local-global property for the existence of a $G$-term, i.e. an $n$-ary term that is invariant under permuting its variables according to a permutation group $G leq$ Sym($n$). Our results imply in particular that all cyclic loop conditions (in the sense of Bodirsky, Starke, and Vucaj) have the local-global property (and thus can be decided in polynomial time), while symmetric terms of arity $n>2$ fail to have it.
rate research
Read More
We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of dimension at most $N$, where the number $N$ depends on the arities of basic operations of the algebra and the size of the basic set. For finite idempotent algebras we give a tight bound on $N$ that, in the special case of algebras with more than $binom{|A|}2$ basic operations, improves an earlier result of K. Kearnes and A. Szendrei. On the algorithmic side, we show that deciding the existence of cube terms is in P for idempotent algebras and in EXPTIME in general. Since an algebra contains a $k$-ary near unanimity operation if and only if it contains a $k$-dimensional cube term and generates a congruence distributive variety, our algorithm also lets us decide whether a given finite algebra has a near unanimity operation.
We show that for a fixed positive integer k one can efficiently decide if a finite algebra A admits a k-ary weak near unanimity operation by looking at the local behavior of the terms of A. We also observe that the problem of deciding if a given finite algebra has a quasi Taylor operation is solvable in polynomial time by looking, essentially, for local quasi Siggers operations.
Motivated by trying to find a new proof of Artins theorem on positive polynomials, we state and prove a Positivstellensatz for preordered semirings in the form of a local-global principle. It relates the given algebraic order on a suitably well-behaved semiring to the geometrical order defined in terms of a probing by homomorphisms to test algebras. We introduce and study the latter as structures intended to capture the behaviour of a semiring element in the infinitesimal neighbourhoods of a real point of the real spectrum. As first applications of our local-global principle, we prove two abstract non-Archimedean Positivstellensatze. The first one is a non-Archimedean generalization of the classical Positivstellensatz of Krivine-Kadison-Dubois, while the second one is deeper. A companion paper will use our second Positivstellensatz to derive an asymptotic classification of random walks on locally compact abelian groups. As an important intermediate result, we develop an abstract Positivstellensatz for preordered semifields which states that a semifield preorder is always the intersection of its total extensions. We also introduce quasiordered rings and develop some of their theory. While these are related to Marshalls $T$-modules, we argue that quasiordered rings offer an improved definition which puts them among the basic objects of study for real algebra.
We study the relationship between the local and global Galois theory of function fields over a complete discretely valued field. We give necessary and sufficient conditions for local separable extensions to descend to global extensions, and for the local absolute Galois group to inject into the global absolute Galois group. As an application we obtain a local-global principle for the index of a variety over such a function field. In this context we also study algebra
In this paper, we focus on the duo ring property via quasinilpotent elements which gives a new kind of generalizations of commutativity. We call this kind of ring qnil-duo. Firstly, some properties of quasinilpotents in a ring are provided. Then the set of quasinilpotents is applied to the duo property of rings, in this perspective, we introduce and study right (resp., left) qnil-duo rings. We show that this concept is not left-right symmetric. Among others it is proved that if the Hurwitz series ring $H(R; alpha)$ is right qnil-duo, then $R$ is right qnil-duo. Every right qnil-duo ring is abelian. A right qnil-duo exchange ring has stable range 1.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
