{"entities":{"Q1272252":{"pageid":1283002,"ns":120,"title":"Item:Q1272252","lastrevid":67185951,"modified":"2026-04-12T15:54:45Z","type":"item","id":"Q1272252","labels":{"en":{"language":"en","value":"Problem 17 of Gr\u00e4tzer and Kisielewicz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226570"}},"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":"Q1272252$102BBC62-6595-43A2-ADA6-7D620CD0E8EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aeb2c3ecf7a80ed0feab53dd0c6c7103fe13fe7","datavalue":{"value":{"text":"Problem 17 of Gr\u00e4tzer and Kisielewicz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272252$12E109BA-891D-435A-81F8-4FB2048392D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01fbeb4b412a704e283ece8aa650ef5359725165","datavalue":{"value":"0901.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272252$3D9EDFB0-3154-42A2-8C13-52C4F4E63AB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80ac5faf2c92b8c1ebd13c0fa01b76b785737e0f","datavalue":{"value":"10.1007/BF01233926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272252$4C2C2789-B4E5-4A17-89D0-DC1FEEADC10E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272252$4B0760EE-BD93-4521-AD30-01C1B9B1D8FE","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":"Q1272252$A543F8E0-FA56-429F-B50F-3822518B1A14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcf2cc5d9dca7413af18921ff9d977f276261fc","datavalue":{"value":{"time":"+1998-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272252$18065EDE-BD94-404D-9373-FC1609B25A63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d991a7b96829108ba9bb7f5f989ccfde8f8ea1f1","datavalue":{"value":"If \\(A\\) is an algebra and \\(n\\in N\\), then \\(p_n(A)\\) denotes the number of \\(n\\)-ary operations of \\(A\\) depending on all \\(n\\) variables. Let \\({\\mathcal C}\\) be the class of algebras of type (2,2) in which the two basic operations are both commutative and idempotent. Problem 17 of Gr\u00e4tzer and Kisielewicz asks whether there is an \\(A\\in {\\mathcal C}\\) with \\(p_2(A)=2\\) and for all \\(B\\in {\\mathcal C},\\) if \\(p_2(B)=2\\) then \\(p_n(B)\\geq p_n(A)\\) for all \\(n\\in N.\\) J. Dudek has shown that if the answer is yes, then \\(A\\) can be taken to be the two-element lattice \\(D_2\\) and that to answer the question it suffices to compare the \\(p_n\\)-sequence of \\(D_2\\) with the \\(p_n\\)-sequence of two very specific four-element members of \\({\\mathcal C}.\\) One of them is \\(N_2.\\) Using a computer, the authors show \\(p_4(N_2)=p_4(D_2)\\) but \\(p_5(N_2)=2586<6894=p_5(D_2)\\), which solves Problem 17 negatively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272252$B19E9119-3C23-4EC6-9237-2610F183C138","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272252$4298B89D-BFB4-4B57-8326-740F95ECA0FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272252$3E9F6512-CE6C-4DFD-A4FC-F2F943B06E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71b29e038927835d80b9bb53b3e801af19bf25ea","datavalue":{"value":"08-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272252$D5869709-6B01-4E5E-9342-82915E697806","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3c1d17a3728e26e868a8d0ba7738a0a3da5a885","datavalue":{"value":"1226570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272252$ABED967F-BC2D-44DC-815C-06F692D464E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da53edecb10195210583d9bf76cf870d3004d3a","datavalue":{"value":"\\(p_n\\)-sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272252$ABB14675-25B2-4052-A1EC-CB3A7A9D4290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e47762ef4758c5e97cf30a06f63317fcd40385b","datavalue":{"value":"free spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272252$10628BE0-E098-4E87-A329-BD0218B5C2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0646b08ccd0264fb688bf2ead0f6a952850cba59","datavalue":{"value":"minimal extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272252$FB817CBB-EC9B-41A6-9FAA-D3DB6CD744D3","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":"Q1272252$92F26878-84D1-463D-8098-4223E8577E4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcb40fbe1c39abe29592b9219e292faae990d15","datavalue":{"value":{"entity-type":"item","numeric-id":2646690,"id":"Q2646690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272252$BAA00E0B-162C-447B-865D-39EB6BBE07A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9edba62dd4d583223d9fdb27c67d52e7acc6231","datavalue":{"value":{"entity-type":"item","numeric-id":4029629,"id":"Q4029629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272252$3AB11900-1ADF-4530-801C-4E4BD9CA2F6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05161a875cfa051317a38b8da54b9dc4ca3c732f","datavalue":{"value":"https://doi.org/10.1007/bf01233926","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272252$54F55E3B-8F9C-45C4-81C5-995BD42D5A6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5475304bc278e1d8fb214e17f9b4643435ce9632","datavalue":{"value":"W1969324541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272252$B4228581-10A3-4AC3-BC51-22FD4496C787","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7665b1b7d3cc3965e1464f93bb5b492d073788c","datavalue":{"value":{"entity-type":"item","numeric-id":1964735,"id":"Q1964735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd5fcf04ea79623b664834b39b1a85538551c56","datavalue":{"value":{"amount":"+0.8797259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$176B5C1D-6332-4F6C-9E75-4EA5A4608B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c658b9e4985562548079ff4db63d884eed8fc5e","datavalue":{"value":{"entity-type":"item","numeric-id":3481722,"id":"Q3481722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf5750534663c8e5e6092b21c693da468b472b1","datavalue":{"value":{"amount":"+0.85816187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$E87AD09C-0AE1-4B42-882F-D3837B04EA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44b8b16e97fb2a9fb90e7ba8e2efe8037d162c1","datavalue":{"value":{"entity-type":"item","numeric-id":5641162,"id":"Q5641162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1a84e691f96e185af1a42796749b4e2474a6a3","datavalue":{"value":{"amount":"+0.85525006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$F48A91FC-58C5-45E3-A12A-5B022F6295AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90da8528740b38ae9da400c57e5c74e6aaba2c73","datavalue":{"value":{"entity-type":"item","numeric-id":4308944,"id":"Q4308944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff90fabb8c560832dff375b37b87dfab31249ad","datavalue":{"value":{"amount":"+0.8529645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$4BBD19E5-C0A4-4869-B349-DF5272FFBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a16d68814fc3ec37d7754cf5cb145de3ee14cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1946040,"id":"Q1946040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013b4651b35a4bde5343c93f02a9e81626f06f1d","datavalue":{"value":{"amount":"+0.8472026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$EFCF2614-AB19-437D-97C7-591BCCDEAA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8dda81ccd4ef2c7fe958872740bd7b21b2695c","datavalue":{"value":{"entity-type":"item","numeric-id":3744165,"id":"Q3744165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef80f31dc4d415a5bdd65ed905fb2f0ead227d65","datavalue":{"value":{"amount":"+0.84267825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$3E4D5F66-3621-4875-911B-5755DE2654DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050d19e98cce022f24adeeeee88eeb48a92ac0d3","datavalue":{"value":{"entity-type":"item","numeric-id":1267369,"id":"Q1267369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d34dc79354e1e80b432e9378244c843dc5e132","datavalue":{"value":{"amount":"+0.8426355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$C9800744-520C-4C6A-994B-0FD6B2DC2857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd0c95339f7c401fd18c478f96a1991ef0ad355","datavalue":{"value":{"entity-type":"item","numeric-id":4496287,"id":"Q4496287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702a2633e09c3882c1b46deebef0c53877771319","datavalue":{"value":{"amount":"+0.83180135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$E669E936-E423-4F11-A38F-CE819984B8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21471359bff6f600a0ca4c0cadf24f600742631","datavalue":{"value":{"entity-type":"item","numeric-id":3824601,"id":"Q3824601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a1d9b71f75f7994f15ff3a7af090575ef7953a","datavalue":{"value":{"amount":"+0.8306916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$763FE592-2BD1-4548-9B3A-3334E80F7FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1282a8c280c127fa36120ffbad13ce2325a34692","datavalue":{"value":{"entity-type":"item","numeric-id":4939958,"id":"Q4939958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5881b35747e6e2df08952c105d59b849138246","datavalue":{"value":{"amount":"+0.8303815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1272252$681470AE-B146-4EA6-9E7C-8F959A379399","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problem 17 of Gr\u00e4tzer and Kisielewicz","badges":[]}}}}}