Related papers: A uniform Birkhoff theorem

One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a…

We show that pseudovarieties of finitely generated algebras, i.e., classes $C$ of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure $U$ on the free…

Solutions that satisfy classically the Burgers equation except, perhaps, on a closed set S of the plane of potential singularities whose Hausdorff 1-measure is zero, $H^1(S) = 0$, are necessarily identically constant. We show this under the…

We apply, in the context of semigroups, the main theorem from~\cite{higjac} that an elementary class $\mathcal{C}$ of algebras which is closed under the taking of direct products and homomorphic images is defined by systems of equations. We…

Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a…

Assume that $A$ is a closed linear operator defined on all of a Hilbert space $H$. Then $A$ is bounded. A new short proof of this classical theorem is given on the basis of the uniform boundedness principle. The proof can be easily extended…

A group $\Gamma$ is said to be uniformly HS stable if any map $\varphi : \Gamma \to U(n)$ that is almost a unitary representation (w.r.t. the Hilbert Schmidt norm) is close to a genuine unitary representation of the same dimension. We…

This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable in the equational theory. More precisely, if a certain…

In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…

We say that a $C^*$-algebra $\mathcal{A}$ satisfies the similarity property ((SP)) if every bounded homomorphism $u\colon \mathcal{A} \to \mathcal{B}(\mathit{H})$, where $\mathit{H}$ is a Hilbert space, is similar to a $*$-homomorphism. We…

Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…

Building upon the classical article "Representing varieties of algebras by algebras'' by W. D. Neumann, we revisit the famous Birkhoff's HSP theorem in the light of infinitary algebra.

Let $X$ be a completely regular space. For a non-vanishing self-adjoint Banach subalgebra $H$ of $C_B(X)$ which has local units we construct the spectrum $\mathfrak{sp}(H)$ of $H$ as an open subspace of the Stone-Cech compactification of…

The unitary Birkhoff theorem states that any unitary matrix with all row sums and all column sums equal unity can be decomposed as a weighted sum of permutation matrices, such that both the sum of the weights and the sum of the squared…

Let $D$ be a bounded domain in a complex Banach space. According to the Earle-Hamilton fixed point theorem, if a holomorphic mapping $F : D \mapsto D$ maps $D$ strictly into itself, then it has a unique fixed point and its iterates converge…

Every homomorphism $\varphi: B(G) \rightarrow B(H)$ between Fourier-Stieltjes algebras on locally compact groups $G$ and $H$ is determined by a continuous mapping $\alpha: Y \rightarrow \Delta(B(G))$, where $Y$ is a set in the open coset…

For locally compact groups G and H let A(G) denote the Fourier algebra of G and B(H) the Fourier-Stieltjes algebra of H. Any continuous piecewise affine map alpha:Y -> G (where Y is an element of the open coset ring of H) induces a…

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

A complete theory $T$ has the Schr\"oder-Bernstein property or simply the SB-property if any pair of elementarily bi-embeddable models are isomorphic. This property has been studied in the discrete first-order setting and can be seen as a…

In this paper we focus on the set-open topologies on the group $\mathcal{H}(X)$ of all self-homeomorphisms of a topological space $X$ which yield continuity of both the group operations, product and inverse function. As a consequence, we…