Suppose M is a maximal ideal of a commutative integral domain R and that some power Mn of M is finitely generated. We show that M is finitely generated in each of the following cases: (i) M is of height one, (ii) R is integrally closed and htM = 2, (iii) R = K[X; S̃] is a monoid domain over a field K, where S̃ = S ∪ {0} is a cancellative torsion-free monoid such that ⋂∞ m=1 mS = ∅, and M is the m...

The concept of residuated relational systems ordered under a quasi-order relation was introduced in 2018 by S. Bonzio and I. Chajda as structure $\mathfrak{A} = \langle A, \cdot, \rightarrow, 1, \preccurlyeq \rangle$, where $(A,\cdot)$ is commutative semigroup with the identity $1$ top element this monoid $\preccurlyeq$. In 2020, author analyzed concepts filters type algebraic structures. addit...

All rings and algebras considered in this paper are commutative with identity elements and, unless otherwise specified, are to be assumed to be non-trivial. All ringhomomorphisms are unital. Let k be a field. We denote the class of commutative k−algebras with finite transcendence degree over k by C. Also, we shall use t.d.(A) to denote the transcendence degree of a k−algebra A over k, A[n] to d...

An ideal K of R is a subset that is both a left ideal and a right ideal of R. For emphasis, we sometimes call it a two-sided ideal but the reader should understand that unless qualified, the word ideal will always refer to a two-sided ideal. The zero ideal (0) and the whole ring R are examples of two-sided ideals in any ring R. A (left)(right) ideal I such that I 6= R is called a proper (left)(...

In this paper, first we introduce the notions of k-nilpotent (solvable) ideals and BCK-algebras. Specially, show that every commutative ideal is 1-nilpotent (solvable). Second, state an equivalent condition to k-nilpotency (solvablity) BCK-algebra. Finally, study n-fold 2-nilpotent BCK-algebras as a generalization BCK-algebras, relation between these two concepts. Basically, compare solvable (B...

it is shown that a commutative reduced ring r is a baer ring if and only if it is a cs-ring; if and only if every dense subset of spec (r) containing max (r) is an extremally disconnected space; if and only if every non-zero ideal of r is essential in a principal ideal generated by an idempotent.

Classical differential geometry can be encoded in spectral data, such as Connes’ spectral triples, involving supersymmetry algebras. In this paper, we formulate non-commutative geometry in terms of supersymmetric spectral data. This leads to generalizations of Connes’ non-commutative spin geometry encompassing noncommutative Riemannian, symplectic, complex-Hermitian and (Hyper-) Kähler geometry...

Let K ⊂ G be a compact subgroup of a real Lie group G. Denote by D(X) thealgebra of G-invariant differential operators on the homogeneous space X = G/K. ThenX is called commutative or the pair (G,K) is called a Gelfand pair if the algebra D(X)is commutative. Symmetric Riemannian homogeneous spaces introduced by Élie Cartanand weakly symmetric homogeneous spaces introduced by Sel...

In this paper, the authors study the notion of n-fold implicative and fuzzy n-fold implicative filters, which correspond to various sets of provable formulaes, in BL-algebras. Several characterizations of fuzzy n-fold implicative filters are given and the authors analyse some relationships with various n-fold and fuzzy n-fold filters in BL-algebras, while constructing some algorithms for studyi...