{"entities":{"Q1576299":{"pageid":1587039,"ns":120,"title":"Item:Q1576299","lastrevid":67942452,"modified":"2026-04-12T20:22:44Z","type":"item","id":"Q1576299","labels":{"en":{"language":"en","value":"Monoids for which condition \\((P)\\) acts are projective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491100"}},"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":"Q1576299$09F3F685-C60E-4A53-980D-909EF049F196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aa39d2de7bd00765a1f687670d0bf6ab795943d","datavalue":{"value":{"text":"Monoids for which condition \\((P)\\) acts are projective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576299$434B31F7-807D-4A48-B507-4F896D017E0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fd70419ec544c5e1dde0fe118469493f8b1a4d8","datavalue":{"value":"0957.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576299$507BE3A1-A9E4-43E3-A07B-E1918E3E245B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee64de62332d8d1add076cb85eeba8028fbf2449","datavalue":{"value":"10.1007/PL00006014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576299$CA14A47B-17EC-4BFA-8A34-5973835BEAAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef282d2528f6fe98cad6656be8f5f926f9b4aed0","datavalue":{"value":{"entity-type":"item","numeric-id":343486,"id":"Q343486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576299$5DAD9B25-3078-47B1-977D-420453365C54","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":"Q1576299$4E6F7D66-3DA3-48A9-8D21-BFB756D2785E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"751594203bc637c9523539b1699de34093fb9590","datavalue":{"value":{"time":"+2001-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1576299$584F7881-31FF-4190-B160-05DFD7445F98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1038e4ca42e16b6e570e444e856dbb4aae6b8727","datavalue":{"value":"Let \\(S\\) denote a monoid. The author defines a sequence \\(q_0,q_1,\\ldots\\) of elements of \\(S\\) to be left collapsing if \\(q_i=q_iq_{i-1}\\) for all \\(i\\geq 1\\) and he says that a submonoid \\(M\\) of \\(S\\) is strongly left collapsible if it has a generating set \\(F\\) of idempotents with the property that for all \\(x,y\\) in \\(M\\) there is an element \\(f\\) of \\(F\\) such that \\(fx=fy\\). A monoid is left collapsible if for any \\(p,q\\in S\\) there exists \\(r\\in S\\) such that \\(rp=rq\\).   The following conditions are used:   \\(FP_1\\): for every left collapsing sequence \\(q_0,q_1,\\ldots\\) of elements of \\(S\\) there exists \\(m\\) with \\(q_m=q_mq_i\\) for all \\(i\\geq 0\\).   \\(FP_2\\): every strongly left collapsible submonoid of \\(S\\) contains a left zero.   \\(A\\): is the ascending chain condition for cyclic subacts.   A monoid \\(S\\) is said to be right reversible if any two principal left ideals of \\(S\\) intersect.   The author proves (partially citing): 1. The following are equivalent: (i) All cyclic right \\(S\\)-acts that satisfy condition \\((P)\\) are projective, (ii) every right reversible submonoid of \\(S\\) contains a left zero, (iii) \\(S\\) is aperiodic and satisfies \\(FP_1\\) and \\(FP_2\\), (iv) \\(S\\) is aperiodic and satisfies \\(FP_2\\), (v) \\(S\\) is aperiodic and every left collapsible submonoid of \\(S\\) contains a left zero.   2. The following are equivalent. (i) All cyclic right \\(S\\)-acts that satisfy condition \\((P)\\) are strongly flat. (ii) \\(S\\) is aperiodic.   3. All right \\(S\\)-acts that satisfy condition \\((P)\\) are projective if and only if \\(S\\) satisfies condition \\((A)\\) and every right reversible submonoid of \\(S\\) contains a left zero.   4. If \\(S\\) satisfies condition \\((A)\\) and is aperiodic, then all right \\(S\\)-acts that satisfy condition \\((P)\\) are strongly flat.   An \\(S\\)-act \\(A\\) is said to be locally cyclic if every finitely generated subact is contained within a cyclic subact. Clearly, this is equivalent to saying that for all \\(x,y\\in A\\), there exists \\(z\\) in \\(A\\) such that \\(x,y\\in zS\\).   5. A right \\(S\\)-act X that satisfies condition \\((P)\\) is indecomposable if and only if it is locally cyclic.   6. Let \\(X\\) be a locally cyclic right \\(S\\)-act. Then \\(X\\) is strongly flat if and only if \\(X\\) satisfies condition \\((E)\\).   7. Every right \\(S\\)-act that satisfies condition \\((E)\\) is strongly flat if and only if the indecomposable right \\(S\\)-acts that satisfy condition \\((E)\\) are locally cyclic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576299$C3232B1E-CA13-4476-B663-3D57985132C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576299$1BACA1FA-EEEB-4836-A5F6-70CE39FECF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576299$70206FB3-848F-4632-AE03-91CD44DC0625","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b56e6393ea6954e94f6c1e60998c9d11877176c0","datavalue":{"value":"1491100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576299$EAFF56E8-127C-4C53-849A-9CAA5D95AAB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fc285972c6d3de0de19e5889d829bacc3bf1602","datavalue":{"value":"collapsing sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576299$C036FD31-B5A6-4616-A007-C621FEC90D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ebaa1be99c569f6da99e6548857a8cec3ff18ea","datavalue":{"value":"collapsible monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576299$F41C7ADE-ADB2-41BB-98AB-61E01AC253CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9fa16c42277aa4dd10e9699dd427dfda1d9fea","datavalue":{"value":"projective acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576299$873EB408-2CA4-4563-9232-24244B5A8D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eeba829c29e89c781af9b83298820738f7be4a0","datavalue":{"value":"locally cyclic acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576299$F0271716-95C5-471A-B3D5-1E1E9F976613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968475a83bb5276e89d174449f2a0d432e5ba868","datavalue":{"value":"condition \\((P)\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576299$2DFDC48F-505D-424D-B4FD-34C06B37A561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeeb48b66a79570641398dd46d95b7ddacc9adeb","datavalue":{"value":"condition \\((E)\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576299$8D977F77-7538-4B6E-877A-14240BF1A9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f61a61ed1760fc20b39c8fb431e06409ad1921","datavalue":{"value":"strongly flat acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576299$B957EFDD-F8D8-4FDB-9C8D-2B06B9ABC6C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e4af3c816f7ac40605750dbfec22d9e5ba7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":207731,"id":"Q207731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576299$6A61DF6B-3C7B-4BB6-B7A9-2EB1B5F9D043","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":"Q1576299$5A82E98E-03FD-4A79-8911-B77DF3E6AF3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdb8a3c0958200e6ed1908ced274f516308a0cb0","datavalue":{"value":"https://doi.org/10.1007/pl00006014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1576299$489EE950-7BA9-4941-B78D-99E3669F88E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e2173bf521b443473d104e3fb9bf395f4d2bd93","datavalue":{"value":"W2017085773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576299$40CB4609-1C3B-467A-AEFF-264F9D534ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b170312316ba4a1c6a69dd0cebda8ad66e0300","datavalue":{"value":{"entity-type":"item","numeric-id":1910649,"id":"Q1910649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ea37806215e9d242264f5fca258b315862104b","datavalue":{"value":{"amount":"+0.9142757058143616","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":"Q1576299$964B9D42-2B61-4AE5-B446-4281EF63EAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fce55f18c75d6d34cb47104618ed3d994c191fbe","datavalue":{"value":{"entity-type":"item","numeric-id":1328443,"id":"Q1328443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8121587cfb573dee2f7e788a289ff21d44d59e6e","datavalue":{"value":{"amount":"+0.8829354047775269","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":"Q1576299$A4212065-4EA3-46C1-8015-EECF878197E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9aa33929cf60e4cfb6c95ff0a706e6ff8aea5e","datavalue":{"value":{"entity-type":"item","numeric-id":4487362,"id":"Q4487362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41c05ad5d54793a82c9e4c4ac8c2758ad32df32","datavalue":{"value":{"amount":"+0.8686285018920898","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":"Q1576299$F171FD77-5341-48BE-9F59-EC5DF486E325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958eb5eda64e2b6aba8428e2fc2c1fc23b291763","datavalue":{"value":{"entity-type":"item","numeric-id":3314059,"id":"Q3314059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22c608ca96f307be2f8f61e378fa8172458a09d","datavalue":{"value":{"amount":"+0.8666704893112183","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":"Q1576299$660DBE0B-DB8D-4985-ADDA-16DAB4C90496","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monoids for which condition \\((P)\\) acts are projective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monoids_for_which_condition_%5C((P)%5C)_acts_are_projective"}}}}}