{"entities":{"Q1333235":{"pageid":1343974,"ns":120,"title":"Item:Q1333235","lastrevid":68490801,"modified":"2026-04-13T00:03:29Z","type":"item","id":"Q1333235","labels":{"en":{"language":"en","value":"Canonical modules and Cohen-Macaulay types of partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638534"}},"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":"Q1333235$9BADF407-34B4-4807-9EA3-E30AA9969767","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afc9683e5ca073446daa1bde4c4dc7bf2d8faa6d","datavalue":{"value":{"text":"Canonical modules and Cohen-Macaulay types of partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333235$9419973F-39CC-40CA-A7FC-009C12F69AAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9c9f4f1ea0a52f554e1a3eecc69420a2b1453fb","datavalue":{"value":"0809.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333235$435275F3-3C45-4B7E-981D-7C751ED4E0C8","rank":"normal"}],"P16":[{"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":"Q1333235$ED0E6666-0BA4-4C85-AAA3-440D625A06BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333235$1AFDBD67-4A75-4427-9953-A0C1B21D0CED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c8c62e703dff8cd60c2f18eadaeec6e5a925cdb","datavalue":{"value":{"time":"+1995-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333235$851C23BF-F0A9-42AB-8986-670727A2EC59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"743e1403bfea23230fe91b203fcbf2acbfc94a5e","datavalue":{"value":"https://semanticscholar.org/paper/b96e85ace26ad2bc154d72fa25a8b76931ddc0d6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1333235$90199E0A-F120-4835-B891-2A892CC33F43","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b03d83e5d444d4fe97f45e6f47bc885fbdb3f9d7","datavalue":{"value":"Let \\(P\\) be a finite poset and \\(k\\) be a field. Let \\(A = k[x; x \\in P]\\) be the polynomial ring over \\(k\\) and let \\(I\\) be the ideal of \\(A\\) generated by those quadratic monomials \\(xy\\) for which \\(x\\) and \\(y\\) are incomparable in \\(P\\). The quotient algebra \\(k [P] = A/I\\) is called the Stanley-Reisner ring of \\(P\\) over \\(k\\). We say that \\(k[P]\\) is Cohen-Macaulay if \\(k[P]\\) is a free module over \\(k[\\Theta]\\) (\\(\\Theta\\) is a system of parameters). Now, the canonical module is defined by \\(\\Omega (k[P]) = \\text{Hom}_{k[\\Theta]} (k[P], k[\\Theta])\\), and the Cohen-Macaulay type of \\(k[P]\\) is the minimal number of generators of \\(\\Omega (k[P])\\) as a module over \\(k[P]\\).   Main theorem: Suppose that the Stanley-Reisner ring \\(k[P]\\) of a poset \\(P\\) is Cohen-Macaulay. Then the ideal \\(S^*(k[P])\\) is isomorphic to the canonical module \\(\\Omega (k[P])\\) of \\(k[P]\\), up to shift in grading, if and only if the Cohen-Macaulay type of \\(k[P]\\) is equal to \\(\\sum_{C \\in \\varepsilon^*(P^ \\wedge)} | \\mu(C) |\\).   Let us remark, that \\(S^*(k[P])\\) is the ideal of \\(k[P]\\) generated by special square-free monomials, \\(| \\mu(C)| = \\dim_ k (R(C))\\), and \\(R(C)\\), \\(\\varepsilon^*(P^ \\wedge)\\) are defined in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333235$19063C42-8241-41A6-88D3-B33FE07B4EB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333235$726620AF-7DD8-47F9-AB07-E0367513D13A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f53e9c5d645db0f97671aeb21a97b59f325cf7ad","datavalue":{"value":"638534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333235$6EC6588C-6843-4354-8B73-A4ABD3C7D210","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7aaf017e211c70ce767f7543651ee23d5ad28d5","datavalue":{"value":"finite ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333235$5C2129F1-35CB-47DA-98D7-D8DC1298603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9dac8a40181bab8a7af2767a91e63ccac5eecb0","datavalue":{"value":"Stanley-Reisner ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333235$C0E12B99-2B72-4494-8B80-34FD8CD1EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b1365acad6cd09ca473cc614e237594487ca89","datavalue":{"value":"canonical module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333235$94DA079E-593B-409C-BA03-31928072F24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb7db7ed925944832fee1cb3d22765f25e43c701","datavalue":{"value":"Cohen- Macaulay type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333235$C4D7C6B0-58A1-4551-B2ED-DC102A9F234D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bd152c47da1e590d7463e91ee84cdb7d2fbcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":587477,"id":"Q587477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333235$70DBD523-4F3B-468A-8982-3E6EB21E2E40","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":"Q1333235$BEA944A5-2D46-402C-92EE-5CA4FA065DC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73c90a8ee2e4af0e84e00770dd1204e26296954a","datavalue":{"value":"W2066287678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333235$4EAAD15A-A5DA-4E21-9DEA-F27C25E09DB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b0a22df6a28d22b4f7772e10aa44ce83a679708","datavalue":{"value":"10.1006/AIMA.1994.1051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333235$CE37468F-9E63-4735-865D-2B56A27356C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58835e08eabc87f51a42fceca9d1748aff57715e","datavalue":{"value":{"entity-type":"item","numeric-id":3030915,"id":"Q3030915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a674dc68857e32d86881cc63eb13e16d1f74d291","datavalue":{"value":{"amount":"+0.7948141694068909","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":"Q1333235$BDEE93DF-05FE-4E1C-9998-AA41BAE88829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda03eedaf542d7b5ae8f45e58e852e546775377","datavalue":{"value":{"entity-type":"item","numeric-id":1335096,"id":"Q1335096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066af654975fcdbdf8608a8085784634d42dc232","datavalue":{"value":{"amount":"+0.7692300081253052","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":"Q1333235$6C0B6600-929E-4356-8B97-F669EA5968CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab1035c0cf8f7f3e889ca01355c1f417f965f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1334939,"id":"Q1334939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8a46d376109cc66352679ace452da840c08295","datavalue":{"value":{"amount":"+0.7651290893554688","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":"Q1333235$8433591C-6CC1-4A91-990D-C19C57FB13D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c299ebbaeed276dd567264c18ba8a519ebf08d90","datavalue":{"value":{"entity-type":"item","numeric-id":2330304,"id":"Q2330304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b517e4cfd34f817e29509ef28697936d6e70280b","datavalue":{"value":{"amount":"+0.7617445588111877","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":"Q1333235$ABDAD916-FA2F-4782-A1D5-3634CC891CA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonical modules and Cohen-Macaulay types of partially ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonical_modules_and_Cohen-Macaulay_types_of_partially_ordered_sets"}}}}}