Holder, programma di

Holder, programma di

Hölder, programma di programma di classificazione dei gruppi finiti tramite serie di composizione (→ gruppo, serie di composizione di un) proposto da Hölder alla fine del secolo xix. Ogni gruppo finito possiede una serie di composizione, unica a meno di isomorfismi (→ Jordan-Hölder, teorema di). Pertanto, una volta nota la classificazione dei gruppi semplici finiti (ultimata, dopo lunghe ricerche, nel 1981) e sapendo determinare tutte le estensioni di un dato gruppo finito mediante un secondo gruppo finito, sarebbero classificati tutti i gruppi finiti: ogni gruppo resta infatti determinato mediante successive estensioni tramite gruppi semplici (i suoi quozienti di composizione) del gruppo banale.