Related papers: A division Algorithm for the Free Left Distributiv…
A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…
Let X be a non-degenerate left Banach module over a normed algebra A having a bounded approximate left identity. We show that, if A is a left ideal of a larger algebra, then this representation can be extended to a representation of the…
Using the classical Lazard's elimination theorem, we obtain a decomposition theorem for Lie algebras defined by generators and relations of a certain type. This is a preprint version of the paper appearing in Communications in Algebra…
Given an algebra A, presented by generators and relations, i.e. as a quotient of a tensor algebra by an ideal, we construct a free algebra resolution of A, i.e. a differential graded algebra which is quasi-isomorphic to A and which is…
We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra…
Let $K$ be a field of characteristic zero, let $\sigma$ be an automorphism of $K$ and let $\delta$ be a $\sigma$-derivation of $K$. We show that the division ring $D=K(x;\sigma,\delta)$ either has the property that every finitely generated…
In the context of space-time block codes (STBCs), the theory of generalized quaternion and biquaternion algebras (i.e., tensor products of two quaternion algebras) over arbitrary base fields is presented, as well as quadratic form theoretic…
A simple sufficient condition for certain cyclic algebras of odd degree d to be split is presented. It employs certain binary forms of degree d and the values they represent. A similar sufficient condition for certain Albert algebras not to…
The ordinary continued fractions expansion of a real number is based on the Euclidean division. Variants of the latter yield variants of the former, all encompassed by a more general Dynamical Systems framework. For all these variants the…
In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimensional topology, namely the existence of what is now known as the Laver tables and the…
We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independent of the underlying problem or CAD algorithm used. Rather,…
Let $L$ be a Lie algebra of Block type over $\C$ with basis $\{L_{\alpha,i}\,|\,\alpha,i\in\Z\}$ and brackets $[L_{\alpha,i},L_{\beta,j}]=(\beta(i+1)-\alpha(j+1))L_{\alpha+\beta,i+j}$. In this paper, we shall construct a formal distribution…
Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a finitely generated $K$-algebra with the PBW $K$-basis ${\cal B}=\{a_{1}^{\alpha_1}\cdots a_{n}^{\alpha_n}~|~(\alpha_1,\ldots ,\alpha_n)\in\mathbb{N}^n\}$. It is shown that if $L$ is a nonzero…
In this paper motivated by the celebrated fundamental theorem of algebra and its standard proof utilizing Liouville's Theorem, we prove the fundamental theorem of algebra type results for both commutative and noncommutative polynomials in…
The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this paper we provide a fine-grained, System F-like type system for…
From the Levi's Theorem it is known that every finite dimensional Lie algebra over a field of characteristic zero is decomposed into semidirect sum of solvable radical and semisimple subalgebra. Moreover, semisimple part is the direct sum…
In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe similarities between these conditions and distributive laws of…
In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…
The set of natural integers is fundamental for at least two reasons: it is the free induction algebra over the empty set (and at such allows definitions of maps by primitive recursion) and it is the free monoid over a one-element set, the…
Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of…