2023/09/29 by Wires, Alexander
#03C05 #08A05 #08A35 #FOS: Mathematics #Logic (math.LO) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.2309.16989
For arbitrary varieties of universal algebras, we develop the theory around the first and second-cohomology groups characterizing extensions realizing affine datum. Restricted to varieties with a weak-difference term, extensions realizing affine datum are exactly extensions with abelian kernels. This recovers many classic examples of extensions with abelian coefficients since varieties with a weak-difference term give a far-reaching generalization of algebras like groups with multiple operators; indeed, any variety of algebras whose congruences form modular lattices. We introduce a notion of action and its model relation with a set of equations. In varieties with a difference term, central extensions are characterized by a property of their actions. Restricting further to a subclass of varieties with a difference term which still includes groups with multiple operators, we recover a special case of the representation of extensions with abelian kernels.