Un grupo cuyo conjunto subyacente tiene una cardinalidad finita |G| = n para algún número natural n. El orden del grupo es el número de sus elementos; muchos teoremas se especializan en el caso finito y aprovechan argumentos de conteo.

Principio

La finitud permite un control combinatorio y aritmético: en grupos finitos el orden de los elementos a menudo divide el orden del grupo, los índices de subgrupos son enteros, y herramientas enumerativas (clases laterales, órbita‑estabilizador) imponen restricciones estructurales y resultados de existencia como los teoremas de Sylow.

Demostración

El grupo simétrico S_n sobre n símbolos es finito de orden n!; el grupo cíclico Z/nZ es finito de orden n. Grupos de matrices finitos como GL(m, q) sobre un campo finito tienen órdenes calculables explícitamente y una rica estructura de subgrupos usada en combinatoria y teoría de representaciones.

Aplicación incorrecta

Aplicar intuiciones de grupos infinitos (por ejemplo, existencia de subgrupos cíclicos arbitrariamente grandes) a grupos finitos, o asumir una clasificación sin recurrir a teoremas específicos del caso finito. Otro uso indebido es tratar propiedades basadas en cardinalidad como invariantes bajo mapas no biyectivos.

Consecuencia

Los grupos finitos admiten técnicas discretas potentes: teoría de Sylow, teorema de Cauchy sobre órdenes de elementos, empleo de teoría de caracteres y teoría de representaciones finitas; en muchos contextos es posible una taxonomía mediante familias y excepciones esporádicas.

Inversión

Los grupos infinitos carecen de restricciones numéricas globales: los órdenes de los elementos no tienen por qué dividir un orden total, fallan los métodos de conteo, y aparecen fenómenos como grupos infinitos sin torsión o con cardinalidad del continuo que requieren otras herramientas (topología, geometría, combinatoria infinita).

Límite

Esta entrada se limita a grupos con conjuntos subyacentes finitos. Excluye grupos infinitos, grupos profinitos (límites inversos de grupos finitos con topología) y grupos considerados con estructura continua o algebraica adicional, salvo que el conjunto subyacente sea finito.

Tensión semántica

‘Grupo finito’ puede confundirse con ‘grupo de permutaciones finito’ o ‘grupo de matrices finito’; la tensión es entre la mera cardinalidad abstracta y realizaciones concretas que aportan estructura adicional (acciones, representaciones) que cambian las técnicas e interpretaciones disponibles.

Síntesis

Un grupo finito es un grupo con número finito de elementos; la finitud habilita métodos aritméticos y de conteo que producen resultados de existencia y clasificación potentes que no están disponibles en el contexto infinito.