<p>According to the theorem of Isaacs, the outer automorphism group of the matrix algebra <InlineEquation ID="IEq1"> <EquationSource Format="TEX">$ M_{n}(R) $</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">$ R $</EquationSource> </InlineEquation> is a unique factorization domain, is trivial for every <InlineEquation ID="IEq3"> <EquationSource Format="TEX">$ n\in{𝕅} $</EquationSource> </InlineEquation>.We study generalizations of this theorem.It is proved that the outer automorphism group of the matrix algebra over an arbitrary highest common factor domain is trivial.For the algebra of formal matrices <InlineEquation ID="IEq4"> <EquationSource Format="TEX">$ {𝕄}_{n}(R;s) $</EquationSource> </InlineEquation> over a unique factorization domain <InlineEquation ID="IEq5"> <EquationSource Format="TEX">$ R $</EquationSource> </InlineEquation>, the outer automorphism group is determined.As&#xa0;a&#xa0;consequence, we obtain a&#xa0;criterion for the isomorphism between the algebra <InlineEquation ID="IEq6"> <EquationSource Format="TEX">$ {𝕄}_{n}(R;s) $</EquationSource> </InlineEquation> and the algebra of formal matrices of order <InlineEquation ID="IEq7"> <EquationSource Format="TEX">$ n $</EquationSource> </InlineEquation> with entries in <InlineEquation ID="IEq8"> <EquationSource Format="TEX">$ R $</EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Outer Automorphism Group of Matrix Rings

  • A. N. Abyzov,
  • D. T. Tapkin

摘要

According to the theorem of Isaacs, the outer automorphism group of the matrix algebra $ M_{n}(R) $ , where $ R $ is a unique factorization domain, is trivial for every $ n\in{𝕅} $ .We study generalizations of this theorem.It is proved that the outer automorphism group of the matrix algebra over an arbitrary highest common factor domain is trivial.For the algebra of formal matrices $ {𝕄}_{n}(R;s) $ over a unique factorization domain $ R $ , the outer automorphism group is determined.As a consequence, we obtain a criterion for the isomorphism between the algebra $ {𝕄}_{n}(R;s) $ and the algebra of formal matrices of order $ n $ with entries in $ R $ .