{"id":"arxiv/2605.17987","url":"https://arxiv.org/abs/2605.17987","tags":["math.RA","math.RT"],"score":0,"title":"Separability for relative extensions of object unital strongly groupoid graded rings","domain":"math.RA","source":"arxiv","authors":["Zaqueu Cristiano","Patrik Lundström"],"reviews":0,"subject":"math.RA","summary":"We prove that if $R$ is a ring that is object unital and strongly graded by a groupoid $Γ$, and if $Δ$ is a wide subgroupoid of $Γ$, then $R/R_Δ$ is separable if and only if, for each $e \\in Γ_0$, there exist $f \\in [e]$ and $r \\in C_{R_0}(R_Λ) := \\{ x \\in R_0 \\mid xy = yx \\text{ for all } y \\in R_Λ\\}$ with ${\\rm tr}_{Γ/Δ}^f(r) = 1_{R_f}$. Here, $Γ_0$ denotes the set of objects of $Γ$, $[e]$ the connected component of $Γ_0$ containing $e$, $Λ$ the isotropy groupoid of $Δ$, and ${\\rm tr}_{Γ/Δ}^f$ the relative trace map at $f$. This result simultaneously generalizes earlier theorems on…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-18","reactions":{}}