The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the Mizar Mathematical Library, there are some attempts to formalize prime ideals and filters; one series of articles written as decoding [9] proven some results; we tried however to follow [21], [12], and [13]. All three were devoted to the Stone repr...

An integral domain $D$ is called a emph{locally GCD domain} if $D_{M}$ is aGCD domain for every maximal ideal $M$ of $D$. We study somering-theoretic properties of locally GCD domains. E.g., we show that $%D$ is a locally GCD domain if and only if $aDcap bD$ is locally principalfor all $0neq a,bin D$, and flat overrings of a locally GCD domain arelocally GCD. We also show that the t-class group...

In this paper, we define the notion of minimal prime ideals hoops and investigate some properties them. Then by using annihilators, study relation between annihilators. Also, introduce zero divisors elements prove that set all is a union hoop. Finally, notions maximal hoop, two new as p-ideal m-ideal. them every semi-simple hoop an m-ideal it.

It is well-known that the sum of two $z$-ideals in $C(X)$ is either $C(X)$ or a $z$-ideal. The main aim of this paper is to study the sum of strongly $z$-ideals in ${mathcal{R}} L$, the ring of real-valued continuous functions on a frame $L$. For every ideal $I$ in ${mathcal{R}} L$, we introduce the biggest strongly $z$-ideal included in $I$ and the smallest strongly $z$-ideal containing ...

we discuss whether finiteness properties of a profinite group $g$ can be deduced from the coefficients of the probabilisticzeta function $p_g(s)$. in particular we prove that if $p_g(s)$ is rational and all but finitely many non abelian composition factors of $g$ are isomorphic to $psl(2,p)$ for some prime $p$, then $g$ contains only finitely many maximal subgroups.

1. Results. Scattered results about countably2 generated ideals in C(X) are established in [2] and [4] : Op is countably generated if and only if pEX and p has a countable base of neighborhoods; Op is both prime and countably generated if and only if Mp is principal, and if and only if pEX and p is isolated; no lower prime ideal is countably generated. We generalize these as follows: if Mp is c...

It is shown that a commutative Bézout ring R with compact minimal prime spectrum is an elementary divisor ring if and only if so is R/L for each minimal prime ideal L. This result is obtained by using the quotient space pSpec R of the prime spectrum of the ring R modulo the equivalence generated by the inclusion. When every prime ideal contains only one minimal prime, for instance if R is arith...

s of papers presented at the meeting follow. Abstracts whose titles are followed by "t" were presented by title. Mrs. Lehmer was introduced by the Associate Secretary, Mr. Rail by Professor Lonseth, Professor Nash by Professor W. T. Martin, and Mr. Krabble by Professor C. B. Morrey. ALGEBRA AND THEORY OF NUMBERS 5SSt. W. E. Barnes: Primal ideals in noncommutative rings. In any associative ring ...

in this paper, we introduce and study the prime, strongly prime,semiprime and irreducible fuzzy bi-ideals of a semigroup. we characterize thosesemigroups for which each fuzzy bi-ideal is semiprime. we also characterizethose semigroups for which each fuzzy bi-ideal is strongly prime.

Let $R$ be a commutative ring with identity‎. ‎A proper ideal $P$ of $R$ is a $(n-1,n)$-$Phi_m$-prime ($(n-1,n)$-weakly prime) ideal if $a_1,ldots,a_nin R$‎, ‎$a_1cdots a_nin Pbackslash P^m$ ($a_1cdots a_nin Pbackslash {0}$) implies $a_1cdots a_{i-1}a_{i+1}cdots a_nin P$‎, ‎for some $iin{1,ldots,n}$; ($m,ngeq 2$)‎. ‎In this paper several results concerning $(n-1,n)$-$Phi_m$-prime and $(n-1,n)$-...