Typed Congruences and Quotient-Critical Irreducibility in Complete Ternary $Γ$-Semirings
We study congruences and binary reducibility in completely additive ternary $Γ$-semirings through their two-sorted atomic cores. For an odd $m\geq3$, an abelian group $G$ of exponent dividing $m-1$, and $u,v\in G$, we construct a two-branch symmetric $m$-ary band $F_m(G;u,v)$. We prove \[ \Con(F_m(G;u,v))\cong\operatorname{Sub}(G)\times B_2 \] and classify every carrier--index congruence pair: $(θ,φ)$ is typed exactly when $θ$ is an ordinary congruence and $φ$ refines $θ$. We also give a quotient-by-quotient reducibility criterion. In the finite case, $F_m(G;u,v)$ is quotient-critically…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.28656
curl -X POST /api/v1/records/arxiv/2607.28656/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.28656/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'