{"entities":{"Q2579740":{"pageid":2590483,"ns":120,"title":"Item:Q2579740","lastrevid":44401596,"modified":"2025-11-22T16:54:56Z","type":"item","id":"Q2579740","labels":{"en":{"language":"en","value":"Free lattices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502259"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579740$B4947885-B6AB-4511-AD82-538663E2CD1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e27798ba8233312648d3b0ffef257696dda70df","datavalue":{"value":{"text":"Free lattices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579740$C682E9B5-DCF0-4D6F-8F7C-8C8E3E361A1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c403f3f5241cb616073597f2601fadcde8942a75","datavalue":{"value":"67.0085.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579740$B7F560A5-9272-471A-A922-720579F6322C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0148b7abb3421b2771ae6c84e5533558a09900b4","datavalue":{"value":"10.2307/1969001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579740$ADBFB9AA-FCCF-42A8-BC98-DFD5BE6DA2D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48b4e6c36cdaecb1c61164f5d2cba3fe71437aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2579739,"id":"Q2579739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579740$8040DF08-51BF-467A-AA30-7B193BD404D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579740$C4D388E0-2358-4AFC-9CB8-595E5025A4D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2579740$3B262A3D-F01C-48DE-8215-5B2B67A11767","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"277f7a6a2ef22a429f70632942d991b81267b56c","datavalue":{"value":"\\(\\mathfrak{L}\\) sei der durch \\(n\\) Elemente \\(X_1, \\ldots \\!, X_n\\) erzeugte freie Verband. Eine aus diesen \\(X_i\\) und den Verbandsoperationen \\(\\cup\\) und \\(\\cap\\) und Klammern aufgebaute endliche Verbindung hei\u00dfe ein Verbandspolynom. \\(\\leqq\\) sei die Teilrelation in \\(\\mathfrak{L}\\). Es gilt \\(X_i \\leqq X_j\\) dann und nur dann, wenn \\(i = j\\) ist; allgemein gilt f\u00fcr zwei Verbandspolynome \\(A\\) und \\(B\\) die Beziehung \\(A \\leqq B\\) dann und nur dann, wenn rekursiv einer oder mehrere der folgenden F\u00e4lle vorliegen: a) \\(A \\equiv A_1 \\cup A_2\\) mit \\(A_1 \\leqq B\\) und \\(A_2 \\leqq B\\), b) \\(A \\equiv A_1 \\cap A_2\\) mit \\(A_1 \\leqq B\\) oder \\(A_2 \\leqq B\\), c) \\(B \\equiv B_1 \\cup B_2\\) mit \\(A \\leqq B_1\\) oder \\(A \\leqq B_2\\), d) \\(B \\equiv B_1 \\cap B_2\\) mit \\(A \\leqq B_1\\) und \\(A \\leqq B_2\\). Dieser Satz gibt ein rekursives Verfahren, um f\u00fcr zwei beliebige \\(A\\), \\(B\\) zu entscheiden ob \\(A \\leqq B\\) ist, oder nicht. Damit ist (wegen \\(A = B\\) dann und nur dann, wenn \\(A \\leqq B\\) und \\(B \\leqq A\\)) auch ein Verfahren angegeben, die Gleichheit im Sinne des Verbandes \\(\\mathfrak{L}\\) von zwei Verbandspolynomen festzustellen. F\u00fcr die praktische Durchf\u00fchrung werden weitere Regeln abgeleitet. Als L\u00e4nge eines Verbandspolynoms \\(A\\) wird die Gesamtzahl der in \\(A\\) auftretenden \\(X_t\\) (mit Wiederholung) bezeichnet; so hat z. B. \\(A = (X_1 \\cap X_1) \\cup X_2\\) die L\u00e4nge 3. Es wird bewiesen, da\u00df unter allen zu einem \\(A\\) gleichen Verbandspolynomen ein bis auf Kommutativit\u00e4t und Assoziativit\u00e4t eindeutig bestimmtes von k\u00fcrzester L\u00e4nge existiert. Regeln zur Bestimmung dieser kanonischen Gestalt werden angegeben.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579740$7C93DFD7-4AD7-4283-8ED6-C7F064D52734","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"790d516fb926873c83bca768e4dc7cb279c3b728","datavalue":{"value":"2502259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579740$E652C2FA-55BA-453B-B85A-78DB3B37B1F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8ecf79ade95b906e8443eb95341d26d3270aead1","datavalue":{"value":"Q55980172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579740$CF5ECF96-BD16-434F-94F3-F2D580561B0F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579740$045D0FFC-B5E9-4B6F-9F2E-F11E9334A307","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0411452edcc3684d8bd617c94c13da496429fd57","datavalue":{"value":"https://doi.org/10.2307/1969001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2579740$6F05BA93-EA34-4E99-955E-ABFA2B01F125","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9ffe1f5ec9f9c8b982542769807028f8e79c570","datavalue":{"value":"W4245267086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579740$15C3DBDA-BDC9-4A60-8C0D-6C9816BDB6D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579740"}}}}}