English
Related papers

Related papers: Boolean Factor Congruences and Property (*)

200 papers

We characterize the bialgebraic varieties of the $\Gamma$ function, that is, if $V,W\subseteq\mathbb{C}^n$ are irreducible affine algebraic variety which satisfy $\dim V =\dim W$ and $\Gamma(V)\subseteq W$, then the equations defining $V$…

Complex Variables · Mathematics 2025-09-30 Sebastian Eterović , Adele Padgett , Roy Zhao

In some varieties of algebras one can reduce the question of finding most general unifiers (mgus) to the problem of the existence of unifiers that fulfill the additional condition called projectivity. In this paper we study this problem for…

Logic · Mathematics 2010-12-07 Katarzyna Słomczyńska

We consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters…

Logic · Mathematics 2007-05-23 Stefan Geschke , Saharon Shelah

We discuss the problem of defining a tensor product of profinitely many copies of a vector space $V$, and propose a definition $\bigotimes_X^{\mathrm{mcc}} V$ in the special situation that (1) $V$ is finite-dimensional over $\mathbf{F}_2$,…

Rings and Algebras · Mathematics 2026-04-07 David Treumann , C. -M. Michael Wong

In this paper we define the Boolean Lifting Property (BLP) for residuated lattices to be the property that all Boolean elements can be lifted modulo every filter, and study residuated lattices with BLP. Boolean algebras, chains, local and…

Logic · Mathematics 2015-02-03 George Georgescu , Claudia Muresan

Suppose V{\nu} is the pseudo-variance function of the Cauchy-Stieltjes Kernel (CSK) family K+({\nu}) generated by a non degenerate probability measure {\nu} with support bounded from above. We determine the formula for pseudo-variance…

Probability · Mathematics 2020-03-24 Raouf Fakhfakh

In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in…

Logic · Mathematics 2018-04-20 Ramon Jansana , Hernan Javier San Martin

We show that a locally finite variety which omits abelian types is self-regulating if and only if it has a compatible semilattice term operation. Such varieties must have a type-set {5}. These varieties are residually small and, when they…

Rings and Algebras · Mathematics 2009-09-25 Keith A. Kearnes , Ågnes Szendrei

An important and long-standing open problem in universal algebra asks whether every finite lattice is isomorphic to the congruence lattice of a finite algebra. Until this problem is resolved, our understanding of finite algebras is…

Group Theory · Mathematics 2012-05-08 William J. DeMeo

A Banach space X has Pelczynski's property (V) if for every Banach space Y every unconditionally converging operator T: X -> Y is weakly compact. H. Pfitzner proved that C*-algebras have Pelczynski's property (V). In the preprint "H.…

Operator Algebras · Mathematics 2016-06-07 Hana Krulisova

We completely determine all varieties of monoids on whose free objects all fully invariant congruences or all fully invariant congruences contained in the least semilattice congruence permute. Along the way, we find several new monoid…

Group Theory · Mathematics 2021-06-24 Sergey V. Gusev , Boris M. Vernikov

Meet semidistributive varieties are in a sense the last of the most important classes in universal algebra for which it is unknown whether it can be characterized by a strong Maltsev condition. We present a new, relatively simple Maltsev…

Logic · Mathematics 2023-06-22 Miroslav Olšák

Given a join semilattice $S$ with a minimum $\hat{0}$, the quarks (also called atoms in order theory) are the elements that cover $\hat{0}$, and for each $x \in S \setminus \{\hat{0}\}$ a factorization (into quarks) of $x$ is a minimal set…

Combinatorics · Mathematics 2023-05-02 Khalid Ajran , Felix Gotti

We prove that every distributive algebraic lattice with at most $\aleph\_1$ compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The $\aleph\_1$ bound is optimal, as…

General Mathematics · Mathematics 2007-05-23 Pavel Ruzicka , Jiri Tuma , Friedrich Wehrung

A variety is a class of algebraic structures axiomatized by a set of equations. An equation is linear if there is at most one occurrence of an operation symbol on each side. We show that a variety axiomatized by linear equations has the…

Logic · Mathematics 2024-08-28 Paolo Lipparini

We show that under certain conditions, well-studied algebraic properties transfer from the class $\mathcal{Q}_{_\text{RFSI}}$ of the relatively finitely subdirectly irreducible members of a quasivariety $\mathcal{Q}$ to the whole…

Logic · Mathematics 2023-06-06 Wesley Fussner , George Metcalfe

A braided fusion category is said to have Property $\textbf{F}$ if the associated braid group representations factor over a finite group. We verify integral metaplectic modular categories have property $\textbf{F}$ by showing these…

This is the second in a series of articles aimed at exploring the relationship between the complexity classes of P and NP. The research in this article aims to find conditions of an algorithmic nature that are necessary and sufficient to…

Computational Complexity · Computer Science 2023-11-07 Stepan G. Margaryan

In this paper, we study an abelian-type property of infinite words called well distributed occurrences, or WELLDOC for short. An infinite word $w$ on a $d$-ary alphabet has the WELLDOC property if, for each factor $u$ of $w$, positive…

Discrete Mathematics · Computer Science 2026-03-10 Svetlana Puzynina , Vladimir Schavelev

Blaschke factorization allows us to write any holomorphic function $F$ as a formal series $$ F = a_0 B_0 + a_1 B_0 B_1 + a_2 B_0 B_1 B_2 + \cdots$$ where $a_i \in \mathbb{C}$ and $B_i$ is a Blaschke product. We introduce a more general…

Complex Variables · Mathematics 2018-10-04 Maxime Lukianchikov , Vladyslav Nazarchuk , Christopher Xue