{"entities":{"Q524477":{"pageid":526244,"ns":120,"title":"Item:Q524477","lastrevid":62519448,"modified":"2026-04-11T06:38:41Z","type":"item","id":"Q524477","labels":{"en":{"language":"en","value":"On the generators of the canonical module of a Hibi ring: a criterion of level property and the degrees of generators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6710526"}},"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":"Q524477$C6F63C3C-E915-4379-A337-B618C92F28AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f52bdb5684d3df74068f56f68977a957c49283","datavalue":{"value":{"text":"On the generators of the canonical module of a Hibi ring: a criterion of level property and the degrees of generators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q524477$EBF17413-675D-4C4A-B1F2-74738628B0D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c3a9bc19f9fb1503a6acd1a55e2764c79146627","datavalue":{"value":"1367.13016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524477$F73513B8-93F4-4B8C-B21A-27635BA137ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"743b054c58d34d3ef2d00fb23fef39c4d1f1164b","datavalue":{"value":{"entity-type":"item","numeric-id":267719,"id":"Q267719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524477$7AA5399F-75C2-4433-8380-75214E986A89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524477$36BB9359-AF46-48DA-B81F-3551C461D906","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"465e98a4852077433e4ac8fd714a69c1065c4b47","datavalue":{"value":{"time":"+2017-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q524477$39B7B746-040F-4084-9322-6DAFEEB35DE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62136a197083c8a78835796e1664635aba5ea678","datavalue":{"value":"https://arxiv.org/abs/1606.04380","type":"string"},"datatype":"url"},"type":"statement","id":"Q524477$A9619A2D-5480-4680-B446-DB73F9A4BF01","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b06586eee70524ef1246b498451ea2871cd6af7e","datavalue":{"value":"Let \\(H\\) be a finite distributive lattice. Let \\(P\\) be the set of join-irreducible elements in \\(H\\). Let \\(\\{T_x\\}_{x \\in P}\\) be a family of indeterminates indexed by \\(P\\) and \\(K\\) be a field. Then \\(\\mathcal{R}_{K}(H) = K[\\prod_{x \\leq \\alpha} T_x | \\alpha \\in H]\\) is called a Hibi ring over \\(K\\) on \\(H\\). A characterization for a Hibi ring to be level is given as follows.  Theorem. \\(\\mathcal{R}_{K}(H)\\) is level if and only if \\(r(y_1, x_1, \\ldots, y_t, x_t) \\leq r\\) for any sequence of elements in \\(P\\) with condition \\(N\\), i.e., \\(r_{\\max} = r\\).  The following result is proved.  Theorem. Let \\(d\\) be an integer with \\(r \\leq d \\leq r_{\\max}\\). Then there exists a generator of the canonical module \\(\\mathcal{R}_{K}(H)\\) with degree \\(d\\).  A combinatorial criterion that a Hibi ring is of type 2 is given.  Theorem. \\(\\mathcal{R}_{K}(H)\\) is level if and only if there exists \\(z \\in P\\) with the following conditions.  (1) \\(\\mathrm{rank}[x_0, z] + \\mathrm{rank}[z, \\infty] = r - 1\\).  (2) \\(P^+ \\setminus\\{z\\}\\) is pure of rank \\(r\\).  (3) \\([x_0, z]\\) and \\([z, \\infty]\\) are pure.  A necessary and sufficient condition that a Hibi ring is not level and has type 2 is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q524477$D621CFA6-5CDF-46EE-A0CD-D4018BBEBAF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6b7d280784e3e535f98c580c25a7302405be20d","datavalue":{"value":"13F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524477$48E82160-E38D-4617-A0D7-442D886ED001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524477$B293C9F1-2E00-4871-8197-8DDCD0A3E949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524477$7BDC22B1-C0EB-4A37-9C47-8273B190E237","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3afd385333c6e121610910aa7d1e59257023e83a","datavalue":{"value":"6710526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524477$4B760B1C-CDD3-4159-8227-B8DFFA2E0591","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd51990fb8a03007f3eb2f13ca88eb4f5a99dabd","datavalue":{"value":"Hibi ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q524477$25E368D2-48E0-4331-98CD-1B5EDD47280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b1365acad6cd09ca473cc614e237594487ca89","datavalue":{"value":"canonical module","type":"string"},"datatype":"string"},"type":"statement","id":"Q524477$0267EB12-45C8-44B4-8221-5CCC6741F384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"177bfde44890d4d9d42b3d982ca6f386d93bff5e","datavalue":{"value":"level ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q524477$1CEB6A9B-6C6E-4378-8C83-B32C824628D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6177d7e0455cef4d3990b1c7408d6f9334c86f45","datavalue":{"value":"Cohen-Macaulay type","type":"string"},"datatype":"string"},"type":"statement","id":"Q524477$B800FD52-B96A-4C9A-8C18-EEC43A6EBC96","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"34ca366c7bb277434f612f766d36fa16b74d5cf2","datavalue":{"value":{"entity-type":"item","numeric-id":657386,"id":"Q657386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524477$4C782524-A2D7-4118-8EE6-A04B0A3E3407","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":"Q524477$51A3098E-CD9C-4DEF-BD19-717B2A8FCE0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89c597a274523731016986bb119ed761e0a7630e","datavalue":{"value":"W2963942150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524477$2FACAE34-BA3C-4151-A44A-D39DC9B78EA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44949514876b9678d7f9e58abd7bb678fe393243","datavalue":{"value":{"entity-type":"item","numeric-id":3800169,"id":"Q3800169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524477$B04EA89A-87E1-4041-8AAA-9D9CFC92040D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5cbb0cd27e18158784df6beb25629b1243bb00","datavalue":{"value":{"entity-type":"item","numeric-id":5641252,"id":"Q5641252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524477$77F78A15-55E8-4CF2-AD3F-0E1C9848D816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2f10e2e8a67201de0a410a10f466946491078b","datavalue":{"value":{"entity-type":"item","numeric-id":5423813,"id":"Q5423813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524477$4BA52EE9-7EF0-407A-9622-673C132B2B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc50c07a3029ec865ceccd4ade606a68f605d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":4153339,"id":"Q4153339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524477$91D316BF-71A6-4C41-9F53-57C33B6B6570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3676473ac0ad58024671bef2874163716f9f66b4","datavalue":{"value":{"entity-type":"item","numeric-id":1248549,"id":"Q1248549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524477$DBF5F3B6-D138-4252-8FD4-63D576264F8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df42740e0913e8c1be3d4929aa207bf24cca6a75","datavalue":{"value":"10.1016/J.JALGEBRA.2017.02.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524477$B8424392-D935-4D04-B398-88CE7A820139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1edb0746e56b7ec27df9787bfdbaddb81f82a065","datavalue":{"value":{"entity-type":"item","numeric-id":5423813,"id":"Q5423813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9b1e16411cd097e3e43e1ceccbc094e9538d5b","datavalue":{"value":{"amount":"+0.8351176977157593","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":"Q524477$F9FCA78A-C638-42A5-A727-183FF9A6605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe8da1d0185669720b57f4a54a3b80d1287a2ba","datavalue":{"value":{"entity-type":"item","numeric-id":2344838,"id":"Q2344838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5d5e295ce5c53e44ef5af2bc32396c2ff4e2dc","datavalue":{"value":{"amount":"+0.7995592355728149","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":"Q524477$26435EB9-DFD6-4526-A44D-EF8F0424B985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8b6943dfc96afa6a51634daba8fb78654cb26c","datavalue":{"value":{"entity-type":"item","numeric-id":1675069,"id":"Q1675069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19baab43f83807bc568bec509d6651d5a0fcfe84","datavalue":{"value":{"amount":"+0.7860597968101501","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":"Q524477$5FCB0728-C045-45A0-BB3A-7748C1AD18F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e74e893c10978a06ae861412441c5018fbfb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":746799,"id":"Q746799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14100c2439052eafbd73d7bb7302dc2e80159068","datavalue":{"value":{"amount":"+0.7764633297920227","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":"Q524477$36E6FDC5-EC14-4C05-A1A4-EFB0A2DAABB9","rank":"normal"},{"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":"4c98de77ab2af6f411bdb1db762ad5ebfb92228b","datavalue":{"value":{"amount":"+0.773667573928833","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":"Q524477$200D0B9D-81ED-46CA-8E10-B9E7DE5AB6E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the generators of the canonical module of a Hibi ring: a criterion of level property and the degrees of generators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_generators_of_the_canonical_module_of_a_Hibi_ring:_a_criterion_of_level_property_and_the_degrees_of_generators"}}}}}