We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.RA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Rings and Algebras

Title: The local-global property for G-invariant terms

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.
Comments: 22 pages
Subjects: Rings and Algebras (math.RA); Computational Complexity (cs.CC)
MSC classes: 03C05, 08A70, 20B05
Cite as: arXiv:2109.02065 [math.RA]
  (or arXiv:2109.02065v2 [math.RA] for this version)

Submission history

From: Michael Kompatscher [view email]
[v1] Sun, 5 Sep 2021 12:56:50 GMT (25kb)
[v2] Thu, 21 Oct 2021 10:26:15 GMT (3293kb)

Link back to: arXiv, form interface, contact.