Related papers: A division Algorithm for the Free Left Distributiv…
We discuss existence of factorizations with linear factors for (left) polynomials over certain associative real involutive algebras, most notably over Clifford algebras. Because of their relevance to kinematics and mechanism science, we put…
A carefully constructed explanation of my connection of the real normed division algebras to the particles, charges and fields of the Standard Model of quarks and leptons provided to an interested group of attendees of the 2nd Mile High…
In this paper we study some special classes of division algebras over a Laurent series field with arbitrary residue field. We call the algebras from these classes as splittable and good splittable division algebras. It is shown that these…
Using a new presentation for partition algebras (J. Algebraic Combin. 37(3):401-454, 2013), we derive explicit combinatorial formulae for the seminormal representations of the partition algebras. These results generalise to the partition…
We construct a normal form for the walled Brauer algebra, together with the reduction algorithm. We apply normal form to calculate the numbers of monomials in generators with minimal length. We further utilize normal form to give explicit…
We carry out the complete group classification of the class of (1+1)-dimensional linear Schr\"odinger equations with complex-valued potentials. After introducing the notion of uniformly semi-normalized classes of differential equations, we…
We consider a nonlinear representation of a Lie algebra which is regular on an abelian ideal, we define a normal form which generalizes that defined in [D. Arnal, M. Ben Ammar, M. Selmi, {\rm Normalisation d'une repr\'esentation non…
We establish normal form theorems for a large class of singular flat connections on complex manifolds, including connections with logarithmic poles along weighted homogeneous Saito free divisors. As a result, we show that the moduli spaces…
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…
Akama et al. systematically studied an arithmetical hierarchy of the law of excluded middle and related principles in the context of first-order arithmetic. In that paper, they first provide a prenex normal form theorem as a justification…
Some more general "inheritance conditions" have been found for a given set of symmetry generators $\{\mathbf{Z}_{\bar{l}}\}$ acting on some set of coupled ordinary differential equations, once the "first integration method" has been applied…
The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…
We give a geometric proof of a well known theorem that describes splittings of a free group as an amalgamated product or HNN extension over the integers. The argument generalizes to give a similar description of splittings of a virtually…
Distributive laws give a way of combining two algebraic structures expressed as monads; in this paper we propose a theory of distributive laws for combining algebraic structures expressed as Lawvere theories. We propose four approaches,…
The densities of small linear structures (such as arithmetic progressions) in subsets of Abelian groups can be expressed as certain analytic averages involving linear forms. Higher-order Fourier analysis examines such averages by…
A free differential algebra is generalization of a Lie algebra in which the mathematical structure is extended by including of new Maurer-Cartan equations for higher-degree differential forms. In this article, we propose a generalization of…
Let $R$ be an algebra over a commutative ring $k$. Suppose that $R$ is endowed with a descending filtration indexed on an ordered group $(G,<)$ such that the restriction to $k$ is positive. We show that the existence of free algebras on a…
Using elementary linear algebra, this paper clarifies and proves some concepts about a recently introduced octonion-like associative division algebra over R. This octonion-like algebra is actually the same as the split-biquaternion algebra,…
Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. In a previous article, we gave a necessary and sufficient condition for X to be free of given rank d…
We generalize the notion of semi-normalized classes of systems of differential equations, study properties of such classes and extend the algebraic method of group classification to them. In particular, we prove the important theorems on…