{"entities":{"Q1208196":{"pageid":1218945,"ns":120,"title":"Item:Q1208196","lastrevid":47148385,"modified":"2025-12-31T20:17:41Z","type":"item","id":"Q1208196","labels":{"en":{"language":"en","value":"The commutative cohomology of nilsemigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166145"}},"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":"Q1208196$E195B7D8-04FB-426D-B3F2-36977310EE38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb1ab039b80a832c277ea00470b5a24e5948b82f","datavalue":{"value":{"text":"The commutative cohomology of nilsemigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208196$58D4754D-73CB-47F0-953C-C0629359E664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f91e7472c96f20b6f19f2687f2c808cc3d3c7aa","datavalue":{"value":"0796.20064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208196$79B56193-2986-47C4-8511-C0153A1F95CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fd56c86b3a09e106d9608b0a37dd9d1db45fbc2","datavalue":{"value":"10.1016/0022-4049(92)90170-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208196$EAF45FB2-788D-405B-8A2D-D6645DA8C9FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$6DFBBBD2-3D4B-43FE-BCA2-F1547076703D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208196$F7FFD4B9-2803-45BB-8575-6DCF45187F63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f1dcfd1031e62917dd2ae698e6d883d623b5760","datavalue":{"value":"Let \\(S\\) be a finite commutative semigroup. The category \\({\\mathcal H}(S)\\) is defined as follows: the objects of \\({\\mathcal H}(S)\\) are the elements of \\(S\\); a morphism from \\(a\\) to \\(b\\) is an ordered pair \\((a,t)\\) with \\(t \\in S^ 1\\) and \\(b=at\\); composition is given by \\((b,u)(a,t)=(a,tu)\\). An abelian group valued functor \\(A=(A,\\alpha)\\) on \\({\\mathcal H}(S)\\) consists of an abelian group \\(A_ a\\) for each \\(a \\in S\\), and a homomorphism \\(\\alpha_{a,t}: A_ \\alpha \\to A_{at}\\) for every \\(a \\in S\\), \\(t \\in S^ 1\\). A 1- cochain on \\(S\\) with coefficients in \\(A\\) is a family \\(u=(u_ a)_{a\\in S}\\) such that \\(u_ a \\in A_ a\\) for all \\(a\\in S\\). A 1-cocycle is a 1- cochain \\((u_ a)\\) such that \\(u_{ab}=\\alpha_{a,b}u_ a + \\alpha_{b,a}u_ b \\in A_{ab}\\) for all \\(a,b \\in S\\). A (symmetric) 2- cochain is a family \\(c=(c_{a,b})_{a,b\\in S}\\) such that \\(c_{a,b} \\in A_{ab}\\) and \\(c_{a,b}=c_{b,a}\\) for all \\(a,b \\in S\\). A 2-cocycle is a 2-cochain \\(s\\) such that \\(\\alpha_{ab,c}s_{a,b} + s_{ab,c}=s_{a,bc} + \\alpha_{bc,a}s_{b,c}\\) for all \\(a,b,c \\in S\\). A 2-coboundary is a 2- cochain \\(c\\) for which there exists a 1-cochain \\(u\\) such that \\(c=\\delta u\\), where \\((\\delta u)_{a,b}=\\alpha_{a,b}u_ a + \\alpha_{b,a}u_ b - u_{ab}\\) for all \\(a,b\\in S\\). Under componentwise addition these form abelian groups \\(C^ 1=C^ 1(S,A)=\\oplus_{a \\in S}A_ a\\), \\(Z^ 1=Z^ 1(S,A)\\), \\(C^ 2=C^ 2(S,A) \\subseteq \\oplus_{a,b\\in S}A_{ab}\\), \\(Z^ 2=Z^ 2(S,A)\\) and \\(B^ 2=B^ 2(S,A)=\\delta C^ 1\\). By definition, \\(H^ 2(S,A)=Z^ 2(S,A)/B^ 2(S,A)\\).   Now let \\(N^ 1\\) be a finite nontrivial commutative nilsemigroup with identity adjoined and let \\(F\\) be a finitely generated free commutative semigroup such that \\(N^ 1=F^ 1/{\\mathcal C}\\) for some congruence \\(\\mathcal C\\). The main result of the article proves that \\(H^ 2(N^ 1,A) \\cong MZ^ 1(F^ 1,A)/MB^ 1(F^ 1,A)\\), where \\(MZ^ 1(F^ 1,A)\\) and \\(MB^ 1(F^ 1,A)\\) are groups of minimal 1-cocycles and minimal 1- coboundaries, respectively. As an application, it is proved that for a finite commutative nilsemigroup \\(N\\), if \\(H^ 2(N^ 1,A)=0\\) for every abelian group valued functor \\(A\\) on \\({\\mathcal H}(S)\\) such that \\(A_ 0=0\\), then \\(N\\) is 0-free.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$B7378398-6FE9-4220-9492-D33CD79654CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208196$AEF6DAF8-23F9-4152-A9D5-44C07D7A6C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208196$026F7808-C171-45DA-9021-2615503EE223","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bed1132590deb9927ad0c46bd874ef76a8c8772a","datavalue":{"value":"166145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208196$A9496CAC-84A8-4359-861E-6AC67C684404","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02aaee060cfd5751bcd196b5de9d51e0a90cdb6b","datavalue":{"value":"finite commutative semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$EDE49193-273A-46C9-B9D9-8EB800D26D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4604f1cf19dccbc98a8cd6d1fe5ebb4037b1a5aa","datavalue":{"value":"group valued functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$6F1AAE50-15C7-4506-9461-64B6124BCD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8adf05f1c12f72b18c826c3b7ef8aaf578af2e0","datavalue":{"value":"1-cochain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$D5D41247-F29A-4178-A23B-7061FA22930E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b14d159e97ee5980df67b86b2e1fde4f0cc4343","datavalue":{"value":"1-cocycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$486CE30F-C07E-4773-B2BD-902BA2B6980B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308383eeee31babbc2aad2bd10cffeb3611f3e1a","datavalue":{"value":"2-cochain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$9BCC6E5C-BE63-4828-A747-8D116718284E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef43cd102e0e11ad57d65eca0bcdca4662cd36e6","datavalue":{"value":"2-cocycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$1B1E724D-FB94-4053-9AD1-30ED9D804C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65610e0bc48cfefd15cf24f500ab46296229c274","datavalue":{"value":"2-coboundary","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$323D9334-D1BD-42D3-8A7F-C67774246618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16a2c4c15bb0f765efb35d4de3b043a7d015715d","datavalue":{"value":"finitely generated free commutative semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$C62B86B6-F3FF-4B2B-B5AB-AC1F72159D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208196$17CBEB25-A9C7-4540-ACAC-4E1B78B4F421","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80c342b2a7ae633fce92ccff27233ca6637f2725","datavalue":{"value":{"entity-type":"item","numeric-id":172575,"id":"Q172575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$8AC34BB6-6904-4D58-8197-ABC7B4D540D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$A5CE36EF-BA39-4625-A7D1-690BCD521D3F","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":"Q1208196$01E0C5F2-4117-4A2C-A97C-C2785CC69E3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0682f9599ba48e1d0b02fd476854222fef965968","datavalue":{"value":{"entity-type":"item","numeric-id":2543825,"id":"Q2543825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$3E393B5A-CD03-4EA5-837F-3A91A1C45111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad334450c01fa8a4a9df76187ffb332724ab56e5","datavalue":{"value":{"entity-type":"item","numeric-id":1213517,"id":"Q1213517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$6ACD38E3-8120-4816-9556-BE112D4BF639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5539983d58fcadc8921e7093fbfca257af29e288","datavalue":{"value":{"entity-type":"item","numeric-id":1176626,"id":"Q1176626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$89EB4B38-C6F9-429C-A971-A4A0981CF952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e906e0623c516c3781500b897d29619a70c746d","datavalue":{"value":{"entity-type":"item","numeric-id":3986887,"id":"Q3986887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$D48B7461-DDA7-48FF-BFC4-F612A3C93BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2576c07793d7542286d9fe6cfeffbec3b5ab71","datavalue":{"value":{"entity-type":"item","numeric-id":4059108,"id":"Q4059108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$B074239D-DF39-49E8-BEEE-26E07A402111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa725ce46fad9d15b27181d8810c31ab4746893","datavalue":{"value":{"entity-type":"item","numeric-id":5727685,"id":"Q5727685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208196$433CD341-A07A-44E6-A4AE-C0D80C8C3E70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b203db6ef164180db49d8c5aebc83232e27d4f19","datavalue":{"value":"https://doi.org/10.1016/0022-4049(92)90170-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q1208196$6A295576-BE2E-4141-ABCA-393C5ECACFB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d27ff9c20f0246a5d65ff9499414471fc98dff10","datavalue":{"value":"W2033650384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208196$7E0DC5E3-6D65-4805-80A4-063EB093B884","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512669ef05244881707ecfb2963fe3c1e88c3455","datavalue":{"value":{"entity-type":"item","numeric-id":4849548,"id":"Q4849548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623e93948c5eb4f5db6c5bc8fc593d925cdd5c93","datavalue":{"value":{"amount":"+0.9169194102287292","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":"Q1208196$1DFA8D2E-F742-4A80-BF86-5F86517D5D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d3505616df93f14eb955e9d109a00cab41f82e","datavalue":{"value":{"entity-type":"item","numeric-id":2216515,"id":"Q2216515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fefc142d89dbdc2f2388306a3ce1b20c0b2656","datavalue":{"value":{"amount":"+0.9093607068061828","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":"Q1208196$8F00B1ED-58E1-48EA-981E-383A9DC0FD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9894b7051513924eb2d511edab495523174bd368","datavalue":{"value":{"entity-type":"item","numeric-id":4386986,"id":"Q4386986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b854f1e7154bb7974a0d25a8936f18e24f69547","datavalue":{"value":{"amount":"+0.8728888034820557","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":"Q1208196$250B0787-D500-4242-B393-F8BF9D75D307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15526e0082a2c317d11d7be53b7107f80a8bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":1176626,"id":"Q1176626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b854f1e7154bb7974a0d25a8936f18e24f69547","datavalue":{"value":{"amount":"+0.8728888034820557","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":"Q1208196$69FD6C45-7865-4DEA-829E-C7590CBFE89D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1208196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1208196"}}}}}