Modulärt galler

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 .

Litteratur