When is the Comaximal Graph Split?

Let R be a commutative ring with non zero unity. Let Ω(R) be a graph with vertices as elements of R whose two distinct vertices x and y are adjacent if and only if Rx + Ry = R. A graph (V, E) is said to be a split graph if V is the disjoint union of two sets K and S where K induces a complete subgraph and S is an independent set. We investigate the properties of R when Ω(R) is split.     

On Rings for Which Finitely Generated Ideals Have Only Finitely Many Minimal Components

For a commutative ring R we investigate the property that the sets of minimal primes of finitely generated ideals of R are always finite. We prove this property passes to polynomial ring extensions (in an arbitrary number of variables) over R as well as to R-algebras which are finitely presented as R-modules.     

Algebraic aspects of generalized approximation spaces

The concept of approximation spaces is a key notion of rough set theory, which is an important tool for approximate reasoning about data. This paper concerns algebraic aspects of generalized approximation spaces. Concepts of R-open sets, R-closed sets and regular sets of a generalized approximation space (U,R) are introduced. Algebraic structures of various families of subsets of (U,R) under the set-inclusion order are investigated. Main results are: (1) The family of all R-open sets (respectively, R-closed sets, R-clopen sets) is both a completely distributive lattice and an algebraic lattice, and in addition a complete Boolean algebra if relation R is symmetric. (2) The family of definable sets is both an algebraic completely distributive lattice and a complete Boolean algebra if relation R is serial. (3) The collection of upper (respectively, lower) approximation sets is a completely distributive lattice if and only if the involved relation is regular. (4) The family of regular sets is a complete Boolean algebra if the involved relation is serial and transitive.     

Constructions of Partial Difference Sets and Relative DifferenceSets Using Galois Rings

We use Galois rings to construct partial difference sets and relative difference sets in non-elementary abelianp-groups. As an example, we also use Galois ringG R(4, 2) to construct a (96,20,4) difference set in Z₄ × Z₄ × Z₆.Dedicated to Hanfried Lenz on the occasion of his 80th birthday     

A unified theory of R-continuity

We introduce and investigate R-M-continuous functions defined between sets satisfying some minimal conditions. The functions enable us to formulate a unified theory of modifications of R-continuity [22]: R-irresoluteness [6], R-preirresoluteness [7].      

On Λ-generalized closed sets in topological spaces

We introduce new classes of sets called Λ _g -closed sets and Λ _g -open sets in topological spaces. We also investigate several properties of such sets. It turns out that Λ _g -closed sets and Λ _g -open sets are weaker forms of closed sets and open sets, respectively and stronger forms of g-closed sets and g-open sets, respectively. Dedicated to Professor Maximilian Ganster on the occasion of his 50th birthday     

I m -Quasi Upward Sets,with Their Best Approximations

The main purpose of this article is to introduce particular subsets of R ^I , which are not necessarily convex, and we call them I _m -quasi upward, or I _m -quasi downward. We show that these sets can be translated to downward or upward sets. We introduce the connection of these sets with downward and upward subsets of R ^I , and discuss the best approximation of these sets. Also we introduce embedded I _m -quasi upward and embedded I _m -quasi downward subsets of a normed space X.     

Annihilators in Normal Autometrized Algebras

The concepts of an annihilator and a relative annihilator in an autometrized l-algebra are introduced. It is shown that every relative annihilator in a normal autometrized l-algebra is an ideal of and every principal ideal of is an annihilator of . The set of all annihilators of forms a complete lattice. The concept of an I-polar is introduced for every ideal I of . The set of all I-polars is a complete lattice which becomes a two-element chain provided I is prime. The I-polars are characterized as pseudocomplements in the lattice of all ideals of containing I.     

The augmentation ideal in group near-rings

The definition of the group near-ring R[G] of the near-ring R over the group G as a near-ring of mappings from R ^(G) to itself is due to Le Riche et al. (Arch Math 52:132–139, 1989). In this paper we consider the augmentation ideal Δ of R[G]. If the exponent of G is not 2, then the structure of ΔR ^(G) is determined in terms of commutators and distributors. This is then used to show that Δ is nilpotent if and only if R is weakly distributive, has characteristic p ⁿ for some prime p and G is a finite p-group for the same prime p.      

On L-fuzzy Ideals in Semirings I

In this paper we extend the concept of an L-fuzzy (characteristic) left (resp. right) ideal of a ring to a semiring R, and we show that each level left (resp. right) ideal of an .L-fuzzy left (resp. right) ideal of R is characteristic iff is L-fuzzy characteristic.     

On Pseudo-Almost Valuation Domains

Let R be an integral domain with quotient field K and integral closure R ^′. Anderson and Zafrullah called R an “almost valuation domain” if for every nonzero x ∈ K, there is a positive integer n such that either x ⁿ  ∈ R or x ^?n  ∈ R. In this article, we introduce a new closely related class of integral domains. We define a prime ideal P of R to be a “pseudo-strongly prime ideal” if, whenever x, y ∈ K and xyP ? P, then there is a positive integer m ≥ 1 such that either x ^m  ∈ R or y ^m P ? P. If each prime ideal of R is a pseudo-strongly prime ideal, then R is called a “pseudo-almost valuation domain” (PAVD). We show that the class of valuation domains, the class of pseudo-valuation domains, the class of almost valuation domains, and the class of almost pseudo-valuation domains are properly contained in the class of pseudo-almost valuation domains; also we show that the class of pseudo-almost valuation domains is properly contained in the class of quasilocal domains with linearly ordered prime ideals. Among the properties of PAVDs, we show that an integral domain R is a PAVD if and only if for every nonzero x ∈ K, there is a positive integer n ≥ 1 such that either x ⁿ  ∈ R or ax ^?n  ∈ R for every nonunit a ∈ R. We show that pseudo-almost valuation domains are precisely the pullbacks of almost valuation domains, we characterize pseudo-almost valuation domains of the form D + M, and we use this characterization to construct PAVDs that are not almost valuation domains. We show that if R is a Noetherian PAVD, then R has Krull dimension at most one and R ^′ is a valuation domain; we show that every overring of a PAVD R is a PAVD iff R ^′ is a valuation domain and every integral overring of R is a PAVD.     

Weakly left localizable rings

A new class of rings, the class of weakly left localizable rings, is introduced. A ring R is called weakly left localizable if each non-nilpotent element of R is invertible in some left localization S^?1R of the ring R. Explicit criteria are given for a ring to be a weakly left localizable ring provided the ring has only finitely many maximal left denominator sets (eg, this is the case for all left Noetherian rings). It is proved that a ring with finitely many maximal left denominator sets that satisfies some natural conditions is a weakly left localizable ring iff its left quotient ring is a direct product of finitely many local rings such that their radicals are nil ideals.     

Note on generalized open sets

Characterizations of γ-open sets and locally γ-regular sets are given. We generalize some already established results and answer an open question by giving a characterization to γ-quasi-open sets.      

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

Dominating Sets of Some Graphs Associated to Commutative Rings

Let G = (V, E) be a graph. A set S ? V is a dominating set of G if every vertex in V is either in S or is adjacent to a vertex in S. The domination number γ(G) of G is the minimum cardinality among the dominating sets of G. The main object of this article is to study and characterize the dominating sets of the zero-divisor graph Γ(R) and ideal-based zero-divisor graph Γ _I (R) of a commutative ring R.     

Bent Functions, Partial Difference Sets, and Quasi-Frobenius Local Rings

Bent functions andpartial difference sets have been constructed from finite principalideal local rings. In this paper, the constructions are generalizedto finite quasi-Frobenius local rings. Let R bea finite quasi-Frobenius local ring with maximal ideal M.Bent functions and certain partial difference sets on M } M are extended to R } R.     

An Analog of the Krein--Mil'man Theorem for Strongly Convex Hulls in Hilbert Space

We prove the following theorem: in Hilbert space a closed bounded set is contained in the strongly convex R-hull of its R-strong extreme points. R-strong extreme points are a subset of the set of extreme points (it may happen that these two sets do not coincide); the strongly convex R-hull of a set contains the closure of the convex hull of the set.     

Ideal Structure of Leavitt Path Algebras with Coefficients in a Unital Commutative Ring

For a (countable) graph E and a unital commutative ring R, we analyze the ideal structure of the Leavitt path algebra L _R (E) introduced by Mark Tomforde. We first modify the definition of basic ideals and then develop the ideal characterization of Mark Tomforde. We also give necessary and sufficient conditions for the primeness and the primitivity of L _R (E), and we then determine prime graded basic ideals and left (or right) primitive graded ideals of L _R (E). In particular, when E satisfies Condition (K) and R is a field, they imply that the set of prime ideals and the set of primitive ideals of L _R (E) coincide.     

Two Remarks on Independent Sets

In the first part we generalize the notion of strongly independent sets, introduced in [10] for polynomial ideals, to submodules of free modules and explain their computational relevance. We discuss also two algorithms to compute strongly independent sets that rest on the primary decomposition of squarefree monomial ideals.Usually the initial ideal in(I) of a polynomial ideal I is worse than I. In [9] the authors observed that nevertheless in(I) is not as bad as one should expect, showing that in(I) is connected in codimension one if I is prime.In the second part of the paper we add more evidence to that observation. We show that in(I) inherits (radically) unmixedness, connectedness in codimension one and connectedness outside a finite set of points from I and prove the same results also for initial submodules of free modules. The proofs use a deformation from I to in(I ).