{"id":"arxiv/2607.28656","url":"https://arxiv.org/abs/2607.28656","tags":["math.RA","math.AG"],"score":0,"title":"Typed Congruences and Quotient-Critical Irreducibility in Complete Ternary $Γ$-Semirings","domain":"math.RA","source":"arxiv","authors":["Chandrasekhar Gokavarapu","Madhusudhana Rao Dasari"],"reviews":0,"subject":"math.RA","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-14","reactions":{}}