Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Israel Journal of Ma...arrow_drop_down
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Israel Journal of Mathematics
Article . 1996 . Peer-reviewed
License: Springer TDM
Data sources: Crossref
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 1996
Data sources: zbMATH Open
versions View all 2 versions
addClaim

Recognition of matrix rings II

Recognition of matrix rings. II
Authors: Agnarsson, G.; Amitsur, S. A.; Robson, J. C.;

Recognition of matrix rings II

Abstract

Let \(R\) be a ring with identity element 1. Various criteria are known for \(R\) to be a full \(n\) by \(n\) matrix ring, and the present paper follows on part I by \textit{J. C. Robson} [Commun. Algebra 19, No. 7, 2113-2124 (1991; Zbl 0731.16018)] who showed, for instance, that \(R\) is an \(n\) by \(n\) matrix ring if and only if \(R\) has elements \(a\) and \(f\) such that \(f^n=0\) and \(af^{n-1}+faf^{n-2}+\dots+f^{n-2}af+f^{n-1}a=1\). Several new criteria are given, which involve relations with fewer terms or fewer elements than previous ones. In terms of ``three element relations'', it is shown that \(R\) being an \(n\) by \(n\) matrix ring is equivalent to each of the following: (1) \(R\) has elements \(a\), \(b\), \(f\) such that \(f^n=0\) and \(af^{n-1}+fb=1\); (2) \(R\) has elements \(a\), \(b\), \(f\) such that \(f^n=0\) and \(af^u+f^vb=1\) for some positive integers \(u\) and \(v\) with \(u+v=n\). Also, if \(R\) is the \(k\)-algebra freely generated by elements \(a\), \(b\), \(f\) subject only to the relations in (1), then \(R\) is isomorphic to the \(n\) by \(n\) matrix ring over the free \(k\)-algebra on \(n^2\) generators. The situation for ``two element relations'' is more complicated. For instance if \(n\) is at least 3 then there is no two-element version of (1), i.e. there is no non-trivial ring with elements \(a\), \(f\) such that \(f^n=0\) and \(af^{n-1}+fa=1\). There is a similar problem with the two-element version of (2) when \(u\neq v\). On the other hand, several positive results are proved involving two-element criteria. As an application, the paper ends by showing that certain factor rings of rings of differential operators in characteristic \(p\) are \(p^n\) by \(p^n\) matrix rings.

Related Organizations
Keywords

Conditions on elements, \(n\) by \(n\) matrix rings over free \(k\)-algebras on \(n^ 2\) generators, Ordinary and skew polynomial rings and semigroup rings, three element relations, factor rings of rings of differential operators, Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras), Endomorphism rings; matrix rings, Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting), full \(n\) by \(n\) matrix rings

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    11
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
11
Average
Top 10%
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!