1: \begin{abstract}

2: We give an explicit and essentially minimal list of defining relations of a Nichols algebra of diagonal type with finite root system. This list contains

3: the well-known quantum Serre relations but also many new variations. A conjecture by Andruskiewitsch and Schneider states that any finite-dimensional

4: pointed Hopf algebra over an algebraically closed field of characteristic zero is generated as an algebra by its group-like and skew-primitive elements. As

5: an application of our main result, we prove the conjecture when the group of group-like elements is abelian.

6: \end{abstract}

7: