It is a great honor for me to write a few introductory words to the present volume of CGASA dedicated to Professor George A. Grätzer. The occasion for this dedication is that we are celebrating two anniversaries in 2018 related to him. Namely, (A1) it was 55 years ago that the Grätzer--Schmidt Theorem was published, and (A2) it was 40 years ago that G. Grätzer's General Lattice Theory, which immediately became the Book in lattice theory for decades, appeared.
This interview was conducted in the second half of May, 2018. Both George Grätzer and the author were at home, in Toronto and Szeged, respectively. They communicated via a lot of e-mails and a few phone calls.
This paper establishes two new connections between the familiar function ring functor ${\mathfrak R}$ on the category ${\bf CRFrm}$ of completely regular frames and the category {\bf CR}${\mathbf \sigma}${\bf Frm} of completely regular $\sigma$-frames as well as their counterparts for the analogous functor ${\mathfrak Z}$ on the category {\bf ODFrm} of 0-dimensional frames, given by the integer-valued functions, and for the related functors ${\mathfrak R}^*$ and ${\mathfrak Z}^*$ corresponding to the bounded functions. Further it is shown that some familiar facts concerning these functors are simple consequences of the present results.
In this article the notions of semi weak orthogonality and semi weak factorization structure in a category $\mathcal X$ are introduced. Then the relationship between semi weak factorization structures and quasi right (left) and weak factorization structures is given. The main result is a characterization of semi weak orthogonality, factorization of morphisms, and semi weak factorization structures by natural isomorphisms.
K. Adaricheva and M. Bolat have recently proved that if $\,\mathcal U_0$ and $\,\mathcal U_1$ are circles in a triangle with vertices $A_0,A_1,A_2$, then there exist $j\in \{0,1,2\}$ and $k\in\{0,1\}$ such that $\,\mathcal U_{1-k}$ is included in the convex hull of $\,\mathcal U_k\cup(\{A_0,A_1, A_2\}\setminus\{A_j\})$. One could say disks instead of circles.Here we prove the existence of such a $j$ and $k$ for the more general case where $\,\mathcal U_0$ and $\,\mathcal U_1$ are compact sets in the plane such that $\,\mathcal U_1$ is obtained from $\,\mathcal U_0$ by a positive homothety or by a translation. Also, we give a short survey to show how lattice theoretical antecedents, including a series of papers on planar semimodular lattices by G. Grätzer and E. Knapp, lead to our result.
In this paper, we study the concept of $\mathcal C$-reticulation for the category $\mathcal C$ whose objects are lattice-valued maps. The relation between the free objects in $\mathcal C$ and the $\mathcal C$-reticulation of rings and modules is discussed. Also, a method to construct $\mathcal C$-reticulation is presented, in the case where $\mathcal C$ is equational. Some relations between the concepts reticulation and satisfying equalities and inequalities are studied.
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform sublocale can be extended to a (regular) Cauchy point on the larger (quasi-)uniform frame.
< p>The intersection graph $\\mathbb{Int}(A)$ of an $S$-act $A$ over a semigroup $S$ is an undirected simple graph whose vertices are non-trivial subacts of $A$, and two distinct vertices are adjacent if and only if they have a non-empty intersection. In this paper, we study some graph-theoretic properties of $\\mathbb{Int}(A)$ in connection to some algebraic properties of $A$. It is proved that the finiteness of each of the clique number, the chromatic number, and the degree of some or all vertices in $\\mathbb{Int}(A)$ is equivalent to the finiteness of the number of subacts of $A$. Finally, we determine the clique number of the graphs of certain classes of $S$-acts.
The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (for example, $\{0\})$ that are closed under the natural metric, but has no prime ideal closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Together, these facts answer a question posed by J. Gleason. From this example, rings of arbitrary characteristic with the same properties are obtained. The result that $B$ is complete in its metric is generalized to show that if $L$ is a lattice given with a metric satisfying identically either the inequality $d(x\vee y,\,x\vee z)\leq d(y,z)$ or the inequality $d(x\wedge y,x\wedge z)\leq d(y,z),$ and if in $L$ every increasing Cauchy sequence converges and every decreasing Cauchy sequence converges, then every Cauchy sequence in $L$ converges; that is, $L$ is complete as a metric space. We show by example that if the above inequalities are replaced by the weaker conditions $d(x,\,x\vee y)\leq d(x,y),$ respectively $d(x,\,x\wedge y)\leq d(x,y),$ the completeness conclusion can fail. We end with two open questions.
In this paper, we show that injectivity with respect to the class $\mathcal{D}$ of dense monomorphisms of an idempotent and weakly hereditary closure operator of an arbitrary category well-behaves. Indeed, if $\mathcal{M}$ is a subclass of monomorphisms, $\mathcal{M}\cap \mathcal{D}$-injectivity well-behaves. We also introduce the notion of $(r,t)$-injectivity in the category {\bf S-Act}, where $r$ and $t$ are Hoehnke radicals, and discuss whether this kind of injectivity well-behaves.
In this paper, we prove Frankl's Conjecture for an upper semimodular lattice $L$ such that $|J(L)\setminus A(L)| \leq 3$, where $J(L)$ and $A(L)$ are the set of join-irreducible elements and the set of atoms respectively. It is known that the class of planar lattices is contained in the class of dismantlable lattices and the class of dismantlable lattices is contained in the class of lattices having breadth at most two. We provide a very short proof of the Conjecture for the class of lattices having breadth at most two. This generalizes the results of Joshi, Waphare and Kavishwar as well as Czédli and Schmidt.