Während in der algebraischen K-Theorie zur Definition der K 1 -Gruppe die Kommutatoruntergruppe herausdividiert wird (Abelisierung), verwendet man in der topologischen K-Theorie für Banachalgebren die Zusammenhangskomponente des Einselements.