Simple rings and degree maps

From MaRDI portal
Publication:397981

DOI10.1016/J.JALGEBRA.2013.11.023zbMATH Open1362.16004arXiv1303.6533OpenAlexW2051426607MaRDI QIDQ397981FDOQ397981


Authors: Patrik Nystedt, Johan Öinert Edit this on Wikidata


Publication date: 12 August 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: For an extension A/B of neither necessarily associative nor necessarily unital rings, we investigate the connection between simplicity of A with a property that we call A-simplicity of B. By this we mean that there is no non-trivial ideal I of B being A-invariant, that is satisfying AI subseteq IA. We show that A-simplicity of B is a necessary condition for simplicity of A for a large class of ring extensions when B is a direct summand of A. To obtain sufficient conditions for simplicity of A, we introduce the concept of a degree map for A/B. By this we mean a map d from A to the set of non-negative integers satisfying the following two conditions (d1) if a in A, then d(a)=0 if and only if a=0; (d2) there is a subset X of B generating B as a ring such that for each non-zero ideal I of A and each non-zero a in I there is a non-zero a' in I with d(a') leq d(a) and d(a'b - ba') < d(a) for all b in X. We show that if the centralizer C of B in A is an A-simple ring, every intersection of C with an ideal of A is A-invariant, ACA=A and there is a degree map for A/B, then A is simple. We apply these results to various types of graded and filtered rings, such as skew group rings, Ore extensions and Cayley-Dickson doublings.


Full work available at URL: https://arxiv.org/abs/1303.6533




Recommendations




Cites Work


Cited In (4)





This page was built for publication: Simple rings and degree maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q397981)