arXiv subjects
Publications and source records attributed to Qiuhui Mo.
Over a field of characteristic zero, we prove that the Freiheitssatz holds for brace algebras, the word problem for the brace algebras with a single defining relation is decidable, two generated subalgebras of free brace algebras are free, and that automorphisms of two generated free brace algebras are tame.
Let $A$ be a brace algebra. This structure implies that $A$ is also a pre-Lie algebra. In this paper, we establish Composition-Diamond lemma for brace algebras. Using this Composition-Diamond lemma we prove that each pre-Lie algebra $L$ can be embedded into a brace algebra $A_L$, i.e., $L$ is a pre-Lie subalgebra of $A_L$ up to isomorphism. We also determine an explicit linear basis for the brace algebra $A_{L}$.
In the paper, we establish Gröbner-Shirshov bases for semirings and commutative semirings. As applications, we obtain Gröbner-Shirshov bases and A. Blass's (1995) and M. Fiore -T. Leinster's (2004) normal forms of the semirings $\mathbb{N}[x]/(x=1+x+x^2)$ and $\mathbb{N}[x]/(x=1+x^2)$ with one generator $x$ and one defining relation, correspondingly.
In this paper, by using Composition-Diamond lemma for Lie algebras, we give a Gröbner-Shirshov basis for free partially commutative Lie algebra over a commutative ring with unit. As an application, we obtain a normal form for such a Lie algebra.
In this paper, by using Gröbner-Shirshov bases for Rota-Baxter algebras, we prove that every dendriform dialgebra over a field of characteristic 0 can be embedded into its universal enveloping Rota-Baxter algebra of weight 0.
In this paper, by using Gröbner-Shirshov bases, we show that in the following classes, each (resp. countably generated) algebra can be embedded into a simple (resp. two-generated) algebra: associative differential algebras, associative $Ω$-algebras, associative $λ$-differential algebras. We show that in the following classes, each countably generated algebra over a countable field $k$ can be embedded into a simple two-generated algebra: associative algebras, semigroups, Lie algebras, associative differential algebras, associative $Ω$-algebras, associative $λ$-differential algebras. Also we prove that any countably generated module over a free associative algebra $k< X>$ can be embedded into a cyclic $k< X>$-module, where $|X|>1$. We give another proofs of the well known theorems: each countably generated group (resp. associative algebra, semigroup, Lie algebra) can be embedded into a two-generated group (resp. associative algebra, semigroup, Lie algebra).
In a recent paper by L. A. Bokut, V. V. Chaynikov and K. P. Shum in 2007, Braid group $B_n$ is represented by Artin-Burau's relations. For such a representation, it is told that all other compositions can be checked in the same way. In this note, we support this claim and check all compositions.