Ett modulärt gitter ( Dedekind gitter ) är ett gitter där varje par av element är modulärt , det vill säga modularitetslagen är giltig - en kvasi-identitet :
.Det viktigaste exemplet på ett modulärt gitter är gittret av delrum i ett vektorrum ; gittret av normala undergrupper av gruppen och gittret av ideal i ringen är också modulära .
Varje distributionsgitter är modulärt, det omvända är inte sant: en romb (diamant) är ett exempel på ett modulärt gitter som inte är distributivt.
Det minsta icke-modulära gittret är en fem-element femhörning , alla icke-modulära gitter innehåller det som ett subgitter.
I modulära gitter, är intervall isomorphism theorem giltig: för alla två element i ett modulärt gitter , både intervall och är isomorfa, direkt avbildning: , invers - .
Ett icke-modulärt gitter kan innehålla element som uppfyller modularitetslagen. Ett element sägs lämnas modulärt om, för något element , paret är modulärt.
Ett element kallas högermodulärt om paret för något element är modulärt.
Lagen om modularitet och några av dess konsekvenser etablerades först av Richard Dedekind 1894 .