Related papers: Absolutely Free Hyperalgebras

Given an algebra $\mathbf{A}$, and terms $s(x_{1},x_{2},\dots x_{k})$ and $t(x_{1},x_{2},\dots x_{k})$ of the language of ${\mathbf A}$, we say that $s$ and $t$ are {\em separated} in ${\mathbf A}$ iff for all $a_{1},a_{2}\dots a_{k}\in A$,…

Under very general conditions it is shown that if $A$ is a uniform algebra generated by real-analytic functions, then either $A$ consists of all continuous functions or else there exists a disc on which every function in $A$ is holomorphic.…

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…

Numerical characteristics of polynomial identities of left nilpotent algebras are examined. Previously, we came up with a construction which, given an infinite binary word, allowed us to build a two-step left nilpotent algebra with…

Under the assumption that a residually finite dimensional Hopf algebra H has an Artinian ring of fractions it is proved that H is a flat module over any right coideal subalgebra satisfying a polynomial identity and is faithfully flat over…

Let $V$ be a complex finite dimensional super vector space with an action of a connected semisimple group $G$. We classify those pairs $(G,V)$ for which all homogeneous components of the super symmetric algebra of $V$ decompose…

We describe $\sigma$-matching, interchangeable and, as a consequence, totally compatible products on null-filiform associative algebras.

It is proved that over every countable field K there is a nil algebra R such that the algebra obtained from R by extending the field K contains noncommutative free subalgebras of arbitrarily high rank. It is also shown that over every…

The essentially non-free spectrum is the class of uncountable cardinals kappa in which there is an essentially non-free algebra of cardinality kappa which is almost free. In L, the essentially non-free spectrum of a variety is entirely…

Let A be an associative algebra of arbitrary dimension over a field F and G a finite soluble group of automorphisms of A oforder n, prime to the characteristic of F. We prove that if the fixed-point subalgebra of A under the action of G…

A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations…

For any factorization domain $\cal A$ and an algebra endomorphism $\sigma$ of $\cal A$, there exists a non-associative algebra $({\cal A},\sigma,[\cdot,\cdot])$ with multiplication satisfying skew-symmetry and generalized (twisted) Jacobi…

We study Cartan subalgebras in the context of amalgamated free product II$_1$ factors and obtain several uniqueness and non-existence results. We prove that if $\Gamma$ belongs to a large class of amalgamated free product groups (which…

We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then…

For a set of sorts $S$ and an $S$-sorted signature $\Sigma$ we prove that a profinite $\Sigma$-algebra, i.e., a projective limit of a projective system of finite $\Sigma$-algebras, is a retract of an ultraproduct of finite $\Sigma$-algebras…

We introduce the notion of a matrad M = {M_{n,m}} whose submodules M_{*,1} and M_{1,*} are non-Sigma operads. We define the free matrad H_{\infty} generated by a singleton in each bidegree (m,n) and realize H_{\infty} as the cellular chains…

Let $\mathfrak{g}$ be a complex simple Lie algebra and $Z(\mathfrak{g})$ be the center of the universal enveloping algebra $U(\mathfrak{g})$. Denote by $V_\lambda$ the finite-dimensional irreducible $\mathfrak{g}$-module with highest weight…

In this paper, we study the category of modules over the Smith algebra which are free of finite rank over the unital polynomial subalgebra generated by the Cartan element $h$ and obtain families of such simple modules of arbitrary rank. In…

We prove that if $A_1, A_2, \dots, A_n$ are tracial abelian von Neumann algebras for $2\leq n \leq \infty$ and $M = A_1 * \cdots * A_n$ is their free product, then any subalgebra $A \subset M$ of the form $A = \sum_{i=1}^n u_i A_i p_i…

Let $\Omega \subset \mathbb{C}^n$ be a bounded domain and let $\mathcal{A} \subset \mathcal{C}(\bar{\Omega})$ be a uniform algebra generated by a set $F$ of holomorphic and pluriharmonic functions. Under natural assumptions on $\Omega$ and…