We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it decides equality of characterizable differential ideals contained in each other.

Let $R$ be a commutative ring. In this paper, by using algebraic properties of $R$, we study the Hase digraph of prime ideals of $R$.

In a commutative Noetherian local complex normed algebra which is complete in its M-adic metric there are only finitely many closed prime ideals.

Solution: The ring F [x] of polynomials with coefficients in a field F is a P.I.D. Each prime ideal is generated by a monic, irreducible polynomial. Assume there are only a finite number of prime ideals generated by the polynomials f1, . . . , fn and let f(x) = 1+f1(x) · · · fn(x). No fi divides f , hence f is also irreducible. This contradicts the assumption that all the prime ideals were gene...

We consider the intuitionistic fuzzification of the concept of prime ideals in commutative BCK-algebras, and investigate some of their properties. We show that if P is a prime ideal of commutative BCK-algebra X iff ∼ P = 〈XP , − XP 〉 is an intuitionistic fuzzy prime ideal of X. We also prove that An IFS A = 〈μA, λA〉 of commutative BCK-algebra X is an intuitionistic fuzzy prime ideal of X if and...