Related papers: A free two-generated left distributive algebra of …
Define an augmented LD-system, or ALD-system, to be a set equipped with two binary operations, one satisfying the left self-distributivity law $x * (y * z) = (x * y) * (x * z)$ and the other satisfying the mixed laws $(x o y) * z = x * (y *…
We introduce an embedding of the free magma on a set A into the direct product of the free magma on a singleton set and the free semigroup on A. This embedding is then used to prove several theorems related to algebraic independence of…
As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding…
A group has normal rank (or weight) greater than one if no single element normally generates the group. The Wiegold problem from 1976 asks about the existence of a finitely generated perfect group of normal rank greater than one. We show…
We classify (possibly non commutative) algebras of low rank over a domain R. We first review results for algebras of rank 2 and for finite-dimensional division algebras over the real numbers. These results motivate us to consider which…
This paper illustrates the combinatorial approach to vertex algebra - study of vertex algebras presented by generators and relations. A necessary ingredient of this method is the notion of free vertex algebra. Borcherds \cite{bor} was the…
We give inductive constructions of independent graphs that contain implied nonedges but do not contain any non-trivial rigid subgraphs, or \emph{nucleations}: some of the constructions and proofs apply to 3-dimensional abstract rigidity…
We study the minimal homogeneous generating sets of the Eulerian ideal associated with a simple graph and its maximal generating degree. We show that the Eulerian ideal is a lattice ideal and use this to give a characterization of binomials…
A base of a relatively free associative algebra with the identity x^3=0 over a field of arbitrary characteristic is found. As an application a minimal generating system of the 3x3 matrix invariant algebra is determined.
Assume ZF (without the Axiom of Choice). Let $j:V_\varepsilon\to V_\delta$ be a non-trivial $\in$-cofinal $\Sigma_1$-elementary embedding, where $\varepsilon,\delta$ are limit ordinals. We prove some restrictions on the constructibility of…
It is known that reflection coefficients for bulk fields of a rational conformal field theory in the presence of an elementary boundary condition can be obtained as representation matrices of irreducible representations of the classifying…
Ado's Theorem had been extended to principal ideal domains independently by Churkin and Weigel. They demonstrated that if $R$ is a principal ideal domain of characteristic zero and $\mathfrak{L}$ is a Lie algebra over $R$ which is also a…
In 1957, N. G. de Bruijn showed that the symmetric group Sym(\Omega) on an infinite set \Omega contains a free subgroup on 2^{card(\Omega)} generators, and proved a more general statement, a sample consequence of which is that for any group…
The rank-$1$ Racah algebra $R(3)$ plays a pivotal role in the theory of superintegrable systems. It appears as the symmetry algebra of the $3$-parameter system on the $2$-sphere from which all second-order conformally flat superintegrable…
We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a…
We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from…
We prove that every virtually free group $G$ has property (LR) of Long and Reid: each finitely generated subgroup of $G$ is a retract of a finite index subgroup. The main ingredient in the proof is a new embedding result stating that every…
There are various results connecting ranks of incidence matrices of graphs and hypergraphs with their combinatorial structure. Here, we consider the generalized incidence matrix $N_2$ (defined by inclusion of pairs in edges) for one natural…
The distribution of the deformations of elementary cells is studied in an abstract lattice constructed from the existence of the empty set. One combination rule determining oriented sequences with continuity of set-distance function in such…
For any Lie algebra L over a field, its universal enveloping algebra U(L) can be embedded in a division ring D(L) constructed by Lichtman. If U(L) is an Ore domain, D(L) coincides with its ring of fractions. It is well known that the…