scholarly journals Finitary ideals of direct products in quantales

2021 ◽  
Vol 3 (1) ◽  
pp. 23-28
Author(s):  
Pascal Pankiti ◽  
C Nkuimi-Jugnia

The notion of quantale, which designates a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins, appears in various areasof mathematics-in quantaloid theory, in non classical logic as completion of the Lindebaum algebra, and in different representations of the spectrum of a C∗ algebra asmany-valued and non commutative topologies. To put it briefly, its importance is nolonger to be demonstrated. Quantales are ring-like structures in that they share withrings the common fact that while as rings are semi groups in the tensor category ofabelian groups, so quantales are semi groups in the tensor category of sup-lattices.In 2008 Anderson and Kintzinger [1] investigated the ideals, prime ideals, radical ideals, primary ideals, and maximal of a product ring R × S of two commutativenon non necceray unital rings R and S: Something resembling rings are quantales byanalogy with what is studied in ring, we begin an investigation on ideals of a productof two quantales. In this paper, given two quantales Q1 and Q2; not necessarily withidentity, we investigate the ideals, prime ideals, primary ideals, and maximal ideals ofthe quantale Q1 × Q2

2008 ◽  
Vol 77 (3) ◽  
pp. 477-483
Author(s):  
D. D. ANDERSON ◽  
JOHN KINTZINGER

AbstractLet R and S be commutative rings, not necessarily with identity. We investigate the ideals, prime ideals, radical ideals, primary ideals, and maximal ideals of R×S. Unlike the case where R and S have an identity, an ideal (or primary ideal, or maximal ideal) of R×S need not be a ‘subproduct’ I×J of ideals. We show that for a ring R, for each commutative ring S every ideal (or primary ideal, or maximal ideal) is a subproduct if and only if R is an e-ring (that is, for r∈R, there exists er∈R with err=r) (or u-ring (that is, for each proper ideal A of R, $\sqrt {A}\not =R$)), the Abelian group (R/R2 ,+) has no maximal subgroups).


2018 ◽  
Vol 14 (01) ◽  
pp. 73-89
Author(s):  
Fereshteh Forouzesh

In this paper, we introduce the notions of fuzzy semi-maximal ideals and fuzzy primary ideals of an [Formula: see text]-algebra and investigate some of their properties. Also, several characterizations of these fuzzy ideals are given. In addition, we show that [Formula: see text] is a fuzzy semi-maximal ideal of [Formula: see text] if and only if [Formula: see text] is a semi-simple [Formula: see text]-algebra and [Formula: see text] is a fuzzy primary ideal of [Formula: see text] if and only if [Formula: see text] is local [Formula: see text]-algebra. By using the notions of the maximal and normal fuzzy semi-maximal ideals, we show that under certain conditions a fuzzy semi-maximal ideal is two-valued and takes the values 0 and 1. The radical of a fuzzy ideal is defined as against the (maximal) radical of a fuzzy ideal and some of their properties are proved.


2020 ◽  
Vol 70 (6) ◽  
pp. 1307-1316
Author(s):  
Neda Arjomand Kermani ◽  
Esfandiar Eslami ◽  
Arsham Borumand Saeid

AbstractWe introduce and investigate central lifting property (CLP) for orthomodular lattices as a property whereby all central elements can be lifted modulo every p-ideal. It is shown that prime ideals, maximal ideals and finite p-ideals have CLP. Also Boolean algebras, simple chain finite orthomodular lattices, subalgebras of an orthomodular lattices generated by two elements and finite orthomodular lattices have CLP. The main results of the present paper include the investigation of CLP for principal p-ideals and finite direct products of orthomodular lattices.


1975 ◽  
Vol 27 (1) ◽  
pp. 75-87 ◽  
Author(s):  
Andrew Adler ◽  
R. Douglas Williams

Let C(X) be the ring of all real-valued continuous functions on a completely regular topological space X, and let A﹛Y) be the ring of all functions analytic on a connected non-compact Riemann surface F. The ideal theories of these two function rings have been extensively studied since the fundamental papers of E. Hewitt on C﹛X)[12] and of M. Henriksen on the ring of entire functions [10; 11]. Despite the obvious differences between these two rings, it has turned out that there are striking similarities between their ideal theories. For instance, non-maximal prime ideals of A (F) [2; 11] behave very much like prime ideals of C﹛X)[13; 14], and primary ideals of A(Y) which are not powers of maximal ideals [19] resemble primary ideals of C(X) [15]. In this paper we show that there are very good reasons for these similarities. It turns out that much of the ideal theory of A (Y) is a special case of the ideal theory of rings of continuous functions. We develop machinery that enables one almost automatically to derive results about the ideal theory of A(Y) from corresponding known results of ideal theory for rings of continuous functions.


2021 ◽  
Vol 6 (11) ◽  
pp. 11686-11707
Author(s):  
Jie Qiong Shi ◽  
◽  
Xiao Long Xin ◽  

<abstract><p>In this article, we introduce ideals and other special ideals on EQ-algebras, such as implicative ideals, primary ideals, prime ideals and maximal ideals. At first, we give the notion of ideal and its related properties on EQ-algebras, and give its equivalent characterizations. We discuss the relations between ideals and filters, and study the generating formula of ideals on EQ-algebras. Moreover, we study the properties of implicative ideals, primary ideals, prime ideals and maximal ideals and their relations. For example, we prove that every maximal ideal is prime and if prime ideals are implicative, then they are maximal in the EQ-algebra with the condition $ (DNP) $. Finally, we introduce the topological properties of prime ideals. We get that the set of all prime ideals is a compact $ T_{0} $ topological space. Also, we transferred the spectrum of EQ-algebras to bounded distributive lattices and given the ideal reticulation of EQ-algebras.</p></abstract>


1972 ◽  
Vol 24 (4) ◽  
pp. 566-572 ◽  
Author(s):  
R. E. Propes

The purpose of this paper is to characterize the radical ideals of principal ideal domains and Dedekind domains. We show that if T is a radical class and R is a PID, then T(R) is an intersection of prime ideals of R. More specifically, ifthen T(R) = (p1p2 … pk), where p1, p2, … , pk are distinct primes, and where (p1p2 … Pk) denotes the principal ideal of R generated by p1p2 … pk. We also characterize the radical ideals of commutative principal ideal rings. For radical ideals of Dedekind domains we obtain a characterization similar to the one given for PID's.


2019 ◽  
Vol 13 (07) ◽  
pp. 2050121
Author(s):  
M. Aijaz ◽  
S. Pirzada

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.


1988 ◽  
Vol 53 (1) ◽  
pp. 284-293 ◽  
Author(s):  
T. G. Kucera

This is the second of two papers based on Chapter V of the author's Ph.D. thesis [K1]. For acknowledgements please refer to [K3]. In this paper I apply some of the ideas and techniques introduced in [K3] to the study of a very specific example. I obtain an upper bound for the positive Deissler rank of an injective module over a commutative Noetherian ring in terms of Krull dimension. The problem of finding lower bounds is vastly more difficult and is not addressed here, although I make a few comments and a conjecture at the end.For notation, terminology and definitions, I refer the reader to [K3]. I also use material on ideals and injective modules from [N] and [Ma]. Deissler's rank was introduced in [D].For the most part, in this paper all modules are unitary left modules over a commutative Noetherian ring Λ but in §1 I begin with a few useful results on totally transcendental modules and the relation between Deissler's rank rk and rk+.Recall that if P is a prime ideal of Λ, then an ideal I of Λ is P-primary if I ⊂ P, λ ∈ P implies that λn ∈ I for some n and if λµ ∈ I, λ ∉ P, then µ ∈ I. The intersection of finitely many P-primary ideals is again P-primary, and any P-primary ideal can be written as the intersection of finitely many irreducible P-primary ideals since Λ is Noetherian. Every irreducible ideal is P-primary for some prime ideal P. In addition, it will be important to recall that if P and Q are prime ideals, I is P-primary, J is Q-primary, and J ⊃ I, then Q ⊃ P. (All of these results can be found in [N].)


2020 ◽  
Vol 380 (1) ◽  
pp. 103-130
Author(s):  
Andreas Næs Aaserud ◽  
David E. Evans

Abstract We associate to each Temperley–Lieb–Jones C*-tensor category $${\mathcal {T}}{\mathcal {L}}{\mathcal {J}}(\delta )$$ T L J ( δ ) with parameter $$\delta $$ δ in the discrete range $$\{2\cos (\pi /(k+2)):\,k=1,2,\ldots \}\cup \{2\}$$ { 2 cos ( π / ( k + 2 ) ) : k = 1 , 2 , … } ∪ { 2 } a certain C*-algebra $${\mathcal {B}}$$ B of compact operators. We use the unitary braiding on $${\mathcal {T}}{\mathcal {L}}{\mathcal {J}}(\delta )$$ T L J ( δ ) to equip the category $$\mathrm {Mod}_{{\mathcal {B}}}$$ Mod B of (right) Hilbert $${\mathcal {B}}$$ B -modules with the structure of a braided C*-tensor category. We show that $${\mathcal {T}}{\mathcal {L}}{\mathcal {J}}(\delta )$$ T L J ( δ ) is equivalent, as a braided C*-tensor category, to the full subcategory $$\mathrm {Mod}_{{\mathcal {B}}}^f$$ Mod B f of $$\mathrm {Mod}_{{\mathcal {B}}}$$ Mod B whose objects are those modules which admit a finite orthonormal basis. Finally, we indicate how these considerations generalize to arbitrary finitely generated rigid braided C*-tensor categories.


2007 ◽  
Vol 75 (3) ◽  
pp. 417-429 ◽  
Author(s):  
Ayman Badawi

Suppose that R is a commutative ring with 1 ≠ 0. In this paper, we introduce the concept of 2-absorbing ideal which is a generalisation of prime ideal. A nonzero proper ideal I of R is called a 2-absorbing ideal of R if whenever a, b, c ∈ R and abc ∈ I, then ab ∈ I or ac ∈ I or bc ∈ I. It is shown that a nonzero proper ideal I of R is a 2-absorbing ideal if and only if whenever I1I2I3 ⊆ I for some ideals I1,I2,I3 of R, then I1I2 ⊆ I or I2I3 ⊆ I or I1I3 ⊆ I. It is shown that if I is a 2-absorbing ideal of R, then either Rad(I) is a prime ideal of R or Rad(I) = P1 ⋂ P2 where P1,P2 are the only distinct prime ideals of R that are minimal over I. Rings with the property that every nonzero proper ideal is a 2-absorbing ideal are characterised. All 2-absorbing ideals of valuation domains and Prüfer domains are completely described. It is shown that a Noetherian domain R is a Dedekind domain if and only if a 2-absorbing ideal of R is either a maximal ideal of R or M2 for some maximal ideal M of R or M1M2 where M1,M2 are some maximal ideals of R. If RM is Noetherian for each maximal ideal M of R, then it is shown that an integral domain R is an almost Dedekind domain if and only if a 2-absorbing ideal of R is either a maximal ideal of R or M2 for some maximal ideal M of R or M1M2 where M1,M2 are some maximal ideals of R.


Sign in / Sign up

Export Citation Format

Share Document