Definition
Eine assoziative Algebra, die ein ausgezeichnetes multiplikatives Einselement 1 enthält, so dass 1·a = a·1 = a für jedes Element a gilt. Die Einheit ist Teil der algebraischen Daten und wird bei unitalen Homomorphismen und Modulen verwendet.