  We show a classification method for finite groupoids and discuss the
cardinality of cosets and its relation with the index. We prove a
generalization of the Lagrange's Theorem and establish a Sylow theory for
groupoids.
