{"entities":{"Q1568780":{"pageid":1579520,"ns":120,"title":"Item:Q1568780","lastrevid":67928094,"modified":"2026-04-12T20:16:30Z","type":"item","id":"Q1568780","labels":{"en":{"language":"en","value":"Finite lattices and lexicographic Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463375"}},"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":"Q1568780$9C9C8315-71BC-4DD3-990B-693F5A3232BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fea0af10f669485f7a8bf190cfd981669d2cc21b","datavalue":{"value":{"text":"Finite lattices and lexicographic Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1568780$1947952B-280B-45FE-8F4B-18A965F4610C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4deab4b887376d68d2536bf1be98a9028da142b","datavalue":{"value":"0969.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568780$978092CC-EBCE-4E93-995D-7CF618BAADB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3678c381f1a266424fc3c814a7b6278c92f3d47b","datavalue":{"value":{"entity-type":"item","numeric-id":177378,"id":"Q177378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$A052AB65-4BB1-4672-92BA-028166BCC95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abc6a70dbf6482813534e44e9cb5a1449332bf6","datavalue":{"value":{"entity-type":"item","numeric-id":249579,"id":"Q249579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$805F3E13-F924-418E-871D-C0575918DDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b30fd439ff2c639c1423160846b46d27da722fca","datavalue":{"value":{"entity-type":"item","numeric-id":1059116,"id":"Q1059116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$DF07A54E-6082-481C-A0FB-39D657148153","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$AE243B3B-B42A-4422-9315-D022995049EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4099843518a30c1bf03605cf49370c7e4c9d446d","datavalue":{"value":{"time":"+2000-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1568780$34CA649A-A5E3-465B-8CDB-FD00AB35D766","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4277859a62db2b87231dba7422a4b370957df3a7","datavalue":{"value":"Let \\(K\\) be a field, \\(L\\) a finite lattice, and \\(K[\\{x_{\\alpha}\\}_{\\alpha\\in L}]\\) the polynomial ring over \\(K\\). Consider the ideal \\(I_L=(x_{\\alpha}x_{\\beta}-x_{\\alpha\\wedge\\beta}x_{\\alpha\\vee\\beta}:\\alpha,\\beta\\in L)\\) of \\(K[\\{x_{\\alpha}\\}_{\\alpha\\in L}]\\). The quotient algebra \\({\\mathcal R}_K[L]=K[\\{x_{\\alpha}\\}_{\\alpha\\in L}]/I_L\\) is called the ``Hibi ring'' of \\(L\\) over \\(K\\). Assume that \\(L\\) is a finite distributive lattice. The aim of this paper is to give some classes of subrings of Hibi rings which have quadratic Gr\u00f6bner bases, so that, in particular, they are Koszul algebras. It is easy to see that if a Hibi ring has a rank lexicographic Gr\u00f6bner basis, then such a basis restricts to every rank bounded subring. So the natural problem arises to classify all finite distributive lattices which possess rank lexicographic quadratic Gr\u00f6bner bases. Such a classification seems to be rather complicated. However, a complete classification of the finite simple planar distributive lattices whose Hibi rings have rank lexicographic quadratic Gr\u00f6bner bases is obtained. It turns out that these lattices are exactly the chain ladders. Moreover it is proved that the so-called trivial Hibi rings possess lexicographic quadratic Gr\u00f6bner bases. Even though the lexicographic term order is not necessarily compatible with the rank of the lattice, again the restriction technique enables the authors to find certain kinds of subrings of a trivial Hibi ring which have quadratic Gr\u00f6bner bases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568780$3ADE73E1-0160-4157-BA73-7017880989D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"29e9c3739541c6d2689e2217775c5f9c78e555df","datavalue":{"value":{"entity-type":"item","numeric-id":220666,"id":"Q220666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$023789B5-597E-4284-A96D-99E8E7EABE81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568780$643467D1-18F3-4322-9F1B-6119F3340896","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d316c4c28277acd6dd0b27d0b3866598cd694c7","datavalue":{"value":"1463375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568780$4D04A66E-A51B-490A-BC89-1DCC2E47F8C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6bbb7e35509bdb5e52b2dd7240c99e3b0506356","datavalue":{"value":"quadratic Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568780$A78644C7-F19D-4DE9-AD39-693612952FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568780$7BBB95E0-FA3D-48BE-AAA3-F357412767D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb633c420c2712d244521ccf8018690644c67864","datavalue":{"value":"Hibi rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568780$10F7830D-412D-40AE-A5E1-16768550F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd1343ff28b861ff16e2d276d66e0ab7e0f483b","datavalue":{"value":"chain ladders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568780$D9D8CC42-E00E-4ECB-AA18-4DF3E7E72BDD","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":"Q1568780$389E1CA1-C881-43F9-A083-B8AC2AE223F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1dd3d9135adc43d16bc868590fa509da0f170067","datavalue":{"value":"https://doi.org/10.1006/eujc.1999.0358","type":"string"},"datatype":"url"},"type":"statement","id":"Q1568780$4F486ECB-4DD5-4893-85DB-7489596359BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82b583374e3e44b78db12ceff11ce5fc294c9852","datavalue":{"value":"W2027713456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568780$B2A40D2A-C1AE-4942-BED5-85B511B9864E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e16ecf175c3ec1a7818a3fd34ebcaef1f56da7e","datavalue":{"value":{"entity-type":"item","numeric-id":3708148,"id":"Q3708148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$A49C6B2E-C1FE-4117-905B-3617D76BCA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$5CEAFA35-083E-44FC-AD71-C12297D6B7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa06c5286f4b871ce46b2d1798a491d0c4f1a64","datavalue":{"value":{"entity-type":"item","numeric-id":3843140,"id":"Q3843140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$BA1A06E9-476C-449D-9A4B-560701E832FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b98d1468622b3bca7d0363bd37a733d802efde","datavalue":{"value":{"entity-type":"item","numeric-id":1378457,"id":"Q1378457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$935BF0B7-25A5-4F1F-ACC2-BAE9C3EC2E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$391FD076-4410-49BE-AF33-ADDF11CADCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"563dbe6b61d8fad76db9810028691da992dcef3c","datavalue":{"value":{"entity-type":"item","numeric-id":3894034,"id":"Q3894034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$93D9C297-FBD0-413A-9B28-2278672F9B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc5bfa1934e54c23025ed553fd9bcffa8682bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4496503,"id":"Q4496503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$1E57EAA5-069A-4157-A328-4853525361A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31994772801461d8b419051d94a733149230579","datavalue":{"value":{"entity-type":"item","numeric-id":5288967,"id":"Q5288967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$0838BA85-2B5C-439D-8EE9-F984F0CA23F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f918f5af94f2b19a95e96ad7377c82856ea4d42f","datavalue":{"value":{"entity-type":"item","numeric-id":1277205,"id":"Q1277205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$907A0211-E485-4656-AB93-7280E7AEDE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245ed0e24975927ce90c639a809b5d802334a7bc","datavalue":{"value":{"entity-type":"item","numeric-id":1306900,"id":"Q1306900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$0F3CC19A-2BD8-4888-8828-932CAC25E111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df57742b2c5cec867dc4432d0b040e9f291c36","datavalue":{"value":{"entity-type":"item","numeric-id":1384634,"id":"Q1384634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$F27094DB-9978-4C6D-A84F-704FCC4B3221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abffb21c3babdeaacfabc05ab31a2b54995f472","datavalue":{"value":{"entity-type":"item","numeric-id":4216992,"id":"Q4216992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$967B689E-16DB-48F7-B257-201935A12EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ebd623f6b8e57b27792095bc1a5f936ffa53ab","datavalue":{"value":{"entity-type":"item","numeric-id":3748279,"id":"Q3748279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568780$314F448F-8053-4991-8A67-79961DB8DA2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d158eefee30987fa6d43f875dc563452195adc65","datavalue":{"value":"10.1006/EUJC.1999.0358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568780$3ADC2DC0-C771-4F70-AFB4-CA34A18C077B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b036f57a4acaffa4e219e89cac8a233d373e88b2","datavalue":{"value":{"entity-type":"item","numeric-id":5244432,"id":"Q5244432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c84b137641c4ee7f96acaaa3232056dfe8b996","datavalue":{"value":{"amount":"+0.8523843288421631","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":"Q1568780$ED160314-9B0C-48B1-8E6F-44826F9A51D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fffc10d1cbedccb3056f0fc112986aecb142226","datavalue":{"value":{"entity-type":"item","numeric-id":3459172,"id":"Q3459172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b29cd26df6f72edaa12e15b948bd951bbb92e0","datavalue":{"value":{"amount":"+0.8430238962173462","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":"Q1568780$DC8411F1-47D8-4167-9BB7-C46E0DF7163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b245493431ef48ef12e1c3cb9a6d4653355dd6","datavalue":{"value":{"entity-type":"item","numeric-id":3133827,"id":"Q3133827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd67fff1ae80d850e83d05f83f42b4ffacc1c3d0","datavalue":{"value":{"amount":"+0.826627254486084","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":"Q1568780$72BC2DEC-0C31-4CAD-BF4D-D159E021695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb655ed85b39c702c1721c04007609a9f992961","datavalue":{"value":{"entity-type":"item","numeric-id":3145846,"id":"Q3145846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b39eb51b92b3be0df53e6b8898d34b3e1a5afe","datavalue":{"value":{"amount":"+0.8200072050094604","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":"Q1568780$B2A1165E-DD80-4FD5-97A1-A2F438D146E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite lattices and lexicographic Gr\u00f6bner bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_lattices_and_lexicographic_Gr%C3%B6bner_bases"}}}}}