Related papers: On coproducts in varieties, quasivarieties and pre…
We prove an analogue of the Magnus theorem for associative algebras without unity over arbitrary fields. Namely, if an algebra is given by n+k generators and k relations and has an n-element system of generators, then this algebra is a free…
We study surjective homomorphisms f:\prod_I A_i\to B of not-necessarily-associative algebras over a commutative ring k, for I a generally infinite set; especially when k is a field and B is countable-dimensional over k. Our results have the…
In this article we consider partial abelianization of associative algebra with respect to a subalgebra. This notion is a generalization of usual abelianization of associative algebra and has an application in Quantum Mechanics and Quantum…
We investigate Cartan subalgebras in nontracial amalgamated free product von Neumann algebras $M_1 \ast_B M_2$ over an amenable von Neumann subalgebra $B$. First, we settle the problem of the absence of Cartan subalgebra in arbitrary free…
It is well known from universal algebra that, for every signature $\Sigma$, there exist algebras over $\Sigma$ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping…
In this paper we describe the amalgamated free product of two hyperfinite von Neumann algebras over a finite dimensional subalgebra. In general the free product is a finite direct sum of interpolated free group factors and a hyperfinite von…
There has been considerable interest in recent decades in questions of random generation of finite and profinite groups, and finite simple groups in particular. In this paper we study similar notions for finite and profinite associative…
We apply the free product construction to various local algebras in algebraic quantum field theory. If we take the free product of infinitely many identical half-sided modular inclusions with ergodic canonical endomorphism, we obtain a…
A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive…
This paper classifies the derivations of group algebras in terms of the generators and defining relations of the group. If $RG$ is a group ring, where $R$ is commutative and $S$ is a set of generators of $G$ then necessary and sufficient…
We classify all subgroups of $SO(3)$ that are generated by two elements, each a rotation of finite order, about axes separated by an angle that is a rational multiple of $\pi$. In all cases we give a presentation of the subgroup. In most…
Let G be a group of the form G_1* ... *G_n, the free product of n subgroups, and let M be a ZG-module of the form $\bigoplus_{i=1}^n M_i \otimes_{\mathbb{Z}G_i} \mathbb{Z}G$. We shall give formulae in various situations for $d_{ZG}(M)$, the…
In [11] it is shown that the variety $\mathsf{DLP}$ of distributive l-pregroups is generated by a single algebra, the functional algebra $\mathbf{F}(Z)$ over the integers. Here, we show that $\mathsf{DLP}$ is equal to the join of its…
This paper proves that homology equivalences of cogenerating complexes induce homology equivalences of the cofree coalgebras in many interesting cases. We show that the underlying chain complex of any cofree coalgebra is naturally a direct…
We study several families of semisimple Hopf algebras, arising as bismash products, which are constructed from finite groups with a certain specified factorization. First we associate a bismash product $H_q$ of dimension $q(q-1)(q+1)$ to…
We study certain subgroups of the full group of Hopf algebra automorphisms of a biproduct. In the process interesting subgroups of certain permutation groups come into play.
Let $H$ be a subgroup of $\text{Sym}_n$, the symmetric group of degree $n$. For a fixed integer $l \geq 2$, the group $G$ presented with generators $x_1, x_2, \ldots ,x_n$ and with relations $x_{i_1}x_{i_2}\cdots x_{i_l} =x_{\sigma (i_1)}…
Let A be a comodule algebra for a finite dimensional Hopf algebra K over an algebraically closed field k, and let A^K be the subalgebra of invariants. Let Z be a central subalgebra in A, which is a domain with quotient field Q. Assume that…
We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…
The von Neumann algebra free product of arbitary finite dimensional von Neumann algebras with respect to arbitrary faithful states, at least one of which is not a trace, is found to be a type~III factor possibly direct sum a finite…