文系は逃げていたが、
位数１０以下の有限群の分類、というと、
非可換なものだけでよかったのか？

可換なものについては、単因子論があるから、トリビアルだろ？