{"entities":{"Q2579746":{"pageid":2590489,"ns":120,"title":"Item:Q2579746","lastrevid":44401611,"modified":"2025-11-22T16:55:05Z","type":"item","id":"Q2579746","labels":{"en":{"language":"en","value":"Ideals in Birkhoff lattices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502264"}},"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":"Q2579746$7CC4D2F4-D208-4C95-8142-471E9C0A6649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2cd313724383b1e504189832ed71479e136f6e3","datavalue":{"value":{"text":"Ideals in Birkhoff lattices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579746$EA5CD547-1C63-45FB-98E7-84180D992D23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39b715fa99d68e08e8e4c442bef16be81f4d9d05","datavalue":{"value":"67.0087.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579746$52A0B139-46EE-4C08-BF2B-0869F4207986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6f67b1e4de8987c6da6820349dec0a14864bf20","datavalue":{"value":"10.1090/S0002-9947-1941-0004229-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579746$1E66A45D-373F-408A-B00B-51A20C0C6BF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579746$B072D7ED-33A7-4980-A6A5-CAD7DC6148E8","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":"Q2579746$F8349543-7ABA-44DF-B5F3-6DC198A3C833","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8851219136cb9216e2117e3601046acf04dd5c3","datavalue":{"value":"\\(\\mathfrak{S}\\) sei ein Verband. Ein Teilverband \\(\\mathfrak{a}\\) hei\u00dft ein Ideal, wenn \\(\\mathfrak{a}\\) mit \\(a\\) alle \\(x \\supset a\\) enth\u00e4lt. Die Vereinigung \\(\\mathfrak{a} \\cup b\\) zweier Ideale enth\u00e4lt alle \\(x \\supset a \\cup b\\), \\(a \\in \\mathfrak{a}\\), \\(b\\in \\mathfrak{b}\\); \\(\\mathfrak{a} \\cap \\mathfrak{b}\\) enth\u00e4lt alle \\(y \\supset a \\cap b\\). Die Ideale bilden einen Verband \\(\\mathfrak{L}\\), der den zu \\(\\mathfrak{S}\\) isomorphen Verband aller Hauptideale (a) enth\u00e4lt. Gilt \\(a \\supset b\\), aber f\u00fcr kein \\(x\\) \\(a \\supset x \\supset b\\), so schreibt man \\(a > b\\) (``\\(a\\) covers \\(b\\)''). Mit Wohlordnung wird folgende Verallgemeinerung des Stoneschen Satzes \u00fcber die Existenz von Primidealen in einer Booleschen Algebra bewiesen: \\(\\mathfrak{S}\\) sei beliebig. Ist das Ideal \\(\\mathfrak{b} \\supset (a)\\) und \\(\\mathfrak{b} \\neq (a)\\), so existiert ein Ideal \\(\\mathfrak{p}\\) mit \\(\\mathfrak{b} \\supset \\mathfrak{p} > (a)\\). -- Ein Element \\(a\\) in \\(\\mathfrak{S}\\) erf\u00fcllt die Birkhoffbedingung \\(B\\) 1, wenn aus \\(b > a\\), \\(c \\supset a\\), \\(c \\not\\supset b\\) folgt, da\u00df \\(b \\cup c >c\\) ist. \\(B\\) 2 ist die dazu duale Bedingung. \\(\\mathfrak{S}\\) hei\u00dft ein Birkhoffscher Verband, wenn jedes Element von \\(\\mathfrak{S}\\), als Hauptideal aufgefa\u00dft, im Idealverband \\(\\mathfrak{L}\\) die Bedingung \\(B\\) 1 erf\u00fcllt (dies ist weniger, als wenn jedes Element von \\(\\mathfrak{L}\\) \\(B\\) 1 erf\u00fcllt). Alle Ideale aus \\(\\mathfrak{L}\\), die zwischen \\((a)\\) und der Vereinigung aller Ideale \\(\\mathfrak{b}>(a)\\) liegen, bilden einen Verband \\(\\mathfrak{L}_a\\). Ist \\(\\mathfrak{S}\\) ein Birkhoffscher Verband, in dem jedes Element als Durchschnitt irreduzibler Elemente darstellbar ist (\\(a\\) hei\u00dft irreduzibel, wenn aus \\(a=b \\cap c\\) stets \\(b = a\\) oder \\(c = a\\) folgt), so ist \\(\\mathfrak{L}_a\\) dann und nur dann archimedisch (d. h. sowohl die aufsteigenden wie die absteigenden Ketten in \\(\\mathfrak{L}_a\\) sind endlich), wenn die Anzahl der Komponenten in den irreduziblen Zerlegungen von \\(a\\) beschr\u00e4nkt sind. Hat \\(\\mathfrak{L}_a\\) die L\u00e4nge \\(k\\), so hat \\(a\\) eine unverk\u00fcrzbare Zerlegung in \\(k\\) irreduzible Elemente. F\u00fcr modulare Verb\u00e4nde ergeben diese \u00dcberlegungen einen neuen Beweis des Kurosch-Oreschen Satzes \u00fcber die L\u00e4ngengleichheit und die Austauschm\u00f6glichkeit zweier unverk\u00fcrzbarer Durchschnittsdarstellungen eines Elementes. -- Als Bedingung \\(E_5\\) von \\textit{MacLane} wird die Forderung bezeichnet: Ist \\(a \\supset b \\supset a \\cap c\\) und \\(c \\neq a \\cap c\\), so existiert ein \\(c_1 \\neq a \\cap c\\), so da\u00df \\(c \\supset c_1 \\supset a \\cap c\\) ist. Es gibt Verb\u00e4nde, die Birkhoffsche Verb\u00e4nde sind, ohne \\(E_5\\) zu erf\u00fcllen. Gibt es h\u00f6chstens endlich viele Ideale \\(\\mathfrak{p} > (a)\\) zu jedem Element \\(a\\) aus \\(\\mathfrak{S}\\), so sind \u00e4quivalent: (1) \\(E_5\\) gilt in \\(\\mathfrak{S}\\), (2) \\(\\mathfrak{S}\\) ist ein Birkhoffscher Verband, (3) \\(B\\) 1 gilt im Idealverband \\(\\mathfrak{L}\\). -- Die beiden Haupts\u00e4tze \u00fcber Zerlegung in irreduzible Elemente sind: I. \\(\\mathfrak{S}\\) erf\u00fclle die aufsteigende Kettenbedingung. Jedes Element von \\(\\mathfrak{S}\\) ist dann und nur dann eindeutig als unverk\u00fcrzbarer Durchschnitt von irreduziblen Elementen darstellbar, wenn \\(\\mathfrak{S}\\) \\(E_5\\) erf\u00fcllt, und \\(A\\): Aus \\(a \\cup b \\supset x \\supset a \\cap b\\), \\(a \\cap x = b \\cap x = a \\cap b\\) folgt \\(x = a \\cap b\\). Statt \\(E_5\\) und \\(A\\) kann auch gefordert werden, da\u00df \\(\\mathfrak{S}\\) ein Birkhoffscher Verband und \\(\\mathfrak{L}_a\\) f\u00fcr jedes \\(a\\) eine Boolesche Algebra ist. II. \\(\\mathfrak{S}\\) erf\u00fclle die aufsteigende Kettenbedingung. Die Anzahl der Komponenten in den unverk\u00fcrzbaren Durchschnittsdarstellungen eines Elementes ist dann und nur dann dieselbe, wenn \\(\\mathfrak{L}_a\\) stets modular ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579746$4401A9AB-4211-41C4-8530-19BBA7FC5A55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfe1a6b0ae0fb5a17c82eaa703008273913f5c7f","datavalue":{"value":"2502264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579746$1451EAA8-184E-4E6E-A1B1-DB49955FCC24","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":"Q2579746$C5F0D9C9-740F-495E-A5D5-4C40C4FE1544","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b604f6442c7ddaa3b4d2e62e71b4913bcec35e","datavalue":{"value":{"entity-type":"item","numeric-id":4753364,"id":"Q4753364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579746$8B95CF8C-9C40-47AC-A523-81765FF60F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a95a249707029a1e3141905b00ce1b52cb5f38","datavalue":{"value":{"entity-type":"item","numeric-id":2646956,"id":"Q2646956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579746$9BF46A36-7515-4741-BA70-63445CF8C9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579746$81D7A6F3-D06E-4693-AEFD-B5A3027942F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7ba80458bd2ed1ac52c213fc44eb3837891824","datavalue":{"value":{"entity-type":"item","numeric-id":2645966,"id":"Q2645966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579746$5147DCBF-5480-4215-BAF6-F7A39E1EFC36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fa0773cfbd813ca4a15bb1d0e09f4d72ae58f26","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-1941-0004229-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2579746$6FCC606A-61A7-4A86-BDF6-92A3D5F987C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52c3c368a4ada92247435fdece3d134fa04ea685","datavalue":{"value":"W4235939609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579746$65730A5D-129C-4EB3-B614-EE50F7CEB83F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"687708b4bc3c2a11308bcba2f99e9149cf7f6cd4","datavalue":{"value":{"entity-type":"item","numeric-id":6480557,"id":"Q6480557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579746$F010F5C4-E42B-4FA6-9CB4-374212A5DFC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579746"}}}}}