{"entities":{"Q5930167":{"pageid":8106969,"ns":120,"title":"Item:Q5930167","lastrevid":47598361,"modified":"2026-01-02T04:35:10Z","type":"item","id":"Q5930167","labels":{"en":{"language":"en","value":"The Berman conjecture is true for finite surjective semigroups and their inflations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587491"}},"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":"Q5930167$F3022073-12CB-4BE8-BE0E-DE80593A0810","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1acc29d1ec23d42451362c7aa013fd31801c2531","datavalue":{"value":{"text":"The Berman conjecture is true for finite surjective semigroups and their inflations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930167$84B46DF8-8E4F-4A38-B396-06CBA9D490F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"170a314a5e17ad0ae532325f98c57b29c5fc71bf","datavalue":{"value":"0981.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930167$D79C6E54-0E0A-4F40-9209-8EA1C7A18565","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25213054239637bbfaf5bdba4d0290595880445","datavalue":{"value":{"entity-type":"item","numeric-id":309961,"id":"Q309961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930167$8B23DA56-F861-44F2-8620-59CB422041E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53947beb9dc5d675b932a5f73d81d12983fd0150","datavalue":{"value":{"entity-type":"item","numeric-id":342843,"id":"Q342843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930167$215BFA83-1D90-41A3-9876-C1662F44744D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd78d4bdb808fac2af34ccbd95e95e6e263f6f7e","datavalue":{"value":{"entity-type":"item","numeric-id":1330683,"id":"Q1330683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930167$DB23D3C5-C324-4183-B074-DBA686EDEE87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930167$D222BCCE-4CF2-4878-9518-DD401C610789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a5fea287356dcf1141fed6d397a8995573ab346b","datavalue":{"value":{"time":"+2001-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930167$65F189AE-5B27-4527-A556-949362C59FD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c03b95d3bcecc607f1922a8dda965a0d0c8f39cc","datavalue":{"value":"A semigroup \\(S\\) is called surjective if \\(S^2=S\\). For a positive integer \\(n\\) let \\(p_n(S)\\) be the number of all essentially \\(n\\)-ary term operations on \\(S\\). In 1986 J.~Berman formulated a conjecture, which claims that the \\(p_n\\)-sequence of any finite algebra is either bounded by a constant or eventually strictly increasing (this is called the Berman property).   The main results of the article are the following four ones. If \\(S\\) is a finite surjective semigroup which is not a union of groups then the \\(p_n\\)-sequence of \\(S\\) is eventually strictly increasing (Theorem 3.1). If a semigroup \\(S\\) is a union of groups which is neither a semilattice nor a rectangular band nor a Boolean group then there exists a non-negative integer \\(n_0\\) such that \\(p_{n+1}(S)\\geq p_n(S)+1\\) for all \\(n\\geq n_0\\) (Theorem 4.1). Let \\(S\\) be a finite semigroup and \\(Q\\) a semigroup with the following property: there is a positive integer \\(m\\) such that for all \\(n\\geq m\\) \\(Q\\) satisfies all semigroup identities in \\(n\\) variables which are satisfied by \\(S\\). If \\(V\\) is a subdirect product of \\(S\\) and \\(Q\\) then \\(p_n(V)=p_n(S)\\) for all \\(n\\geq m\\); in particular, if \\(S\\) has the Berman property, so does \\(V\\) (Theorem 5.1). A subdirect product of a finite surjective semigroup and a semilattice has the Berman property (Theorem 5.4).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930167$27A667F4-C301-4826-9C2A-62DD9ECB4630","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930167$F6960779-2F51-43B5-884F-975EF55DA63A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930167$B364F80A-D9B6-4D2D-B79B-D8C90A7B0FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930167$EABFD965-D2B6-464A-A420-2782BEFBB892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930167$904E0A0C-7A7B-47A2-89F9-A5E2C33B5AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f845cf86287316ad009c30c155413415266eee6","datavalue":{"value":"1587491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930167$B41F7511-E653-406B-B917-F2570B78EE51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d461d44d041562af58d59c79e241778531f282fb","datavalue":{"value":"term operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930167$7BE3C614-0092-46F1-88DD-725021335603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd0fef963ec306eaa6783209dd0ef8f97d53aa8","datavalue":{"value":"surjective semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930167$AF034E71-B8F9-4E84-971F-7AF54145D012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930167$04257C6F-2E75-4190-B45F-C5C25D2ADA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f1ac1bc72f3d558f38f3b73e2db3414ebdd5c6f","datavalue":{"value":"\\(p_n\\)-sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930167$EDF7C20C-58C4-4611-8F57-037426BE9DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04da6ba904590851b34f163faed8875aa20eff53","datavalue":{"value":"Berman property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930167$0DCEDF34-B384-4E78-9605-34FE1096268B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930167$00D481C2-7F37-4359-91E3-8A7A166E186A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bd6f51c365674a90d0d260086b5dddd33dc2970a","datavalue":{"value":"Q122898645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930167$A81476EE-8718-462E-B100-1EC97F1790F8","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":"Q5930167$C4D08072-6330-42E6-9AE0-70A9096B5EF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1e5bdec403290046495ca38b9dbbf3fe46ea0e3","datavalue":{"value":"https://doi.org/10.1007/s002330010010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5930167$28C9DA06-CF6B-4F37-8B2C-570C34F395B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f870a1b4a208c5e81b25c0f1f10163259ac40ce4","datavalue":{"value":"W2171697546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930167$3995C22C-1389-4F1C-8189-777DE921AA64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac4f483e3c744cfe42c42229df3b465750c0db4b","datavalue":{"value":"10.1007/S002330010010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930167$8427E7DD-F1A4-4A82-A5A4-333C8B62DF1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa65381e8e70e93b1bdef353af4e0409de9591b","datavalue":{"value":{"entity-type":"item","numeric-id":2707259,"id":"Q2707259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd040bfbb10fd30f38fd9c86d42852a77a22075","datavalue":{"value":{"amount":"+0.8703015446662903","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":"Q5930167$1CB827C8-1EAE-459E-88EC-2E626E482E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee719e71b6f850dec0be73bb1c4a84566ed1eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2583607,"id":"Q2583607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003cc4a180d79204c90d76d62f026f3f086e103a","datavalue":{"value":{"amount":"+0.8046185970306396","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":"Q5930167$A64CEEC9-B1E6-4C0F-9E4D-13F2A5AD6081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212057948182e02f5cda82e91e742855804c62fb","datavalue":{"value":{"entity-type":"item","numeric-id":5323910,"id":"Q5323910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50e5186015c5251d12ece5a78a56f1b049ac176","datavalue":{"value":{"amount":"+0.7332792282104492","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":"Q5930167$23DB195D-7558-4D14-AA71-7D1435B40D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6f1d5cb61d20cd6a36c395e07e27276f233dd7","datavalue":{"value":{"entity-type":"item","numeric-id":5931433,"id":"Q5931433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ae568bb5a6b289f7b32746728b44a0dbbb9800","datavalue":{"value":{"amount":"+0.7276050448417664","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":"Q5930167$F5AC82A0-9D20-4896-B24D-72DD9B00DC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1944382f91eae31f3f4e86be76ba3531c6bf73","datavalue":{"value":{"entity-type":"item","numeric-id":1802258,"id":"Q1802258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da608503303c522294544abb2b258811e4e596ec","datavalue":{"value":{"amount":"+0.7253583073616028","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":"Q5930167$7B016E7E-2CD6-4A68-8FD5-193AD6D942B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930167"}}}}}