En álxebra abstracta, un grupo finito é un grupo cuxo conxunto subxacente é finito. Os grupos finitos adoitan xurdir cando se considera a simetría de obxectos matemáticos ou físicos, cando eses obxectos admiten só un número finito de transformacións que preservan a estrutura. Exemplos importantes de grupos finitos inclúen os grupos cíclicos e os grupos de permutacións.
O estudo dos grupos finitos foi unha parte integral da teoría de grupos desde que xurdiu no século XIX. Unha área importante de estudo foi a clasificación: a clasificación dos grupos simples finitos (aqueles sen subgrupos normais non triviais) completouse en 2004.