{"entities":{"Q1047115":{"pageid":1048963,"ns":120,"title":"Item:Q1047115","lastrevid":66941094,"modified":"2026-04-12T13:52:46Z","type":"item","id":"Q1047115","labels":{"en":{"language":"en","value":"The spectrum of a finite pseudocomplemented lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652299"}},"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":"Q1047115$04AB50A4-AA00-4F97-9BC9-D33AE8022DD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb39670856af65cf6e80f5b784ca20dcfdcac838","datavalue":{"value":{"text":"The spectrum of a finite pseudocomplemented lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047115$8705A3C4-1665-4147-A634-5F71F2FEC1A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4e9a0e58cd0bab6691e67eafb2ecc86381b1025","datavalue":{"value":"1209.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047115$008BC477-8F01-449E-A009-7EFE5D530BF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$D5CB1673-8F00-4031-94D5-AA2F0FC63C14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47034ae5659f9309079a39f0dc55e3f1d9935306","datavalue":{"value":{"time":"+2010-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047115$CD562F4B-280F-487F-8C76-D1D2A2602AD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e7ea3a70f8b095266d45919b5d5ed2dad2e2b84","datavalue":{"value":"Let \\(L\\) be a pseudocomplemented lattice, then every interval \\([0,a]\\) of \\(L\\) is also pseudocomplemented. So, by Glivenko's theorem, the set \\(S(a)\\) of all pseudocomplements in \\([0,a]\\) forms a Boolean lattice. Let \\(L\\) be a finite pseudocomplemented lattice and suppose that \\(S(1)\\) has exactly \\(n\\) atoms. Let \\(B_i\\) denote the finite Boolean algebra with \\(i\\) atoms, then the spectrum of \\(L\\) is the sequence \\((s_0,x_1,\\dots, s_n)\\), where \\(s_i=|\\{a\\in L\\mid S(a)\\cong B_i\\}|\\). Clearly, \\(s_0+ s_1+\\cdots+ s_n=|L|\\) and \\(s_0= 1\\).  The main result of the paper is the following theorem: A sequence \\((1,s_1,\\dots, s_n)\\) of positive integers is the spectrum of a finite pseudocomplemented lattice if and only if the inequality \\({n\\choose i}\\leq s_i\\) holds for all \\(1\\leq i\\leq n\\). This result solves a problem raised in \\textit{G. Gr\u00e4tzer}'s book [Lattice theory. First concepts and distributive lattices. San Francisco: Freeman (1971; Zbl 0232.06001)]. The proof uses an induction argument based on the method of ``doubling an element'' which is contained in an earlier paper of \\textit{G. Gr\u00e4tzer} [Proc. Am. Math. Soc. 43, 269--271 (1974; Zbl 0292.06003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047115$211C8D79-21E3-487B-A474-51F4E446EF95","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$6223A5E0-86BB-4DC4-8EB0-AF2C02F4A3FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047115$78E39247-AA4A-4360-B4DD-8830AA7BFC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047115$07472DF2-C8E7-4A78-A805-FAFCDD6DF27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047115$DED8E975-FF2A-477C-BCF4-56E7F08F7267","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01007e05d5f384c6b96c22846081d919ce878fda","datavalue":{"value":"5652299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047115$EFEBE5E3-E5C0-4295-94AC-862D75A4AD26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198aab7837b7b47af2df3b54c87c4be495598b35","datavalue":{"value":"pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047115$92F15FA7-00A6-4F1A-8EEC-BBCE99A6F9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ea5a92b1759cef1a2417e84c1a0f66f66e4d2e","datavalue":{"value":"Glivenko's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047115$C9AF96F9-3B24-43E9-8CF7-564DD8168B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047115$60EE4826-5C8F-4F52-85A5-97B4D1737116","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7527cefcc140a8cd03530225d272dfa946179304","datavalue":{"value":{"entity-type":"item","numeric-id":219052,"id":"Q219052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$FB12844D-7DF4-456E-973E-006F97CBA59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d7130e88b05dc81e530dba1685bd48a45296b5b","datavalue":{"value":{"entity-type":"item","numeric-id":1322032,"id":"Q1322032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$B3AC4AA0-37BC-4442-8884-6EE2919BC1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b05127385b5eb383671ad92a1d32d28ff86e3514","datavalue":{"value":{"entity-type":"item","numeric-id":687661,"id":"Q687661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$EDF69D5C-820A-4A5D-8FB7-36BD63708F18","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":"Q1047115$A210C72D-A2DE-4921-B983-3F5C44A46F03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1607be8b26bbb16fbf7072b62d28312e99ee8509","datavalue":{"value":"https://doi.org/10.1007/s00012-009-0027-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047115$06E1E6CD-7A04-45E1-90E2-6EFB91D1D83E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24531e36867f9f24260c7602af2b96cef51eef2b","datavalue":{"value":"W2057414399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047115$04FA68AF-EE5E-469B-8B5F-C0B5BBE06B0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$2D56CD89-AF10-4313-9A73-9B807A7FAD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$28FB5055-3B72-4F9B-8759-C7B224913C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d61f804629d1a29df2b919a1eeab30f5e107b1","datavalue":{"value":{"entity-type":"item","numeric-id":4043104,"id":"Q4043104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$D95B0691-0EF2-4231-91D8-150C3DBD154B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be21df75873d837d8a3b1de77ebc4a8606affd4","datavalue":{"value":{"entity-type":"item","numeric-id":5715576,"id":"Q5715576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$C06EE58D-B595-470D-8C58-CA7B1AD6FE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993dfd2fb6a495c3071dd548c82ade65c191443d","datavalue":{"value":{"entity-type":"item","numeric-id":1221120,"id":"Q1221120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047115$75F49475-3B06-48B1-A14F-21F07E7E9C09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25f9d78609ced32424b8220ca634fb6db84fd16b","datavalue":{"value":"10.1007/S00012-009-0027-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047115$4BF28EF1-64CC-4642-A8B3-9757D7CD8954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3668744e93f5b0eb4b0b00cfbafe65b7ab1b00","datavalue":{"value":{"entity-type":"item","numeric-id":647312,"id":"Q647312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977584a4934ec8a08cd0ee822931b15d848f1eff","datavalue":{"value":{"amount":"+0.9032313227653505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1047115$A2A43998-9A82-4E1D-8D6E-011A3607C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb3e479fc85a61fc5f3dd8bba1d36a1d39d30dc","datavalue":{"value":{"entity-type":"item","numeric-id":539984,"id":"Q539984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6b6221ecc2de37a7dd8ed24144d9f04a301023","datavalue":{"value":{"amount":"+0.87030029296875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1047115$129CBFDF-A6FC-4C87-9A92-58F1728256AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151dac67f5a60e54ecff5fdfab0b75977f3a00fc","datavalue":{"value":{"entity-type":"item","numeric-id":3984025,"id":"Q3984025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9239180e1c1c805451df8270df7d270a5c33e27f","datavalue":{"value":{"amount":"+0.8558294773101807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1047115$15942ED8-E8B0-4B11-9069-630EB5C01862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9bddde561e1bae9fd309c97905adc41cf4e9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1193546,"id":"Q1193546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581ce88c98a2ab2e44102a307f48c8b1a66deb26","datavalue":{"value":{"amount":"+0.7729378938674927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1047115$B3A1E8B5-1A56-4B46-8715-15839EDB6D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"934dd9b1958e84d61a0d16bd2f99177f6b4006ea","datavalue":{"value":{"entity-type":"item","numeric-id":4210662,"id":"Q4210662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de68a549da20aa2d8e3cc06936c8c0421353143f","datavalue":{"value":{"amount":"+0.7657637596130371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1047115$A59B1BD8-DF1C-44A5-B1F2-138D477BEBB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The spectrum of a finite pseudocomplemented lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_spectrum_of_a_finite_pseudocomplemented_lattice"}}}}}