Title:Invariant algebras of matrices and symmetric polynomials of partitions

Abstract:For a field $R$ of characteristic $p\ge 0$ and a matrix $c$ in the full $n\times n$ matrix algebra $M_n(R)$ over $R$, let $S_n(c,R)$ be the centralizer algebra of $c$ in $M_n(R)$. We show that $M_n(R)$ is always a separable Frobenius extension of $S_n(c,R)$. Further, we introduce a new equivalence relation on partitions and study the isomorphism problem of invariant matrix algebras. Suppose that $\sigma$ and $\tau$ are permutations in the symmetric groups $\Sigma_n$ and $\Sigma_m$, with cycle types $\lambda=(\lambda_1,\cdots,\lambda_s)$ and $\mu=(\mu_1,\cdots,\mu_t)$, respectively, such that $p\nmid \lambda_i$ and $p\nmid \mu_j$ for $1\le i\le s$, $1\le j \le t$. We prove that the invariant algebras $S_n(\sigma, R)$ and $S_m(\tau, R)$ over an algebraically closed field $R$ are isomorphic if and only if $m=n$ and $\epsilon_{\lambda}(x)=\epsilon_{\tau}(x)$, where $\epsilon_{\lambda}(x)$ is the partition polynomial of $\lambda$. They are Morita equivalent if and only if $d_{\lambda}\, \epsilon_{\lambda}(1) = d_{\mu}\, \epsilon_{\mu}(1)$, where $d_{\lambda}$ stands for the greatest common divisor of $\lambda_1,\cdots,\lambda_s$.