On the tensor products of algebras (Q1107604)

Let A be an irreducible F-algebra of linear transformations on a vector space M over F, acting on the right, and set \(D=End_ A(M)\) and \(S=Soc(A)\). This paper contains a number of interesting theorems which extend known results about the relation between \(A\otimes B\) and \(D\otimes B\), for B an F-algebra. We state only a few of the author's results. Replacing A, M, D, and S with \(A_ i\), \(M_ i\), \(D_ i\) and \(S_ i\) for \(i=1,2\), the author proves that there is a lattice isomorphism between the \(A_ 1\otimes A_ 2\) submodules of \(M_ 1\otimes M_ 2\) and the right ideals of \(D_ 1\otimes D_ 2\), and between the left \(D_ 1\otimes D_ 2\) submodules of \(M_ 1\otimes M_ 2\) and the left ideals of \(A_ 1\otimes A_ 2\) contained in \(S_ 1\otimes S_ 2\). Also, \(D_ 1\otimes D_ 2\) and \(S_ 1\otimes S_ 2\) are simple rings, and \(D_ 1\otimes D_ 2\) is Artinian if and only if \(Soc(S_ 1\otimes S_ 2)\neq 0\). Given an F-algebra B, let B * be the algebra obtained by adjoining an identity to B. When B is a faithful B bimodule, one again gets lattice isomorphisms: between the \(A\otimes B\) * submodules of \(M\otimes B\) and the right ideals of \(D\otimes B\) which are \(D\otimes B\) * modules; between the left \(D\otimes B\) * submodules of \(M\otimes B\) and the left ideals of \(A\otimes B\) which are also left \(S\otimes B\) * modules; and between the \(D\otimes B\) * bimodules of \(D\otimes B\) and the ideals of \(A\otimes B\) which are \(S\otimes B\) * bimodules. As for structure theorems, the author proves that \(A\otimes B\) is primitive when \(D\otimes B\) is, and conversely when \(S\neq 0\); that \(D\otimes B\) is simple with nonzero socle if and only if \(A\otimes B\) is primitive with socle \(S\otimes B\); and if \(S\neq 0\) then \(A\otimes B\) is semi-prime, prime, has nonzero heart, or has nonzero nil radical exactly when \(D\otimes B\) satisfies the same property.