Modularność – własność obiektów algebraicznych pierwotnie zaobserwowana w teorii grup przez Richarda Dedekinda, stąd znana też jako prawo modularności DedekindaKronecker „modułami” nazywał podgrupy grup abelowych; zob. moduł: Motywacja., a następnie przeniesiona na grunt teorii pierścieni i teorii modułówNiem. Über die Theorie der ganzen algebraischen Zahlen (1864), fr. Sur la théorie des nombres entiers algébriques (1877), „O teorii algebraicznych liczb całkowitych” Dedekinda.. Naturalnym kontekstem okazała się jednak teoria krat – kraty spełniające tę własność nazwano kratami modularnymi.
Grupy, pierścienie i moduły
Dla dowolnych podgrup danej grupy, dla których ( jest podgrupą ), zachodzi własność modularności
gdzie mnożenie (oznaczone przez zestawienie) oznacza iloczyn kompleksowy; w notacji addytywnej z kolei własność tam ma postać
przy czym dodawanie oznacza grupę generowaną przez