Related papers: Generation and decidability for periodic l-pregrou…

We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members.

We show that if a group contains $\mathbb{Z}^n \times F_m$ as a finite-index subgroup, then its cogrowth series is the diagonal of a rational function for every generating set. This answers a question of Pak and Soukup on the cogrowth of…

There is a polymodal provability logic $GLP$. We consider generalizations of this logic: the logics $GLP_{\alpha}$, where $\alpha$ ranges over linear ordered sets and play the role of the set of indexes of modalities. We consider the…

We prove a general Fueter Theorem over real alternative *-algebras. We show that a suitable power of the Laplacian maps Dunkl-regular functions to Dunkl monogenic functions with axial symmetries. Using the embedding of hypercomplex function…

Let $F$ be a field and let $E$ be an \'etale algebra over $F$, that is, a finite product of finite separable field extensions $E = F_1 \times \dots \times F_r$. The classical primitive element theorem asserts that if $r = 1$, then $E$ is…

For each natural number $n$, we define a category whose objects are discriminant algebras in rank $n$, i.e. functorial means of attaching to each rank-$n$ algebra a quadratic algebra with the same discriminant. We show that the discriminant…

A new, so called odd Gel'fand-Zetlin basis is introduced for the irreducible covariant tensor representations of the Lie superalgebra gl(n|n). The related Gel'fand-Zetlin patterns are based upon the decomposition according to a particular…

An algebra denoted $m\mathfrak{H}$ with three generators is introduced and shown to admit embeddings of the Hahn algebra and the rational Hahn algebra. It has a real version of the deformed Jordan plane as a subalgebra whose connection with…

Fixing an arithmetic lattice $\Gamma$ in an algebraic group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $\Delta$ with $[\Gamma : \Gamma \cap \Delta] [\Delta: \Gamma \cap \Delta] =…

We construct the Lafforgue variety, an affine scheme equipped with an open dense subscheme parametrizing the simple modules of a non-commutative unital algebra $R$ over any field $k$, provided that the center $Z(R)$ is finitely generated…

We generalise the definition of a group algebra so that it makes sense for non-locally compact topological groups, in particular, we require that the representation theory of the group algebra is isomorphic (in the sense of Gelfand-Raikov)…

Let $D$ be a quaternion division algebra over a non-archimedean local field $F$ of characteristic zero. Let $E/F$ be a quadratic extension and $\rm{SL}_{n}^{*}(E) = {\rm{GL}}_{n}(E) \cap \rm{SL}_{n}(D)$. We study distinguished…

This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D for all natural n. The theorem states that any divisible…

Let $\mathbb{F}$ be a field of characteristic zero and let $\mathfrak{g}$ be a non-zero finite-dimensional split semisimple Lie algebra with root system $\Delta$. Let $\Gamma$ be a finite set of integral weights of $\mathfrak{g}$ containing…

A linear algebraic group $G$ is represented by the linear space of its algebraic functions $F(G)$ endowed with multiplication and comultiplication which turn it into a Hopf algebra. Supplying $G$ with a Poisson structure, we get a quantized…

For a weighted graph $E$, we construct representation graphs $F$, and consequently, $L_K(E)$-modules $V_F$, where $L_K(E)$ is the Leavitt path algebra associated to $E$, with coefficients in a field $K$. We characterise representation…

Consider the real free Lie algebra $\mathfrak{fr}_n$ with generators $\omega_1$, \dots, $\omega_n$. Since it is positively graded, it has a completion $\overline{\mathfrak{fr}}_n$ consisting of formal series. By the Campbell--Hausdorff…

For a division ring $D$, denote by $\mathcal M_D$ the $D$-ring obtained as the completion of the direct limit $\varinjlim_n M_{2^n}(D)$ with respect to the metric induced by its unique rank function. We prove that, for any ultramatricial…

We show that, consistently, there is an ultrafilter F on omega such that if N^l_n=(P^l_n cup Q^l_n,P^l_n,Q^l_n,R^l_n) (for l =1,2, n< omega), P^l_n cup Q^l_n subseteq omega, and prod_{n<omega} N^1_n/F and prod_{n< omega}N^2_n/F are…

We begin with (densely-defined) fractional linear transformations (FLT) on (some) Banach algebras and their relatives. This leads to Wedderburn's continued fractions (recursively-defined noncommutative polynomials) for any ring. Along the…