Il ne faut pas comprendre cette libération dans un sens « moral », mais plutôt comme la libération vis à vis de contraintes épistémologiques (= concernant notre façon de théoriser le monde).
C'est dans ce sens qu'un monoïde libre est un groupe qu'on aurait « libéré ».
Cette page est moche, n'est-ce pas ? Elle est trop grande, et il faut l'effacer soigneusement.
C'est parce que Javascript ne fonctionne pas chez vous. Installez-le ou réactivez-le, et vous aurez le bonheur d'avoir de vraies pages de notes, très agréables à l'usage.