Order bounded derivations on Archimedean almost <Emphasis Type="Italic">f</Emphasis> -algebras

Let A be an Archimedean f -algebra and let N(A) be the set of all nilpotent elements of A. Colville et al. [6] proved that a positive linear map D : A → A is a derivation if and only if D(A) ì N(A){D(A)\subset N(A)} and D(A ²) = {0}, where A ² is the set of all products ab in A. In this paper, we establish a result corresponding to the Colville–Davis–Keimel theorem for an order bounded derivation D on an Archimedean almost f -algebra, which generalizes the results of Boulabiar [3].     

Inequalities involving independence domination, f-domination, connected and total f-domination numbers

Let f be an integer-valued function defined on the vertex set V(G) of a graph G. A subset D of V(G) is an f-dominating set if each vertex x outside D is adjacent to at least f(x) vertices in D. The minimum number of vertices in an f-dominating set is defined to be the f-domination number, denoted by _f (G). In a similar way one can define the connected and total f-domination numbers _c,f (G) and _t,f (G). If f(x) = 1 for all vertices x, then these are the ordinary domination number, connected domination number and total domination number of G, respectively. In this paper we prove some inequalities involving _f (G), _c,f (G), _t,f (G) and the independence domination number i(G). In particular, several known results are generalized.     

The 𝒥-Radical and the Pierce Radicals of a Lattice-Ordered Ring

Abstract

The 𝒥-radical of a lattice-ordered ring Ris the ?-ring analogue of the Jacobson radical of a ring. It is shown that if the matrix ring R _n has the usual lattice order, then 𝒥(R _n ) = 𝒥(R) _n . The connection between an element abeing right ?-quasi-regular and the inequality a ○ x ≤ 0 is also investigated. For squares in an f-ring the connection is an equivalence. In general it is still an equivalence provided xis the sum of elements from a larger f-ring whose absolute values lie in R. It is also shown that the vanishing of annihilators in an f-ring is inherited by enough totally ordered homomorphic images to give a subdirect product decomposition.     

F*-Rings Are O*

O ^*-rings were introduced by Fuchs and recently characterized by Steinberg. A ring R is called O ^* if every partial order on R extends to a total order. We weaken the condition on the ordering of the ring by requiring that every partial order on R extends to an f-order. We call those rings F ^*-rings. We show that the two classes of rings coincide.     

The minimizing of the Nielsen root classes

Given a map f: X→Y and a Nielsen root class, there is a number associated to this root class, which is the minimal number of points among all root classes which are H-related to the given one for all homotopies H of the map f. We show that for maps between closed surfaces it is possible to deform f such that all the Nielsen root classes have cardinality equal to the minimal number if and only if either N R[f]≤1, or N R[f]>1 and f satisfies the Wecken property. Here N R[f] denotes the Nielsen root number. The condition “f satisfies the Wecken property is known to be equivalent to |deg(f)|≤N R[f]/(1−χ(M ₂)−χ(M ₁0/(1−χ(M ₂)) for maps between closed orientable surfaces. In the case of nonorientable surfaces the condition is A(f)≤N R[f]/(1−χ(M ₂)−χ(M ₂)/(1−χ(M ₂)). Also we construct, for each integer n≥3, an example of a map f: K _n →N from an n-dimensionally connected complex of dimension n to an n-dimensional manifold such that we cannot deform f in a way that all the Nielsen root classes reach the minimal number of points at the same time.     

Dimension in algebraic frames

In an algebraic frame L the dimension, dim(L), is defined, as in classical ideal theory, to be the maximum of the lengths n of chains of primes p ₀ < p ₁ < ... < p _n , if such a maximum exists, and ∞ otherwise. A notion of “dominance” is then defined among the compact elements of L, which affords one a primefree way to compute dimension. Various subordinate dimensions are considered on a number of frame quotients of L, including the frames dL and zL of d-elements and z-elements, respectively. The more concrete illustrations regarding the frame convex ℓ-subgroups of a lattice-ordered group and its various natural frame quotients occupy the second half of this exposition. For example, it is shown that if A is a commutative semiprime f-ring with finite ℓ-dimension then A must be hyperarchimedean. The d-dimension of an ℓ-group is invariant under formation of direct products, whereas ℓ-dimension is not. r-dimension of a commutative semiprime f-ring is either 0 or infinite, but this fails if nilpotent elements are present. sp-dimension coincides with classical Krull dimension in commutative semiprime f-rings with bounded inversion.     

Positive derivations on Archimedean d-rings

For an Archimedean d-ring R and a positive derivation D on R, it is shown that \({D(R) \subseteq N(R)}\) , where N(R) is the \({\ell}\) -radical of R.     

Extensions of <Emphasis Type="Italic">GM</Emphasis>-rings

It is shown that a ring R is a GM-ring if and only if there exists a complete orthogonal set { e ₁,...,e _n } of idempotents such that all e _i Re _i are GM-rings. We also investigate GM-rings for Morita contexts, module extensions and power series rings.This work was supported by the Natural Science Foundation of Zhejiang Province.     

On JB -Rings

A ring R is a QB-ring provided that aR + bR = R with a, b ∈ R implies that there exists a y ∈ R such that It is said that a ring R is a JB-ring provided that R/J(R) is a QB-ring, where J(R) is the Jacobson radical of R. In this paper, various necessary and sufficient conditions, under which a ring is a JB-ring, are established. It is proved that JB-rings can be characterized by pseudo-similarity. Furthermore, the author proves that R is a JB-ring iff so is R/J(R)².     

具有对称自同态与对称导子的环

本文研究具有对称自同态和对称导子的环. 利用性质nil(R[x]) =nil(R)[x], 我们证明了: 如果R是弱2-primal 环, 则R 是弱对称(σ, δ)-环当且仅当R[x] 是弱对称(σ,δ) -环. 本文结论拓展了关于对称环和弱对称环的研究.     

Abelian groups as endomorphic modules over their endomorphism ring

Let R be an associative ring with a unit and N be a left R-module. The set M _R(N) = {f: N → N | f(rx) = rf(x), r ∈ R, x ∈ N} is a near-ring with respect to the operations of addition and composition and contains the ring E _R(N) of all endomorphisms of the R-module N. The R-module N is endomorphic if M _R(N) = E _R(N). We call an Abelian group endomorphic if it is an endomorphic module over its endomorphism ring. In this paper, we find endomorphic Abelian groups in the classes of all separable torsion-free groups, torsion groups, almost completely decomposable torsion-free groups, and indecomposable torsion-free groups of rank 2. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 1, pp. 229–233, 2007.     

On the distributive radical of an Archimedean lattice-ordered group

Let G be an Archimedean ℓ-group. We denote by G ^d and R _D (G) the divisible hull of G and the distributive radical of G, respectively. In the present note we prove the relation (R _D (G)) ^d = R _D (G ^d ). As an application, we show that if G is Archimedean, then it is completely distributive if and only if it can be regularly embedded into a completely distributive vector lattice.     

Derivations On a C∞-ring

The main purpose of this paper is to provide several results on objects lying between differential geometry and algebraic geometry such as C^∞-rings and derivations on a C^∞-ring. A C^∞-ring is defined as a set with operations by C^∞-functions on Euclidean spaces. A derivation on a C^∞-ring is defined in two method, an ?-derivation and a C^∞-derivation. The main result of this paper is to show that any ?-derivation is a C^∞-derivation for some classes of C^∞-rings (Theorems 3.1, 3.2).     

Maximum Monoreflections and Essential Extensions

An extension operator c in a category is an assignment, to each object A a monomorphism c _A : AcA. Seeking to approximate such a c by a functor, in our earlier paper Maximum monoreflections, we showed that with some hypotheses on the category, and on c, there is a monoreflection (c) maximum beneath c. Thus, in a suitable category of rings, using the complete ring of quotients operator Q, each object A has a maximum functorial ring of quotients (Q)A. But the proof gave no hint of how to calculate the general (c)A's, nor the particular (Q)A's. In the present paper, we give an explicit formula (and separate proof of existence) for the (c)A's, under more complicated hypotheses on the category and assuming the c _A 's are essential monomorphisms. We discuss briefly how the formula proves adequate to calculate the (Q)A's in Archimedean f-rings, and some related and necessary constructs in Archimedean l-groups.     

A Generalization of Orthogonal Factorizations in Graphs

Let G be a graph with vertex set V(G) and edge set E(G) and let g and f be two integer-valuated functions defined on V(G) such that g(x) ≤f(x) for all x∈V(G). Then a (g, f)-factor of G is a spanning subgraph H of G such that g(x) ≤d _H (x) ≤f(x) for all x∈V(G). A (g, f)-factorization of G is a partition of E(G) into edge-disjoint (g, f)-factors. Let = {F ₁, F ₂, ..., F _m } be a factorization of G and H be a subgraph of G with mr edges. If F _i , 1 ≤i≤m, has exactly r edges in common with H, then is said to be r-orthogonal to H. In this paper it is proved that every (mg + kr, mf−kr)-graph, where m, k and r are positive integers with k < m and g≥r, contains a subgraph R such that R has a (g, f)-factorization which is r-orthogonal to a given subgraph H with kr edges. This research is supported by the National Natural Science Foundation of China (19831080) and RSDP of China     

On finite retract lattices of monounary algebras

For a monounary algebra (A, f) we denote R ^∅(A, f) the system of all retracts (together with the empty set) of (A, f) ordered by inclusion. This system forms a lattice. We prove that if (A, f) is a connected monounary algebra and R ^∅(A, f) is finite, then this lattice contains no diamond. Next distributivity of R ^∅(A, f) is studied. We find a representation of a certain class of finite distributive lattices as retract lattices of monounary algebras.     

Semicontinuity and Supremal Representation in the Calculus of Variations

We study the weak* lower semicontinuity properties of functionals of the form

PrÜfer-Like Domains and the Nagata Ring of Integral Domains

A subring A of a Prüfer domain B is a globalized pseudo-valuation domain (GPVD) if (i) A?B is a unibranched extension and (ii) there exists a nonzero radical ideal I, common to A and B such that each prime ideal of A (resp., B) containing I is maximal in A (resp., B). Let D be an integral domain, X be an indeterminate over D, c(f) be the ideal of D generated by the coefficients of a polynomial f ∈ D[X], N = {f ∈ D[X] | c(f) = D}, and N _v  = {f ∈ D[X] | c(f)^?1 = D}. In this article, we study when the Nagata ring D[X] _N (more generally, D[X] _{N v} ) is a GPVD. To do this, we first use the so-called t-operation to introduce the notion of t-globalized pseudo-valuation domains (t-GPVDs). We then prove that D[X] _{N v} is a GPVD if and only if D is a t-GPVD and D[X] _{N v} has Prüfer integral closure, if and only if D[X] is a t-GPVD, if and only if each overring of D[X] _{N v} is a GPVD. As a corollary, we have that D[X] _N is a GPVD if and only if D is a GPVD and D has Prüfer integral closure. We also give several examples of integral domains D such that D[X] _{N v} is a GPVD.     

Analysis of μ R,D -Orthogonality in Affine Iterated Function Systems

Let μ _R,D be a self-affine measure associated with an expanding integer matrix R∈M _n (ℤ) and a finite subset D⊆ℤ ⁿ . In the present paper we study the μ _R,D -orthogonality and compatible pair conditions. We also show that any set of μ _R,D -orthogonal exponentials contains at most 3 elements on the generalized plane Sierpinski gasket and the number 3 is the best.