  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 are 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.
