Definition. Modulgruppe [003J]