Coalgebras and comodules Hopf algebras and quantum groups mathematics