PRIME IDEALS IN RINGS WITH INVOLUTION

From MaRDI portal





Let \(R\) be a ring with involution. If \(R\) is a *-prime ring which is not a prime ring then \(R\) possesses a nonzero ideal \(B\) such that \(B\cap B^*=0\) and \(B\oplus B^*\) is essential in \(R\), and conversely. Example shows that this characterization cannot be improved. For a *-ideal \(P\) of \(R\) the following are equivalent: (1) \(P\) is a *-prime ideal, (2) if \(a,b\in R\) such that \(aRb\subseteq P\) and \(aRb^*\subseteq P\) then \(a\in P\) or \(b\in P\). The prime radical \(\beta\) of an ideal \(A\) of \(R\) can be defined via \(m\)-systems. Then *-\(m\)-systems and the radical \(\beta_*(A)\) are defined and \(\beta(A)=\beta_*(A)\) is proved for every \(A\triangleleft R\). \(A\) is a semiprime ideal of \(R\) if and only if \(A=\beta_*(A)\). There are many more results, in particular concerning *-prime *-ideals \(P\) and prime ideals \(X\) which are minimal among prime ideals containing \(P\).











This page was built for publication: PRIME IDEALS IN RINGS WITH INVOLUTION

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