Given an matrix over a unitary ring , the centralizer of in the full matrix ring is called a principal centralizer matrix ring, denoted by . We investigate its structure and prove: If is an invertible matrix with a -free point, or if has no zero-divisors and is a Jordan-similar matrix with all eigenvalues in the center of , then is a separable Frobenius extension of in the sense of Kasch. If is an integral domain and is a Jordan-similar matrix, then is a cellular -algebra in the sense of Graham and Lehrer. In particular, if is an algebraically closed field and is an arbitrary matrix in , then is always a cellular algebra, and the extension $S_n(c,R)\subseteq M_n®$ is always a separable Frobenius extension.

生成讲解博客的中文版本

生成AI智能校验的中文版本