  Two generating sets of the defining ideal of a Nichols algebra of diagonal
type are proposed, which are then applied to study the bar involution and the
specialization problem of quantum groups associated to non-symmetrizable
generalized Cartan matrices.
