On defining ideals and differential algebras of Nichols algebras

This paper is devoted to understanding the defining ideal of a Nichols algebra from the decomposition of specific elements in the group algebra of braid groups. A family of primitive elements is found and algorithms are proposed. To prove the main result, the differential algebra of a Nichols algebra is constructed. Moreover, another point of view on Serre relations is provided.