×

Maximal right nearring of quotients and semigroup generalized polynomial identity. (English) Zbl 1039.16040

Quotient near-rings have been studied before by several authors, mainly using a type of Ore condition. The approach in this paper is different. The near-rings considered are right zero-symmetric near-rings. Such a near-ring \(N\) is 3-semiprime if \(xNx\neq 0\) for any non-zero element \(x\in N\). It is equiprime if for any \(a,b,c\in N\), with \(a\neq 0\) the condition \(axc= axb\) for all \(x\in N\) implies \(b= c\). The present approach derives from Y. Utumi [Osaka Math. J. 8, 1–18 (1956; Zbl 0070.26601)] as developed in K. I. Beidar, W. S. Martindale III and A. V. Mikhalev [Rings with generalized identities, Marcel Dekker, New York (1996; Zbl 0847.16001)].
The approach is to consider the set \(D(N)\) of all dense right \(N\) invariant subsets of \(N\), that is subsets \(M\) of \(N\) invariant under multiplication on the right by \(N\) such that if \(x, y\in N\) with \(x\neq 0\) there exists \(z\in N\) such that \(xz\neq 0\) and \(yz\in M\). The set of pairs \((f, J)\) is defined where \(J\in D(N)\) and \(f\) is an \(N\) homomorphism from \(J\) to \(N\), the action of \(N\) on \(J\) and \(N\) being right multiplication. By taking suitable equivalence classes of such pairs and defining addition and multiplication on them, the maximal near-ring of quotients \({\mathcal Q}_{mr}(N)\) is obtained. It contains \(N\), has a unity and is unique up to isomorphism. If \(N\) is 3-semiprime, 3-prime or equiprime, then so is \({\mathcal Q}\). The process of constructing \({\mathcal Q}(N)\) is idempotent. The near-ring \({\mathcal Q}(N)\) is von Neumann regular if and only if \(N\) is right non-singular, that is for any element \(x\in N\) there exists a non-zero right \(N\) subset \(Z_x\) such that \(xy\neq xz\) for all \(y, z\in Z_x\) with \(y\neq z\). If \(N\) is zero-symmetric, 3-prime with a minimal left \(N\)-subgroup \(L\) such that \(L= Ne\) for an idempotent \(e\), then \(G= eNe\setminus\{0\}\) is a fixed point free group of automorphisms of \((L, +)\), and \({\mathcal Q}(N)\) is isomorphic to the centralizer near-ring \(M_G(L)\), where \({\mathcal Q}\) acts on \(L\) by left multiplication. There are several more results along these lines and an example to show that \(R\) can be a prime ring with its maximal right ring of quotients distinct from its maximal right near-ring of quotients.
The final section considers the Martindale centroid of \(N\) (the mulplicative centre of \({\mathcal Q}(N)\)) and multilinear semigroup generalized identities, the precise definition of which is rather lengthy. The authors are able to show, among other things, that an equiprime near-ring satisfies a nontrivial multilinear semigroup generalized identity if and only if it is a centralizer near-ring determined by a commutative group of fixed point free automorphisms on an additive group. As is apparent, there are a substantial number of interesting results in this paper.

MSC:

16Y30 Near-rings
16S90 Torsion theories; radicals on module categories (associative algebraic aspects)
16R50 Other kinds of identities (generalized polynomial, rational, involution)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] S. A. Amitsur, Generalized polynomial identities and pivotal monomials, Trans. Amer. Math. Soc. 114 (1965), 210–226. · Zbl 0131.03202 · doi:10.1090/S0002-9947-1965-0172902-9
[2] K. I. Beidar, Rings with generalized identities III, Moscow Univ. Math. Bull. 33(4) (1978), 53–58. · Zbl 0407.16002
[3] K. I. Beidar, L. A. Bokut and Y. Fong, Prime rings with semigroup generalized identity, Comm. Algebra, 28 (2000), 1497–1501. · Zbl 0949.16022 · doi:10.1080/00927870008826909
[4] K. I. Beidar, Y. Fong and W.-F. Ke, On complemented radicals, J. Algebra 201 (1998), 328–356. · Zbl 0911.16013 · doi:10.1006/jabr.1997.7254
[5] K. I. Beidar, W. S. Martindale 3rd and A. V. Mikhalev, Rings with Generalized Identities, Marcel Dekker, Inc., 1996. · Zbl 0847.16001
[6] M. Bresar and M. A. Chebotar, On a Certain functional identity in prime rings, Comm. Algebra 26 (1998), 3765–3781. · Zbl 0911.16017 · doi:10.1080/00927879808826373
[7] M. Bresar, M. A. Chebotar and P. Šemrl, On Derivations of prime rings, Comm. Algebra 27 (1999). 3129–3135. · Zbl 0934.16032 · doi:10.1080/00927879908826615
[8] G. L. Booth, N. J. Groenewald and S. Veldsman, A Kurosh-Amitsur prime radical for near-rings, Comm. Algebra 18 (1990), 3111–3122. · Zbl 0706.16025 · doi:10.1080/00927879008824063
[9] G. H. Chan and K. L. Chew, On extensions of near-rings, Nanta Math. 5 (1971), 12–21. · Zbl 0255.16017
[10] J. R. Clay, Nearrings: Geneses and Applications, Oxford Univ. Press, Oxford, 1992. · Zbl 0790.16034
[11] J. A. Graves and J. J. Malone, Embedding near domains, Bull. Austral. Math. Soc. 9 (1973), 33–42. · Zbl 0265.16021 · doi:10.1017/S0004972700042830
[12] N. J. Groenewald, Different prime ideals in nearrings, Comm. Algebra 19 (1991), 2667–2675. · Zbl 0728.16026 · doi:10.1080/00927879108824287
[13] I. Z. Golubchik and A. V. Mikhalev, Generalized group identities in classical groups. Zap. Nauch. Semin. LOMI AN SSSR 114 (1982), 96–119 (Russian). · Zbl 0498.20030
[14] I. Z. Golubchik and A. V. Mikhalev, Varieties of algebras with semigroup identity, Vestnik Moskov. Univ. (Moscow Math. Bull.) Ser. I Math. and Mech. 2 (1982), 8–11 (Russian). · Zbl 0502.16014
[15] Wm. M. L. Holcombe, Near-rings of quotients of endomorphism near-rings, Proc. Edinburgh Math. Soc. 19 (1974/75), 345–352. · Zbl 0317.16018 · doi:10.1017/S0013091500010440
[16] I. N. Herstein and L. Small, Some comments on prime rings, J. Algebra 60 (1979), 223–228. · Zbl 0446.16004 · doi:10.1016/0021-8693(79)90117-0
[17] W. S. Martindale 3rd, Prime rings satisfying a generalized polynomial identity, J. Algebra 12 (1969), 576–584. · Zbl 0175.03102 · doi:10.1016/0021-8693(69)90029-5
[18] C. J. Maxson, On near-rings and near-rings modules, Doctoral Dissertation, Suny at Buffalo, 1967. · Zbl 0153.35702
[19] J. D. P. Meldrum, Nearrings and Their Links with Groups, Pitman, Marshfield, MA, 1985. · Zbl 0658.16029
[20] A. Oswald, Near-rings of quotients, Proc. Edinburgh Math. Soc. 22 (1979), 77–86. · Zbl 0417.16020 · doi:10.1017/S0013091500016187
[21] G. Pilz, Nearrings, 2nd ed., North Holland/American Elsevier, Amsterdam, 1983.
[22] E. Posner and H. Schneider, Hyperplanes and prime rings, Arch. Math. 11 (1960), 322–326. · Zbl 0217.05802 · doi:10.1007/BF01236952
[23] A. Richoux, A theorem for prime rings, Proc. Amer. Math. Soc. 77 (1979), 27–31. · Zbl 0388.16004 · doi:10.1090/S0002-9939-1979-0539624-9
[24] D. M. Riley and M. C. Wilson, Associative algebras satisfying a semigroup identity, Preprint, 1997. · Zbl 0954.16016
[25] D. M. Riley, The Engel condition, semigroup identities, and collapsibility in associative rings, In V. Drensky, A. Giambruno and S. Sehgal, editors, Methods in Ring Theory, Proceedings of the Trento Conference, Marcel Dekker, Inc., 1998, 277–285. · Zbl 0941.16013
[26] V. Seth, Near-rings of quotients, Doctoral Dissertation, Indian Institute of Technology, 1974.
[27] V. Seth and K. Tewari, Classical near-rings of left and right quotients, Prog. Math. 12 (1978), 115–123. · Zbl 0442.16034
[28] M. Shafi, A note on quotient near-ring, Arabian J. Sci. Eng. 4 (1979), 59–62. · Zbl 0417.16019
[29] S. D. Scott, Idempotents in nearrings with minimal condition, J. London Math. Soc. (2) 26 (1973), 464–466. · Zbl 0256.16025 · doi:10.1112/jlms/s2-6.3.464
[30] K. Tewari, Quotient near-rings and near-rings modules, Oberwolfach, 1972.
[31] Y. Utumi, On quotient rings, Osaka J. Math. 8 (1956), 1–18. · Zbl 0070.26601
[32] S. Veldsman, On equiprime nearrings, Comm. Algebra 20 (1992), 2569–2587. · Zbl 0795.16034 · doi:10.1080/00927879208824479
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.