相关论文: Local finiteness in varieties of MS4-algebras

We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…

We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category…

We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…

The paper is devoted to local derivations on the algebra $S(\mathcal{M},\tau)$ of $\tau$-measurable operators affiliated with a von Neumann algebra $\mathcal{M}$ and a faithful normal semi-finite trace $\tau.$ We prove that every local…

A group graded $K$-algebra $A=\bigoplus\limits_{g\in G} A_g$ is called "locally finite" if $\dim_K A_g < \infty$ for every $g\in G$. We characterise the weighted graphs $(E,w)$ for which the weighted Leavitt path algebra $L_K(E,w)$ is…

We use recent results about linking the number of zeros on algebraic varieties over $\mathbb{C}$, defined by polynomials with integer coefficients, and on their reductions modulo sufficiently large primes to study congruences with products…

Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb{V} = R^{2k} f_{*} \mathbb{Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$…

Building on an old result of Duncan and Namioka, we show that the ${\ell}^1$-convolution algebra of a semilattice $S$ is biflat precisely when $S$ is uniformly locally finite. The proof shows in passing that for such $S$ the convolution…

This paper is devoted to local derivations on subalgebras on the algebra $S(M, \tau)$ of all $\tau$-measurable operators affiliated with a von Neumann algebra $M$ without abelian summands and with a faithful normal semi-finite trace $\tau.$…

Let $\Gamma$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_{\Gamma}$ of finite dimensional algebras $\Sigma$ with $Id(\Sigma) = \Gamma$.…

An algebra $A$ is said to be directly finite if each left invertible element in the (conditional) unitization of $A$ is right invertible. We show that the reduced group ${\rm C}^\ast$-algebra of a unimodular group is directly finite,…

In this paper we describe the Fra\"iss\'e limit of finite MV-algebras and then prove that finite MV-algebras verify the Ramsey property. Then we show that MV-algebras are just a special case of a more general situation. In fact, under…

We prove that the Cuntz-Pimsner algebra associated to any surjective aperiodic one-sided subshift with finitely many left special elements has finite nuclear dimension, which is especially the case for every surjective aperiodic subshift…

In this paper, an algebraic theory for local rings of finite embedding dimension is developed. Several extensions of (Krull) dimension are proposed, which are then used to generalize singularity notions from commutative algebra. Finally,…

We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing…

Motivated by recent developments of $\infty$-categorical theories related to differential graded (dg for short) Lie algebras, we develop a general framework for locally finite $\infty$-$\mathfrak{g}$-modules over a dg Lie algebra…

We show that the BF theory in any space-time dimension, when quantized in a certain linear covariant gauge, possesses a vector supersymmetry. The generator of the latter together with those of the BRS transformations and of the translations…

We prove that every local derivation on a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero is a derivation. We also give examples of finite-dimensional nilpotent Lie algebras $\mathcal{L}$…

We prove that any derivation of the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a properly infinite von Neumann algebra $\mathcal{M}$ is continuous with respect to the local measure topology…

We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…