Related papers: Filter theory of IL-algebras
This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective…
We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…
In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…
This short article contains the construction of a construction that generalizes the concept of the derivative of a function of one variable, using the theory of filters. The paper presents a new concept, demonstrates that it really…
In this work, we extend the definition of the graded prime ideals from those in commutative graded rings to the ideals over graded Lie algebras. We prove some facts about graded prime Lie ideals in arbitrary Lie algebras that are similar to…
For any finitely generated abelian group $Q$, we reduce the problem of classification of $Q$-graded simple Lie algebras over an algebraically closed field of "good" characteristic to the problem of classification of gradings on simple Lie…
Intuitively, the filter dimension of an algebra or a module measures how `close' standard filtrations of the algebra or the module are. In particular, for a simple algebra it also measures the growth of how `fast' one can prove that the…
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main…
Iterated loop algebras are by definition obtained by repeatedly applying the loop construction, familiar from the theory of affine Kac-Moody Lie algebras, to a given base algebra. Our interest in this iterated construction is motivated by…
We generalize the logarithmic decomposition theorem of Deligne-Illusie to a filtered version. There are two applications. The easier one provides a mod $p$ proof for a vanishing theorem in characteristic zero. The deeper one gives rise to a…
We show that the graded maximal ideal of a graded $K$-algebra $R$ has linear quotients for a suitable choice and order of its generators if the defining ideal of $R$ has a quadratic Gr\"obner basis with respect to the reverse lexicographic…
It is shown that every Leavitt path algebra L of an arbitrary directed graph E over a field K is an arithmetical ring, that is, the two-sided ideals of L form a distributive lattice. It is also shown that L is a multiplication ring, that…
A general simplicity problem in category theory is proposed. A particular example, the simplest choice of generators of an algebra is specified and illustrated by an example.
In this paper, we introduce and study the notion of S-filters in bounded distributive lattices.
We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra.…
In this article, we introduce the concepts of excision and idealization for a multiplicative Lie algebra (also for a Lie algebra), which provides two new multiplicative Lie algebras (or Lie algebras) from a given multiplicative Lie algebra…
We study the problem of the existence of filtered multiplicative bases of a restricted enveloping algebra u(L), where L is a finite-dimensional and p-nilpotent restricted Lie algebra over a field of positive characteristic p.
We consider filtered or graded algebras $A$ over a field $K$. Assume that there is a discrete valuation $O_v$ of $K$ with $m_v$ its maximal ideal and $k_v:=O_v/m_v$ its residue field. Let $\Lambda$ be $O_v$-order such that $\Lambda K=A$ and…
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.