Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Abelian congruences and similarity in varieties with a weak difference term

Ross Willard

TL;DR

This work extends the theory of abelian minimal congruences from congruence-modular settings to varieties with a weak difference term by developing a division-ring-acted difference algebra framework. It defines the difference algebra D(A,theta), its derived φ, and the associated division-ring F_theta, showing that each theta-class carries a left F_theta-vector-space structure and that these actions unify the abelian congruence data across alpha-classes. The paper also generalizes Freese's similarity notion through D(A) and introduces similarity bridges to relate subdirectly irreducible algebras in this broader context, establishing equivalences that connect algebraic centrality with more combinatorial bridge-like structures. Together these results set the stage for applying linear-algebraic reasoning to rectangular critical relations and the CSP Dichotomy framework in companion papers. The work thus provides a coherent, broadly applicable mechanism to compare and classify abelian and similar structures inside locally finite Taylor varieties, with potential implications for finite-model theory and constraint-satisfaction analysis.

Abstract

This is the first of three papers motivated by the author's desire to understand and explain "algebraically" one aspect of Dmitriy Zhuk's proof of the CSP Dichotomy Theorem. In this paper we study abelian congruences in varieties having a weak difference term. Each class of the congruence supports an abelian group structure; if the congruence is minimal, each class supports the structure of a vector space over a division ring determined by the congruence. A construction due to J. Hagemann, C. Herrmann and R. Freese in the congruence modular setting extends to varieties with a weak difference term, and provides a "universal domain" for the abelian groups or vector spaces that arise from the classes of the congruence within a single class of the annihilator of the congruence. The construction also supports an extension of Freese's similarity relation (between subdirectly irreducible algebras) from the congruence modular setting to varieties with a weak difference term.

Abelian congruences and similarity in varieties with a weak difference term

TL;DR

This work extends the theory of abelian minimal congruences from congruence-modular settings to varieties with a weak difference term by developing a division-ring-acted difference algebra framework. It defines the difference algebra D(A,theta), its derived φ, and the associated division-ring F_theta, showing that each theta-class carries a left F_theta-vector-space structure and that these actions unify the abelian congruence data across alpha-classes. The paper also generalizes Freese's similarity notion through D(A) and introduces similarity bridges to relate subdirectly irreducible algebras in this broader context, establishing equivalences that connect algebraic centrality with more combinatorial bridge-like structures. Together these results set the stage for applying linear-algebraic reasoning to rectangular critical relations and the CSP Dichotomy framework in companion papers. The work thus provides a coherent, broadly applicable mechanism to compare and classify abelian and similar structures inside locally finite Taylor varieties, with potential implications for finite-model theory and constraint-satisfaction analysis.

Abstract

This is the first of three papers motivated by the author's desire to understand and explain "algebraically" one aspect of Dmitriy Zhuk's proof of the CSP Dichotomy Theorem. In this paper we study abelian congruences in varieties having a weak difference term. Each class of the congruence supports an abelian group structure; if the congruence is minimal, each class supports the structure of a vector space over a division ring determined by the congruence. A construction due to J. Hagemann, C. Herrmann and R. Freese in the congruence modular setting extends to varieties with a weak difference term, and provides a "universal domain" for the abelian groups or vector spaces that arise from the classes of the congruence within a single class of the annihilator of the congruence. The construction also supports an extension of Freese's similarity relation (between subdirectly irreducible algebras) from the congruence modular setting to varieties with a weak difference term.

Paper Structure

This paper contains 10 sections, 39 theorems, 86 equations, 2 figures.

Table of Contents

  1. Introduction
  2. Definitions
  3. Tools
  4. The difference algebra of an abelian congruence
  5. The classes of an abelian congruence
  6. The division ring of an abelian minimal congruence
  7. Easy case
  8. The general case
  9. Similarity
  10. Conclusion and questions

Key Result

Lemma 2.3

Suppose ${\mathbf{A}},{\mathbf{B}}$ are algebras in a common signature.

Figures (2)

  • Figure 1: $\mathop{\mathrm{Con}}\nolimits({\mathbf{A}})$ and $\mathop{\mathrm{Con}}\nolimits({\mathbf{A}}(\theta))$
  • Figure 2: The semilattice $(S,\wedge)$

Theorems & Definitions (99)

  • Definition 2.1
  • Definition 2.2
  • Lemma 2.3
  • proof
  • Definition 2.4
  • Theorem 2.5
  • proof
  • Lemma 3.1
  • Corollary 3.2
  • proof
  • ...and 89 more