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 Semigroup Forumarrow_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
Semigroup Forum
Article . 1985 . 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 . 1985
Data sources: zbMATH Open
versions View all 2 versions
addClaim

Strongly regular rings

Authors: Schein, B.M.; Li, L.;

Strongly regular rings

Abstract

A ring is called strongly regular if its multiplicative semigroup is inverse. This definition is equivalent to more conventional definitions of strongly regular rings [for example, to a definition given by \textit{R. Arens} and \textit{I. Kaplansky}, Trans. Am. Math. Soc. 63, 457-481 (1948; Zbl 0032.00702)]. The authors rely heavily on a previous article by the second author which contains various equivalent characterizations of strongly regular rings [Izv. Vyssh. Uchebn. Zaved. Mat. 1966, No. 2(51), 111-122 (1966; Zbl 0208.298)]. This article contains three theorems. Theorem 1. A regular ring is not strongly regular if and only if it contains an isomorphic copy of the ring of all \(2\times 2\) matrices over a prime field. It follows that the smallest regular but not strongly regular ring has order 16 and is isomorphic to \(Z(2)_ 2\), the ring of \(2\times 2\) matrices over \(Z(2)\), the field of order 2. -- Theorem 2. A semigroup identity is satisfied by idempotents of a regular ring which is not strongly regular if and only if it is satisfied by idempotents of \(Z(2)_ 2\). Let \(u=v\) be a semigroup identity. The initial part of \(u\) is the word obtained from \(u\) by deleting all non-first occurrences of all variables in \(u\). The identity is called coinitial if the initial parts of \(u\) and \(v\) coincide. It is called cofinal if the final parts of \(u\) and \(v\) coincide. Final parts are defined analogously to initial parts. If \(a\) and \(b\) are semigroup words, we write \(a\leq b\) if \(a\) and \(b\) have the same first letter, the same last letter, and each letter occurring in \(a\) occurs in \(b\) as well. If \(a\), \(b\), and \(c\) are (possibly empty) words, then \(b\) is called a subword of the word \(abc\). A segment of a word \(u\) is a subword \(w\) of \(u\) such that the first and last letters of \(w\) are different and both of them occur in \(w\) only once. An identity \(u=v\) is called smooth if, for every segment \(w\) of \(u\) there exists a segment \(w'\) of \(v\) such that \(w'\leq w\), and for every segment \(w'\) of \(v\) there exists a segment \(w\) of \(u\) such that \(w\leq w'\). Theorem 3. A semigroup identity is satisfied by idempotents of a regular ring which is not strongly regular if and only if it is coinitial, cofinal, and smooth. Thus one obtains an effective algorithm which determines whether an identity satisfied by idempotents of a regular ring forces the ring to be strongly regular.

Country
Germany
Keywords

Free semigroups, generators and relations, word problems, multiplicative semigroup, Semigroup rings, multiplicative semigroups of rings, initial parts, ring of \(2\times 2\) matrices, Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras), Endomorphism rings; matrix rings, semigroup identity, Article, Conditions on elements, 510.mathematics, von Neumann regular rings and generalizations (associative algebraic aspects), idempotents, strongly regular rings, semigroup words

  • 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).
    0
    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).
    Average
    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!
0
Average
Average
Average
Green