An Algebraic Characterization of Blumberg Spaces

Abstract

Let X be a topological space and let C(X) be the ring of continuous real-valued functions on X. We study T′(X) as an over-ring of C(X), where T′(X) denotes the set of all real-valued functions on X such that for each f ∈ T′(X) there exists a dense open subspace D of X such that f|D ∈ C(D). In this paper new algebraic characterizations of discrete spaces, open-hereditarily irresolvable spaces, and Blumberg spaces are obtained.     

A Characterization of Generalized Derivations on Prime Rings

Let R be a noncommutative prime ring, U be the left Utumi quotient ring of R, and k, m, n, r be fixed positive integers. If there exist a generalized derivation G and a derivation g (which is independent of G) of R such that [G(x^m)xⁿ + xⁿg(x^m), x^r]_k = 0, for all x ∈ R, then there exists a ∈ U such that G(x) = ax, for all x ∈ R. As a consequence of the result in the present article, one may obtain Theorem 1 in Demir and Argaç [10 Demir, Ç., Argaç, N. (2010). A result on generalized derivations with Engel conditions on one-sided ideals. J. Korean Math. Soc. 47(3):483–494.[Crossref], [Web of Science ®] , [Google Scholar]].     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

On Commutativity of Ideal Extensions

In this article, we examine commutativity of ideal extensions. We introduce methods of constructing such extensions. In particular, we construct a noncommutative ring T which contains a central and idempotent ideal I such that T/I is a field. This answers a question from [1 Andruszkiewicz, R. R., Puczy?owski, E. R. (1995). On commutative idempotent rings. Proc. Roy. Soc. Edinburgh Sect. A 125(2):341–349.[Crossref] , [Google Scholar]]. Moreover, we classify fields of characteristic zero which can be obtained as T/I for some T.     

The Largest Left Quotient Ring of a Ring

The left quotient ring (i.e., the left classical ring of fractions) Q_cl(R) of a ring R does not always exist and still, in general, there is no good understanding of the reason why this happens. In this article, existence of the largest left quotient ring Q_l(R) of an arbitrary ring R is proved, i.e., Q_l(R) = S₀(R)^?1R where S₀(R) is the largest left regular denominator set of R. It is proved that Q_l(Q_l(R)) = Q_l(R); the ring Q_l(R) is semisimple iff Q_cl(R) exists and is semisimple; moreover, if the ring Q_l(R) is left Artinian, then Q_cl(R) exists and Q_l(R) = Q_cl(R). The group of units Q_l(R)* of Q_l(R) is equal to the set {s^?1t | s, t ∈ S₀(R)} and S₀(R) = R ∩ Q_l(R)*. If there exists a finitely generated flat left R-module which is not projective, then Q_l(R) is not a semisimple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semiprime Goldie rings, Noetherian commutative rings, the algebra of polynomial integro-differential operators).     

The Exchange Property in Grothendieck Categories: Applications

We introduce the concept of an object with the (finite) exchange property in an arbitrary Grothendieck category, and we present the basic properties of such an object. Applications are given for categories of graded modules and for categories of comodules over a coalgebra. Among other results, it is proved that an arbitrary coalgebra 𝒞 over a field has the finite exchange property.     

Gaussian Property of the Rings R(X) and R〈X〉

The content of a polynomial f over a commutative ring R is the ideal c(f) of R generated by the coefficients of f. A commutative ring R is said to be Gaussian if c(fg) = c(f)c(g) for every polynomials f and g in R[X]. A number of authors have formulated necessary and sufficient conditions for R(X) (respectively, R?X?) to be semihereditary, have weak global dimension at most one, be arithmetical, or be Prüfer. An open question raised by Glaz is to formulate necessary and sufficient conditions that R(X) (respectively, R?X?) have the Gaussian property. We give a necessary and sufficient condition for the rings R(X) and R?X? in terms of the ring R in case the square of the nilradical of R is zero.     

On Schurity of Finite Abelian Groups

A finite group G is called a Schur group, if any Schur ring over G is associated in a natural way with a subgroup of Sym(G) that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this article, it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any noncyclic abelian Schur group of odd order is isomorphic to ?₃ × ?_{3 ^k} or ?₃ × ?₃ × ? _p where k ≥ 1 and p is a prime. In addition, we prove that ?₂ × ?₂ × ? _p is a Schur group for every prime p.     

Boyle’s conjecture and perfect localizations

ABSTRACT

In this article we study the behavior of left QI-rings under perfect localizations. We show that a perfect localization of a left QI-ring is a left QI-ring. We prove that Boyle’s conjecture is true for left QI-rings with finite Gabriel dimension such that every hereditary torsion theory in the Gabriel filtration is perfect. As corollary, we get that Boyle’s conjecture is true for left QI-rings which satisfy the restricted left socle condition, a result proved by Faith in [6 Faith, C. (1976). On hereditary rings and Boyle’s conjecture. Arch. Math. 27(1):113–119.[Crossref] , [Google Scholar]].