Let $I$ be a semi-prime ideal. Then $P_{\circ }\in Min\left(I\right)$ is called irredundant with respect to $I$ if $I\ne {\bigcap }_{P_{\circ }\ne P\in Min\left(I\right)}P$. If $I$ is the intersection of all irredundant ideals with respect to $I$, it is called a fixed-place ideal. If there are no irredundant ideals with respect to $I$, it is called an anti fixed-place ideal. We show that each semi-prime ideal has a unique representation as an intersection of a fixed-place ideal and an anti fixed-place ideal. We say the point $p\in \beta X$ is a fixed-place point if $O^p\left(X\right)$ is a fixed-place ideal. In this situation...

“The kernel functor” $W\stackrel{k}{\to }LFrm$ from the category $W$ of archimedean lattice-ordered groups with distinguished weak unit onto LFrm, of Lindelöf completely regular frames, preserves and reflects monics. In $W$, monics are one-to-one, but not necessarily so in LFrm. An embedding $\varphi \in W$ for which $k\varphi$ is one-to-one is termed kernel-injective, or KI; these are the topic of this paper. The situation is contrasted with kernel-surjective and -preserving (KS and KP). The $W$-objects every embedding of which is KI are characterized;...

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying methods of functionally...