Prefer a chat interface with context about you and your work?
A presentation by generators and relations of Nichols algebras of diagonal type and convex orders on root systems
We obtain a presentation by generators and relations of any Nichols algebra of diagonal type with finite root system. We prove that the defining ideal is finitely generated. The proof is based on Kharchenkoā€™s theory of PBW bases of Lyndon words. We prove that the lexicographic order on Lyndon words ā€¦