arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2602.01178math.RA
收藏

从半环的减法理想到一般代数中的推导集和归纳集

From subtractive ideals of semirings to deductive and inductive sets in general algebras

National Institute for Theoretical and Computational Sciences(国家理论与计算科学研究所);Department of Mathematics and Applied Mathematics, University of Johannesburg(约翰内斯堡大学数学与应用数学系);Mathematics Division, Department of Mathematical Sciences, Stellenbosch University(斯坦陵布什大学数学科学系数学分部);Department of Computing, Mathematical, and Statistical Sciences, University of Namibia(纳米比亚大学计算、数学与统计科学系)

Elena Caviglia, Amartya Goswami, Zurab Janelidze, Luca Mesiti, Vaino T. Shaumbwa

AI总结:

本文将半环中核的特征化扩展到一般代数,并分析了不同代数设置中"减法"和"理想"的对应物。

摘要:

在本文中,我们将半环中核的特征化扩展到一般代数。然后我们分析了不同代数设置中"减法"和"理想"的对应物。

英文摘要:

Kernels of semiring homomorphisms are precisely the subtractive ideals. We extend this decomposition of normality to general algebras by introducing inductive and deductive sets, which turn out to correspond to the two directions of the biconditional in Mal'tsev's criterion for a congruence class. In semirings, inductivity recovers idealhood for subsets containing zero, and deductivity of an ideal recovers subtractivity. Their generation processes, described by polynomials or equivalently by reflexive compatible relations (semicongruences), give two ranks measuring the numbers of steps required uniformly in a variety. We show that apart from the trivial cases, any pair of positive integers or infinity is the inductive-deductive rank pair of some variety. For the variety of semirings, the rank pair is $(1,\infty)$, while for any non-trivial Mal'tsev variety, it is $(1,1)$. For varieties of finite-group actions, inductive rank is expressed exactly in terms of directed Cayley-graph diameters, while deductive rank is related to undirected diameters after symmetrization. We compute both ranks of these action varieties for every finite abelian group in terms of its invariant factors, and obtain their complete spectrum. We also establish special spectrum theorems for subtractive varieties and several classes of ordered algebras. Finally, we characterise structural properties of algebras and varieties by conditions on induction and deduction.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑