Abstract
In 1989 Nichols and Zoeller Citation[NZ] showed that finite dimensional k-Hopf algebras are free over Hopf subalgebras. An analog result for Yetter Drinfeld Hopf algebras was not known. In this paper the existence of such a basis will be proved. Moreover the existence of a basis in a certain categorial sense cannot be expected.