The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. Let us consider a Hopf algebra
such that its Jacobson radical
is a nilpotent Hopf ideal and
is a semisimple algebra. We prove that the canonical projection of
on
has a section which is an
–colinear algebra map. Furthermore, if
is cosemisimple too, then we can choose this section to be an
–bicolinear algebra morphism. This fact allows us to describe
as a ‘generalized bosonization’ of a certain algebra
in the category of Yetter–Drinfeld modules over
. As an application we give a categorical proof of Radford’s result about Hopf algebras with projections. We also consider the dual situation. Let
be a bialgebra such that its coradical is a Hopf sub-bialgebra with antipode. Then there is a retraction of the canonical injection of
into
which is an
–linear coalgebra morphism. Furthermore, if
is semisimple too, then we can choose this retraction to be an
–bilinear coalgebra morphism. Then, also in this case, we can describe
as a ‘generalized bosonization’ of a certain coalgebra
in the category of Yetter–Drinfeld modules over
.