Related papers: New Results on Congruence Boolean Lifting Property
Gated Linear Units (GLUs) have become a common building block in modern foundation models. Bilinear layers drop the non-linearity in the "gate" but still have comparable performance to other GLUs. An attractive quality of bilinear layers is…
We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital…
Let $f$ be a holomorphic mapping between compact complex manifolds. We give a criterion for $f$ to have {\it unobstructed deformations}, i.e. for the local moduli space of $f$ to be smooth: this says, roughly speaking, that the group of…
A \emph{congruence} on $\mathbb{N}^n$ is an equivalence relation on $\mathbb{N}^n$ that is compatible with the additive structure. If $\Bbbk$ is a field, and $I$ is a \emph{binomial ideal} in $\Bbbk[X_1,\dots,X_n]$ (that is, an ideal…
In this article, we introduce a lattice congruence with respect to a nonempty ideal $I$ of a distributive lattice $L$ and a derivation $d$ on $L$ denoted by $\theta_I^d$. We investigate some necessary and sufficient conditions for the…
The commutator operation in a congruence-modular variety $\mathcal{V}$ allows us to define the prime congruences of any algebra $A\in \mathcal{V}$ and the prime spectrum $Spec(A)$ of $A$. The first systematic study of this spectrum can be…
Learning from Label Proportion (LLP) is a weakly supervised learning scenario in which training data is organized into predefined bags of instances, disclosing only the class label proportions per bag. This paradigm is essential for user…
The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…
Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
For finitely generated modules $N \subsetneq M$ over a Noetherian ring $R$, we study the following properties about primary decomposition: (1) The Compatibility property, which says that if $\ass (M/N)=\{P_1, P_2, ..., P_s\}$ and $Q_i$ is a…
Given a triangulated category $\mathcal{C}$, we construct a partial compactification, denoted $\mathcal{A}\mathrm{Stab}(\mathcal{C})$, of the quotient of its stability manifold by $\mathbb{C}$. The purpose of…
This paper seeks ring-theoretic conditions of an integral domain R that reflect in the Clifford property or Boolean property of its class semigroup S(R), that is, the semigroup of the isomorphy classes of the nonzero (integral) ideals of R…
An abstract convergence theorem for a class of generalized descent methods that explicitly models relative errors is proved. The convergence theorem generalizes and unifies several recent abstract convergence theorems. It is applicable to…
A Boolean power S of a commutative ring R has the structure of a commutative R-algebra, and with respect to this structure, each element of S can be written uniquely as an R-linear combination of orthogonal idempotents so that the sum of…
Each quiver corresponds to a path semigroup, and such a path semigroup also corresponds to an associative K-algebra over an algebraically closed field K. Let Q be a quiver and S_Q, KQ be its path semigroup, path algebra, respectively. In…
Semiconic idempotent logic sCI is a common generalization of intuitionistic logic, semilinear idempotent logic sLI, and in particular relevance logic with mingle. We establish the projective Beth definability property and the deductive…
Pr\"{u}fer domains and subclasses of integral domains such as Dedekind domains admit characterizations by means of the properties of their ideal lattices. Interestingly, a Leavitt path algebra $L$, in spite of being non-commutative and…
A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\mathsf{MELL}$), known as a \emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known…
The Chinese Remainder Theorem for the integers says that every system of congruence equations is solvable as long as the system satisfies an obvious necessary condition. This statement can be generalized in a natural way to arbitrary…