Books by Antonio Machì

Groups are a means of classification, via the group action on a set, but also the object of a classification. Hoelder's program for attacking this problem in the case of finite groups is a sort of leitmotiv throughout the text. The last two chapters deal with the representation theory of finite group and the cohomology theory of groups;

This book deals with several topics in algebra useful for computer science applications and the symbolic treatment of algebraic problems, pointing out and discussing their algorithmic nature.