In this paper we introduce prime fuzzy ideals over a noncommutative ring. This notion of primeness is equivalent to level cuts being crisp prime ideals. It also generalizes the one provided by Kumbhojkar and Bapat in [16], which lacks this equivalence in a noncommutative setting. Semiprime fuzzy ideals over a noncommutative ring are also defined and characterized as intersection of primes. This...

The purpose of this paper is to investigate identities with derivations and automorphisms on semiprime rings. A classical result of Posner states that the existence of a nonzero centralizing derivation on a prime ring forces the ring to be commutative. Mayne proved that in case there exists a nontrivial centralizing automorphism on a prime ring, then the ring is commutative. In this paper, some...

Necessary and sufficient conditions for an Ore extension S = R[x;σ, δ] to be a PI ring are given in the case σ is an injective endomorphism of a semiprime ring R satisfying the ACC on annihilators. Also, for an arbitrary endomorphism τ of R, a characterization of Ore extensions R[x; τ ] which are PI rings is given, provided the coefficient ring R is noetherian.

Derivations, Jordan derivations, as well as automorphisms and Jordan automorphisms of the algebra of triangular matrices and some class of their subalgebras have been the object of active research for a long time [1, 2, 5, 6, 9, 10]. A well-know result of Herstein [11] states that every Jordan isomorphism on a prime ring of characteristic different from 2 is either an isomorphism or an anti-iso...

Let $R$ be a unitary ring with an endomorphism $σ$ and $F∪{0}$ be the free monoid generated by $U={u_1,…,u_t}$ with $0$ added, and $M$ be a factor of $F$ setting certain monomial in $U$ to $0$, enough so that, for some natural number $n$, $M^n=0$. In this paper, we give a sufficient condition for a ring $R$ such that the skew monoid ring $R*M$ is quasi-Armendariz (By Hirano a ring $R$ is called...

Let $R$ be a ring (not necessarily commutative) with nonzero identity. We define $Gamma(R)$ to be the graph with vertex set $R$ in which two distinct vertices $x$ and $y$ are adjacent if and only if there exist unit elements $u,v$ of $R$ such that $x+uyv$ is a unit of $R$. In this paper, basic properties of $Gamma(R)$ are studied. We investigate connectivity and the girth of $Gamma(R)$, where $...

Rough sets were originally proposed in the presence of an equivalence relation. An equivalence relation is sometimes difficult to be obtained in rearward problems due to the vagueness and incompleteness of human knowledge. The purpose of this paper is to introduce and discuss the concept of T -rough semiprime ideal, T -rough fuzzy semiprime ideal and T -rough quotient ideal in a commutative rin...

An R-module is called semi-endosimple if it has no proper fully invariant essential submodules. For a quasi-projective retractable module MR we show that M is finitely generated semi-endosimple if and only if the endomorphism ring of M is a finite direct sum of simple rings. For an arbitrary module M , conditions equivalent to the semi-endosimplicity of its quasi-injective hull are found. As co...

In this paper we prove the following result. Let R be a 6−torsion free semiprime ∗−ring and let D : R → R be an additive mapping satisfying the relation D(xyx) = D(x)y∗x∗ + xD(y)x∗ + xyD(x), for all pairs x, y ∈ R. In this case D is a Jordan ∗−derivation. Mathematics Subject Classification: 16W10, 39B05