scholarly journals Orthogonal projection onto the free Lie algebra

1991 ◽  
Vol 79 (1) ◽  
pp. 227-239 ◽  
Author(s):  
Gérard Duchamp
2005 ◽  
Vol 48 (3) ◽  
pp. 445-454 ◽  
Author(s):  
Frédéric Patras ◽  
Christophe Reutenauer ◽  
Manfred Schocker

AbstractThe orthogonal projection of the free associative algebra onto the free Lie algebra is afforded by an idempotent in the rational group algebra of the symmetric group Sn, in each homogenous degree n. We give various characterizations of this Lie idempotent and show that it is uniquely determined by a certain unit in the group algebra of Sn−1. The inverse of this unit, or, equivalently, the Gram matrix of the orthogonal projection, is described explicitly. We also show that the Garsia Lie idempotent is not constant on descent classes (in fact, not even on coplactic classes) in Sn.


2004 ◽  
Vol 15 (10) ◽  
pp. 987-1005 ◽  
Author(s):  
MAHMOUD BENKHALIFA

Let R be a principal and integral domain. We say that two differential graded free Lie algebras over R (free dgl for short) are weakly equivalent if and only if the homologies of their corresponding enveloping universal algebras are isomophic. This paper is devoted to the problem of how we can characterize the weakly equivalent class of a free dgl. Our tool to address this question is the Whitehead exact sequence. We show, under a certain condition, that two R-free dgls are weakly equivalent if and only if their Whitehead sequences are isomorphic.


2019 ◽  
Vol 71 (1) ◽  
pp. 53-71
Author(s):  
Peter Mayr ◽  
Nik Ruškuc

Abstract Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented (resp. finitely generated) if and only if $B$ is finitely presented (resp. finitely generated). As corollaries, we obtain: a subring of finite index in a finitely presented ring is finitely presented; a subalgebra of finite co-dimension in a finitely presented algebra over a field is finitely presented (already shown by Voden in 2009). We also discuss the role of the Noetherian assumption on $K$ and show that for finite generation it can be replaced by a weaker condition that the module $A/B$ be finitely presented. Finally, we demonstrate that the results do not readily extend to non-associative algebras, by exhibiting an ideal of co-dimension $1$ of the free Lie algebra of rank 2 which is not finitely generated as a Lie algebra.


2014 ◽  
Vol 13 (04) ◽  
pp. 1350122 ◽  
Author(s):  
NAZAR ŞAHİN ÖĞÜŞLÜ

Let F be a free Lie algebra of rank n ≥ 2 and R be a fully invariant ideal of F. We show that the test rank of the Lie algebra F/[R′, F] is equal to 1 when n is even and less than or equal to 2 when n is odd.


2016 ◽  
Vol 79 ◽  
pp. 37-97 ◽  
Author(s):  
Rafael S. González D'León
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document