No Arabic abstract
This paper studies the differential lattice, defined to be a lattice $L$ equipped with a map $d:Lto L$ that satisfies a lattice analog of the Leibniz rule for a derivation. Isomorphic differential lattices are studied and classifications of differential lattices are obtained for some basic lattices. Several families of derivations on a lattice are explicitly constructed, giving realizations of the lattice as lattices of derivations. Derivations on a finite distributive lattice are shown to have a natural structure of lattice. Moreover, derivations on a complete infinitely distributive lattice form a complete lattice. For a general lattice, it is conjectured that its poset of derivations is a lattice that uniquely determines the given lattice.
We introduce the notion of a (strongly) topological lattice $mathcal{L}=(L,wedge ,vee)$ with respect to a subset $Xsubsetneqq L;$ aprototype is the lattice of (two-sided) ideals of a ring $R,$ which is(strongly) topological with respect to the prime spectrum of $R.$ We investigate and characterize (strongly) topological lattices. Given a non-zero left $R$-module $M,$ we introduce and investigate the spectrum $mathrm{Spec}^{mathrm{f}}(M)$ of textit{first submodules} of $M.$ We topologize $mathrm{Spec}^{mathrm{f}}(M)$ and investigate the algebraic properties of $_{R}M$ by passing to the topological properties of the associated space.
Let $H$ be a finite dimensional semisimple Hopf algebra, $A$ a differential graded (dg for short) $H$-module algebra. Then the smash product algebra $A#H$ is a dg algebra. For any dg $A#H$-module $M$, there is a quasi-isomorphism of dg algebras: $mathrm{RHom}_A(M,M)#Hlongrightarrow mathrm{RHom}_{A#H}(Mot H,Mot H)$. This result is applied to $d$-Koszul algebras, Calabi-Yau algebras and AS-Gorenstein dg algebras
We describe here the lower garland of some lattices of intermediate subgroups in linear groups. The results are applied to the case of subgroup lattices in general and special linear groups over a class of rings, containing the group of rational points T of a maximal non-split torus in the corresponding algebraic group. It turns out that these garlands coincide with the interval of the whole lattice, consisting of subgroups between T and its normalizer.
A meadow is a zero totalised field (0^{-1}=0), and a cancellation meadow is a meadow without proper zero divisors. In this paper we consider differential meadows, i.e., meadows equipped with differentiation operators. We give an equational axiomatization of these operators and thus obtain a finite basis for differential cancellation meadows. Using the Zariski topology we prove the existence of a differential cancellation meadow.
Whereas Holm proved that the ring of differential operators on a generic hyperplane arrangement is finitely generated as an algebra, the problem of its Noetherian properties is still open. In this article, after proving that the ring of differential operators on a central arrangement is right Noetherian if and only if it is left Noetherian, we prove that the ring of differential operators on a central 2-arrangement is Noetherian. In addition, we prove that its graded ring associated to the order filtration is not Noetherian when the number of the consistuent hyperplanes is greater than 1.