{"id":"arxiv/2610.02547","url":"https://arxiv.org/abs/2610.02547","tags":["math.LO","math.NA","math.RT"],"score":0,"title":"Uniform Computability of Isotypic Block Diagonalization for Finite-Group Representations","domain":"math.LO","source":"arxiv","authors":["Konrad Burnik"],"reviews":0,"subject":"math.LO","summary":"We study the universal isotypic block-diagonalization problem in the Type-2 theory of effectivity (TTE). We obtain a uniform computability result for the universal block diagonalizer for commutants of given finite group representations. As an application, when the given representation is orthogonal, we compute ordinary $QR$ factorizations blockwise in the isotypic basis. After transforming back to the original coordinates this yields a factorization $A=QX$, where $Q$ is orthogonal and $X$ is generally not upper triangular. Moreover, given a Wedderburn-adapted orthogonal basis, the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-01","reactions":{}}