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

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

arXivarxiv/2602.01178Feb 1, 2026math.RAscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2602.01178
curl -X POST /api/v1/records/arxiv/2602.01178/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.01178/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'