arXiv 1702.062712017-02-21math.RA

Jacobson's lemma via Groebner-Shirshov bases

Xiangui Zhao

英文摘要：

Let $R$ be a ring with identity $1$. Jacobson's lemma states that for any $a,b\in R$, if $1-ab$ is invertible then so is $1-ba$. Jacobson's lemma has suitable analogues for several types of generalized inverses, e.g., Drazin inverse, generalized Drazin inverse, and inner inverse. In this note we give a constructive way via Groebner-Shirshov basis theory to obtain the inverse of $1-ab$ in terms of $(1-ba)^{-1}$, assuming the latter exists.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Groebner-Shirshov Bases for Lie Algebras: after A. I. Shirshov

In this paper, we review Shirshov's method for free Lie algebras invented by him in 1962 which is now called the Groebner-Shirshov bases theory.

2008-04-08math.RA

Groebner-Shirshov bases for dialgebras

In this paper, we define the Gröbner-Shirshov basis for a dialgebra. The Composition-Diamond lemma for dialgebras is given then. As results, we give Gröbner-Shirshov bases for the universal enveloping algebra of a Leibniz algebra, the bar extension of a dialgebra, the free product of two dialgebras, and Clifford dialgebra. We obtain some normal forms for algebras mentioned the above.

2010-05-16math.RA

Groebner---Shirshov bases for replicated algebras

We establish a universal approach to solution of the word problem in the varieties of di- and tri-algebras. This approach, for example, allows to apply Groebner---Shirshov bases method for Lie algebras to solve the ideal membership problem in free Leibniz algebras (Lie di-algebras). As another application, we prove an analogue of the Poincare---Birkhoff---Witt Theorem for universal enveloping associative tri-algebra of a Lie tri-algebra (CTD^!-algebra).

2017-06-26math.RA

顶点代数的Gröbner–Shirshov基方法

Groebner--Shirshov bases method for vertex algebras

本文将Gröbner–Shirshov基方法推广到顶点代数，计算了一系列顶点代数的GSB，并研究了左对称代数保持正规序积嵌入顶点代数的问题。

2023-12-04math.RA

Groebner-Shirshov bases for extensions of algebras

An algebra $\cal{R}$ is called an extension of the algebra $M$ by $B$ if $M^2=0$, $M$ is an ideal of $\cal{R}$ and $\cal{R}$$/M\cong B$ as algebras. In this paper, by using the Gröbner-Shirshov bases, we characterize completely the extensions of $M$ by $B$. An algorithm to find the conditions of an algebra $A$ to be an extension of $M$ by $B$ is obtained.

2008-04-04math.RA

Groebner-Shirshov Bases for Associative Algebras with Multiple Operators and Free Rota-Baxter Algebras

In this paper, we establish the Composition-Diamond lemma for associative algebras with multiple linear operators. As applications, we obtain Groebner-Shirshov bases of free Rota-Baxter algebra, $λ$-differential algebra and $λ$-differential Rota-Baxter algebra, respectively. In particular, linear bases of these three free algebras are respectively obtained, which are essentially the same or similar to those obtained by Ebrahimi-Fard and Guo, and Guo and Keigher recently by using other methods.

2009-03-04math.RA

更多相关论文收起更多论文

Anti-commutative Groebner-Shirshov basis of a free Lie algebra

One of the natural ways to prove that the Hall words (Philip Hall, 1933) consist of a basis of a free Lie algebra is a direct construction: to start with a linear space spanned by Hall words, to define the Lie product of Hall words, and then to check that the product yields the Lie identities (Marshall Hall, 1950). Here we suggest another way using the Composition-Diamond lemma for free anti-commutative (non-associative) algebras (A.I. Shirshov, 1962).

2008-04-06math.RA

Groebner-Shirshov Basis for the Chinese Monoid

In this paper, a Groebner-Shirshov basis for the Chinese monoid is obtained and an algorithm for the normal form of the Chinese monoid is given.

2008-05-15math.GRmath.RA

Groebner-Shirshov Bases: Some New Results

In this survey article, we report some new results of Groebner-Shirshov bases, including new Composition-Diamond lemmas, applications of some known Composition-Diamond lemmas and content of some expository papers.

2008-04-08math.GRmath.RA

Groebner-Shirshov bases for brace algebras

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}$.

2017-10-03math.RA

Composition-Diamond Lemma for Tensor Product of Free Algebras

In this paper, we establish Composition-Diamond lemma for tensor product $k< X> \otimes k< Y>$ of two free algebras over a field. As an application, we construct a Groebner-Shirshov basis in $k< X> \otimes k< Y>$ by lifting a Groebner-Shirshov basis in $k[X] \otimes k< Y>$, where $k[X]$ is a commutative algebra.

2008-04-15math.RA

在Z上计算自由非交换格鲁布纳基（Groebner基）的Singular:Letterplace扩展

Computing Free Non-commutative Groebner Bases over Z with Singular:Letterplace

本文在Z上扩展了Singular:Letterplace系统，用于计算自由非交换格鲁布纳基，适用于Iwahori-Hecke代数等应用。

2021-11-16math.RA

Leavitt Path Algebras of Finite Gelfand-Kirillov Dimension

Groebner-Shirshov basis and Gelfand-Kirillov dimension of the Leavitt path algebra are derived.

2012-04-24math.RA

Operator identities on Lie algebras, rewriting systems and Gröbner-Shirshov bases

Motivated by the pivotal role played by linear operators, many years ago Rota proposed to determine algebraic operator identities satisfied by linear operators on associative algebras, later called Rota's program on algebraic operators. Recent progresses on this program have been achieved in the contexts of operated algebra, rewriting systems and Groebner-Shirshov bases. These developments also suggest that Rota's insight can be applied to determine operator identities on Lie algebras, and thus to put the various linear operators on Lie algebras in a uniform perspective. This paper carries out…

2022-02-11math.QAmath.RA