In this paper, we obtain the following main theorem for a free quadratic bialgebraJ:
(a)
Forp≠0,J is a pointed cosemisimple coalgebra. Forp=0,J is a hyperalgebra.
(b)
Forp≠0 andq≠0,J has antipodeS iffp·q+2=0 andS(x)=x. Forp=0 orq=0,J has antipode andS(x)=×.
(c)
All leftJ*-modules are rational.
Also, we give some applications in homological theory and algebraicK-theory.