Ideals of tensor products of division algebras and primitive algebras (Q800997)

Let \({\mathfrak M}_ i(i=1,2)\) be a vector space over the field \(\Phi\), \({\mathfrak A}_ i\) be the irreducible algebra of linear transformations in \({\mathfrak M}_ i\), \({\mathfrak G}_ i\) be the nonzero socle of \({\mathfrak A}_ i\), and \(\Delta_ i\) be the centralizer of \({\mathfrak M}_ i\) as right \({\mathfrak A}_ i\)-module. Then the lattice of right ideals of \(\Delta_ 1\otimes_{\Phi} \Delta_ 2\) is isomorphic to the lattice of submodules of \(M_ 1\otimes_{\Phi} M_ 2\) as right \({\mathfrak A}_ 1\otimes {\mathfrak A}_ 2\)-module (Azumaya-Nakayama theorem). The author generalizes this result (and a result of the reviewer) as follows: Let \({\mathfrak M}'\!_ i\) be the dual vector space of \({\mathfrak M}_ i\) associated with \({\mathfrak A}_ i\), then the lattice of left ideals of \(\Delta_ 1\otimes \Delta_ 2\) is isomorphic to the lattice of submodules of \({\mathfrak M}'\!_ 1\otimes {\mathfrak M}'\!_ 2\) as left \({\mathfrak A}_ 1\otimes {\mathfrak A}_ 2\)-module; the lattice of right ideals of \({\mathfrak G}_ 1\otimes {\mathfrak G}_ 2\) is isomorphic to the lattice of submodules of \({\mathfrak M}'\!_ 1\otimes {\mathfrak M}'\!_ 2\) as right \(\Delta_ 1\otimes \Delta_ 2\)-module; and the lattice of two- sided ideals of \({\mathfrak G}_ 1\otimes {\mathfrak G}_ 2\) is isomorphic to the lattice of two-sided ideals of \(\Delta_ 1\otimes \Delta_ 2\).