Related papers: Forcing a Boolean Algebra with predesigned automor…

We prove that algebraic isomorphisms between limit algebras are automatically continuous, and consider consequences of this result. In particular, we give partial solutions to a conjecture of Power [Limit Algebras, Longman, 1992, Notes to…

If $A$ is an algebra and \bgt is a tolerance on $A$, then $A/\bgt$ is a multi-algebra in a natural way. We give an example to show that not every multi-algebra arises in this manner. We slightly generalize the construction of $A/\bgt$ and…

We study the automorphism groups attached to a free algebra with multiple, possibly infinitely many, composition laws. As an application, we prove that the automorphism group of finitely generated vertex algebras over noetherian rings are…

Let G be a free group in a variety of groups, but G is not absolutely free. We prove that the group of automorphisms Aut(G) is linear iff G is a virtually nilpotent group.

Let F be a local field of positive characteristic, and let G be either a Heisenberg group over F, or a certain (nonabelian) two-dimensional unipotent group over F. If H is an arithmetic subgroup of G, we provide an explicit description of…

Let $A$ be an Azumaya algebra over a field. If $G$ is the group of automorphisms of $A$ and $X$ denotes a projective homogeneous variety under $G$, we construct in a very explicit way and under suitable hypotheses a bundle $\mathcal{V}$ on…

Let $I(X,R)$ be the incidence algebra of the preordered set $X$ over the ring $R$. In the case of a finite connected partially ordered set $X$, we prove that the subgroup of inner multiplicative automorphisms is a direct factor of the group…

We study equations over boolean algebras with distinguished elements. We prove the criteria, when a boolean algebra is equationally Noetherian, weakly equationally Noetherian, $\mathbf{q}_\omega$-compact or $\mathbf{u}_\omega$-compact. Also…

The paper investigates possible generalisations of Maharam's theorem to a classification of Boolean algebras that support a finitely additive measure. We prove that Boolean algebras that support a finitely additive non-atomic uniformly…

Let $1 \to N \to G \to H \to 1$ be an abelian extension. The purpose of this paper is to study the problem of extending automorphisms of $N$ and lifting automorphisms of $H$ to certain automorphisms of $G$.

We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism…

In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(\omega)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies…

Given a simple vertex algebra A and a reductive group G of automorphisms of A, the invariant subalgebra A^G is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true…

Explicit generators are found for the group of automorphisms of the algebra of one-sided inverses of a polynomial algebra in $n$ variables. An analogue of the polynomial Jacobian homomorphism is found.

It is shown that a Cayley multigraph over a group $G$ with generating multiset $S$ is integral (i.e., all of its eigenvalues are integers) if $S$ lies in the integral cone over the boolean algebra generated by the normal subgroups of $G$.…

We make a start on one of George McNulty's Dozen Easy Problems: "Which finite automatic algebras are dualizable?" We give some necessary and some sufficient conditions for dualizability. For example, we prove that a finite automatic algebra…

We show that every finite Abelian algebra A from congruence-permutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure of finite…

A homogeneous family of subsets over a given set is one with a very ``rich'' automorphism group. We prove the existence of a bi-universal element in the class of homogeneous families over a given infinite set and give an explicit…

We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a…

We show that every algebraic group scheme over a field with at least 8 elements can be realized as the group of automorphisms of a nonassociative algebra. This is only a modest improvement of the theorem of Gordeev and Popov (2003), but it…