Isomorphism of generalized triangular matrix-rings and recovery of tiles (Q1864291)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1883684
Language Label Description Also known as
default for all languages
No label defined
    English
    Isomorphism of generalized triangular matrix-rings and recovery of tiles
    scientific article; zbMATH DE number 1883684

      Statements

      Isomorphism of generalized triangular matrix-rings and recovery of tiles (English)
      0 references
      0 references
      17 March 2003
      0 references
      The type of question considered here is the following: Let \(I\) and \(J\) be ideals of a ring \(R\) and suppose that the matrix rings \(\left(\begin{smallmatrix} R&I\\ 0&R\end{smallmatrix}\right)\) and \(\left(\begin{smallmatrix} R&J\\ 0&R\end{smallmatrix}\right)\) are isomorphic; can one recover the tiles \(I\) and \(J\) (i.e. do \(I\) and \(J\) have to be isomorphic as \(R\)-\(R\)-bimodules)? In general the answer is ``No''. It is shown that if \(0\) and \(1\) are the only idempotent elements of \(R\) then the tiles can be recovered up to ``twisting'' by automorphisms of \(R\), i.e. there is an additive isomorphism \(s\colon I\to J\) and automorphisms \(f\) and \(g\) of \(R\) such that \(s(axb)=f(a)s(x)g(b)\) for all \(a,b\in R\) and \(x\in I\). The authors have asked me to point out that there is a systematic error in the displayed matrices in the examples at the end of the paper, concerning the \((1,2)\)-entries; for instance \(m\mathbb{Z}\) should be \(\mathbb{Z}/m\mathbb{Z}\), and so on.
      0 references
      bimodules
      0 references
      ideals
      0 references
      matrix rings
      0 references
      idempotents
      0 references
      automorphisms
      0 references

      Identifiers