[math] \newcommand{\mathds}{\mathbb}[/math]

Develop a theory of compact and discrete quantum groups, generalizing at the same time the theory of usual compact and discrete groups, and the Pontrjagin duality for them, in the abelian case, and the theory of finite quantum groups, and the abstract duality for them, developed in the above series of exercises.