scholarly journals Fuzzy Zorn’s lemma with applications

2021 ◽  
Vol 36 (4) ◽  
pp. 521-536
Author(s):  
Xiao-long Xin ◽  
Yu-long Fu
Keyword(s):  
Commutative Ring ◽  
Maximal Ideal ◽  
Prime Ideals ◽  
Nilpotent Elements ◽  
Fuzzy Ideal ◽  
Tychonoff Theorem

AbstractWe introduced the fuzzy axioms of choice, fuzzy Zorn’s lemma and fuzzy well-ordering principle, which are the fuzzy versions of the axioms of choice, Zorn’s lemma and well-ordering principle, and discussed the relations among them. As an application of fuzzy Zorn’s lemma, we got the following results: (1) Every proper fuzzy ideal of a ring was contained in a maximal fuzzy ideal. (2) Every nonzero ring contained a fuzzy maximal ideal. (3) Introduced the notion of fuzzy nilpotent elements in a ring R, and proved that the intersection of all fuzzy prime ideals in a commutative ring R is the union of all fuzzy nilpotent elements in R. (4) Proposed the fuzzy version of Tychonoff Theorem and by use of fuzzy Zorn’s lemma, we proved the fuzzy Tychonoff Theorem.

Minimal prime ideals and arithmetic comprehension

1991 ◽  
Vol 56 (1) ◽  
pp. 67-70 ◽  
Author(s):  
Kostas Hatzikiriakou
Keyword(s):  
Prime Ideal ◽  
Commutative Ring ◽  
Maximal Ideal ◽  
Commutative Rings ◽  
Minimal Prime Ideal ◽  
Prime Ideals ◽  
Order Arithmetic ◽  
Minimal Prime ◽  
Weak König’S Lemma ◽  
König’S Lemma

We assume that the reader is familiar with the program of “reverse mathematics” and the development of countable algebra in subsystems of second order arithmetic. The subsystems we are using in this paper are RCA0, WKL0 and ACA0. (The reader who wants to learn about them should study [1].) In [1] it was shown that the statement “Every countable commutative ring has a prime ideal” is equivalent to Weak Konig's Lemma over RCA0, while the statement “Every countable commutative ring has a maximal ideal” is equivalent to Arithmetic Comprehension over RCA0. Our main result in this paper is that the statement “Every countable commutative ring has a minimal prime ideal” is equivalent to Arithmetic Comprehension over RCA0. Minimal prime ideals play an important role in the study of countable commutative rings; see [2, pp. 1–7].

scholarly journals Fuzzy Prime Ideal Theorem in Residuated Lattices

2021 ◽  
Vol 2021 ◽  
pp. 1-8
Author(s):  
Pierre Carole Kengne ◽  
Blaise Blériot Koguep ◽  
Celestin Lele
Keyword(s):  
Prime Ideal ◽  
Maximal Ideal ◽  
Residuated Lattice ◽  
Residuated Lattices ◽  
Prime Ideals ◽  
Fuzzy Subset ◽  
Different Types ◽  
Fuzzy Ideal ◽  
Prime Ideal Theorem

This paper mainly focuses on building the fuzzy prime ideal theorem of residuated lattices. Firstly, we introduce the notion of fuzzy ideal generated by a fuzzy subset of a residuated lattice and we give a characterization. Also, we introduce different types of fuzzy prime ideals and establish existing relationships between them. We prove that any fuzzy maximal ideal is a fuzzy prime ideal in residuated lattice. Finally, we give and prove the fuzzy prime ideal theorem in residuated lattice.

On quasi-radical of near-ring of polynomials

2019 ◽  
Vol 56 (2) ◽  
pp. 252-259
Author(s):  
Ebrahim Hashemi ◽  
Fatemeh Shokuhifar ◽  
Abdollah Alhevaz
Keyword(s):  
Commutative Ring ◽  
Nilpotent Elements ◽  
Ring Of Polynomials

Abstract The intersection of all maximal right ideals of a near-ring N is called the quasi-radical of N. In this paper, first we show that the quasi-radical of the zero-symmetric near-ring of polynomials R0[x] equals to the set of all nilpotent elements of R0[x], when R is a commutative ring with Nil (R)2 = 0. Then we show that the quasi-radical of R0[x] is a subset of the intersection of all maximal left ideals of R0[x]. Also, we give an example to show that for some commutative ring R the quasi-radical of R0[x] coincides with the intersection of all maximal left ideals of R0[x]. Moreover, we prove that the quasi-radical of R0[x] is the greatest quasi-regular (right) ideal of it.

N-ideals of commutative rings

Filomat ◽  
2017 ◽  
Vol 31 (10) ◽  
pp. 2933-2941 ◽  
Author(s):  
Unsal Tekir ◽  
Suat Koc ◽  
Kursat Oral
Keyword(s):  
Commutative Ring ◽  
Commutative Rings ◽  
Proper Ideal ◽  
Prime Ideals ◽  
Nonzero Identity

In this paper, we present a new classes of ideals: called n-ideal. Let R be a commutative ring with nonzero identity. We define a proper ideal I of R as an n-ideal if whenever ab ? I with a ? ?0, then b ? I for every a,b ? R. We investigate some properties of n-ideals analogous with prime ideals. Also, we give many examples with regard to n-ideals.

The Weakly Nilpotent Graph of a Commutative Ring

2017 ◽  
Vol 60 (2) ◽  
pp. 319-328
Author(s):  
Soheila Khojasteh ◽  
Mohammad Javad Nikmehr
Keyword(s):  
Commutative Ring ◽  
Chromatic Number ◽  
Disjoint Union ◽  
Independence Number ◽  
Artinian Ring ◽  
Clique Number ◽  
Commutative Rings ◽  
Unicyclic Graph ◽  
Nilpotent Elements ◽  
Vertex Set

AbstractLet R be a commutative ring with non-zero identity. In this paper, we introduce theweakly nilpotent graph of a commutative ring. The weakly nilpotent graph of R denoted by Γw(R) is a graph with the vertex set R* and two vertices x and y are adjacent if and only if x y ∊ N(R)*, where R* = R \ {0} and N(R)* is the set of all non-zero nilpotent elements of R. In this article, we determine the diameter of weakly nilpotent graph of an Artinian ring. We prove that if Γw(R) is a forest, then Γw(R) is a union of a star and some isolated vertices. We study the clique number, the chromatic number, and the independence number of Γw(R). Among other results, we show that for an Artinian ring R, Γw(R) is not a disjoint union of cycles or a unicyclic graph. For Artinan rings, we determine diam . Finally, we characterize all commutative rings R for which is a cycle, where is the complement of the weakly nilpotent graph of R.

Annihilating-ideal graphs of commutative rings

2019 ◽  
Vol 13 (07) ◽  
pp. 2050121
Author(s):  
M. Aijaz ◽  
S. Pirzada
Keyword(s):  
Commutative Ring ◽  
Zero Divisor ◽  
Commutative Rings ◽  
Prime Ideals ◽  
Metric Dimension ◽  
Maximal Ideals ◽  
Vertex Set

Let [Formula: see text] be a commutative ring with unity [Formula: see text]. The annihilating-ideal graph of [Formula: see text], denoted by [Formula: see text], is defined to be the graph with vertex set [Formula: see text] — the set of non-zero annihilating ideals of [Formula: see text] and two distinct vertices [Formula: see text] and [Formula: see text] adjacent if and only if [Formula: see text]. Some connections between annihilating-ideal graphs and zero divisor graphs are given. We characterize the prime ideals (or equivalently maximal ideals) of [Formula: see text] in terms of their degrees as vertices of [Formula: see text]. We also obtain the metric dimension of annihilating-ideal graphs of commutative rings.

scholarly journals A characterization of minimal prime ideals

1998 ◽  
Vol 40 (2) ◽  
pp. 223-236 ◽  
Author(s):  
Gary F. Birkenmeier ◽  
Jin Yong Kim ◽  
Jae Keol Park
Keyword(s):  
Positive Integer ◽  
Prime Ideal ◽  
Commutative Ring ◽  
Minimal Prime Ideal ◽  
Prime Ideals ◽  
Sheaf Representations ◽  
Minimal Prime

AbstractLet P be a prime ideal of a ring R, O(P) = {a ∊ R | aRs = 0, for some s ∊ R/P} | and Ō(P) = {x ∊ R | xn ∊ O(P), for some positive integer n}. Several authors have obtained sheaf representations of rings whose stalks are of the form R/O(P). Also in a commutative ring a minimal prime ideal has been characterized as a prime ideal P such that P= Ō(P). In this paper we derive various conditions which ensure that a prime ideal P = Ō(P). The property that P = Ō(P) is then used to obtain conditions which determine when R/O(P) has a unique minimal prime ideal. Various generalizations of O(P) and Ō(P) are considered. Examples are provided to illustrate and delimit our results.

Generators of Un(V) Over a Quasi Semilocal Semihereditary Ring

1981 ◽  
Vol 33 (5) ◽  
pp. 1232-1244 ◽  
Author(s):  
Hiroyuki Ishibashi
Keyword(s):  
Commutative Ring ◽  
Maximal Ideal ◽  
Valuation Ring ◽  
Hermitian Form ◽  
Free Module ◽  
Fixed Element ◽  
Semihereditary Ring ◽  
Maximal Ideals ◽  
Sesquilinear Form

Let o be a quasi semilocal semihereditary ring, i.e., o is a commutative ring with 1 which has finitely many maximal ideals {Ai|i ∊ I} and the localization oAi at any maximal ideal Ai is a valuation ring. We assume 2 is a unit in o. Furthermore * denotes an involution on o with the property that there exists a unit θ in o such that θ* = –θ. V is an n-ary free module over o with f : V × V → o a λ-Hermitian form. Thus λ is a fixed element of o with λλ* = 1 and f is a sesquilinear form satisfying f(x, y)* = λf(y, x) for all x, y in V. Assume the form is nonsingular; that is, the mapping M → Hom (M, A) given by x → f( , x) is an isomorphism. In this paper we shall write f(x, y) = xy for x, y in V.

On the Prime Ideals in a Commutative Ring

2000 ◽  
Vol 43 (3) ◽  
pp. 312-319 ◽  
Author(s):  
David E. Dobbs
Keyword(s):  
Prime Ideal ◽  
Commutative Ring ◽  
Polynomial Ring ◽  
Sufficient Conditions ◽  
Prime Ideals ◽  
Preceding Result ◽  
Finite Commutative Ring ◽  
The Axiom Of Choice ◽  
Necessary And Sufficient ◽  
Positive Integers

AbstractIf n and m are positive integers, necessary and sufficient conditions are given for the existence of a finite commutative ring R with exactly n elements and exactly m prime ideals. Next, assuming the Axiom of Choice, it is proved that if R is a commutative ring and T is a commutative R-algebra which is generated by a set I, then each chain of prime ideals of T lying over the same prime ideal of R has at most 2|I| elements. A polynomial ring example shows that the preceding result is best-possible.

Sign in / Sign up

Export Citation Format

Share Document