{"entities":{"Q879230":{"pageid":881078,"ns":120,"title":"Item:Q879230","lastrevid":65044248,"modified":"2026-04-11T23:56:52Z","type":"item","id":"Q879230","labels":{"en":{"language":"en","value":"Completing commutative actions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5150260"}},"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":"Q879230$37E6E3AD-5175-4946-98EF-A557EAEC0A2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94b63c689c0b540368b49377dda313c4caf2a108","datavalue":{"value":{"text":"Completing commutative actions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879230$C2D709E1-8340-40A6-80A1-0D8B7566D98D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f017a04af2db1c2ee64610bd8ea54e818f7a6360","datavalue":{"value":"1123.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879230$36A02BEE-B5FF-497F-9E3C-21E46047A88A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879230$921B4DF4-73FD-43B6-B17C-A313290FEA43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ef68d2ac953bb6a5d4619876ccd47f691709c15","datavalue":{"value":{"time":"+2007-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q879230$5008454D-8D92-4FF5-904F-8AC65658FED9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"311d3993b0a670d098bb883d1a6f899d92d1cf1b","datavalue":{"value":"A commutative monoid \\(S\\) is complete when every Archimedian component of \\(S\\) contains an idempotent, and when there is for every \\(s\\in S\\) a least idempotent \\(e\\) such that \\(es=s\\). A commutative monoid \\(S\\) is subcomplete when it can be embedded into a complete commutative monoid \\(T\\) such that every Archimedian component of \\(T\\) intersects \\(S\\); in this case, \\(T\\) is called a completion of \\(S\\). A completion \\(T\\) of \\(S\\) is tight when \\(S\\) and \\(T\\) have the same identity element, every Archimedian component of \\(S\\) is contained in a unique Archimedian component of \\(T\\), and every \\(\\mathcal H\\)-class of \\(T\\) intersects \\(S\\). A Ponizovsky family is a certain partition of \\(S\\) induced by the set of all Archimedian components of \\(S\\). A tight completion of \\(S\\) which arises from a Ponizovsky family \\(\\mathcal P\\) of \\(S\\) is denoted by \\(\\widehat S_{\\mathcal P}\\). A tight \\(\\mathcal P\\)-completion of an \\(S\\)-act \\(X\\) is a complete \\(\\widehat S_{\\mathcal P}\\)-act \\(Y\\) such that \\(X\\subseteq Y\\), the inclusion mapping \\(X\\to Y\\) is a homomorphism of \\(X\\) into \\(Y\\), and every transitivity class of \\(Y\\) intersects \\(X\\). Given a Ponizovsky family \\(\\mathcal P\\) of a subcomplete monoid \\(S\\), the author defines a Prostak \\(\\mathcal P\\)-family \\(Q\\) of an \\(S\\)-act \\(X\\) and constructs an \\(\\widehat S_{\\mathcal P}\\)-act \\(\\widehat X_{\\mathcal Q}\\).   It is proved that if \\(S\\) is a subcomplete monoid (for instance, a finitely generated commutative monoid), \\(\\mathcal P\\) a Ponizovsky family of \\(S\\), and \\(X\\) an \\(S\\)-act, then every tight \\(\\mathcal P\\)-completion of \\(X\\) induces a cancellative Prostak \\(\\mathcal P\\)-family of \\(X\\). If conversely \\(\\mathcal Q\\) is a cancellative Prostak \\(\\mathcal P\\)-family of \\(X\\), then \\(\\widehat X_{\\mathcal Q}\\) is a tight \\(\\mathcal P\\)-completion of \\(X\\), which induces \\(\\mathcal Q\\). Moreover, it is proved that \\(X\\) has a tight \\(\\mathcal P\\)-completion if and only if the canonical map \\(X\\to\\widehat S_{\\mathcal P}\\otimes_SX\\) is injective. The canonical Prostak \\(\\mathcal P\\)-family turns out to be the least Prostak \\(\\mathcal P\\)-family.","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$607C6AE6-B2A6-4B09-B7A9-355FE3DA69AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879230$A192C808-09DC-44ED-9E9C-3130C065426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879230$4EB2D24C-54F6-4B57-B582-483B7119A8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879230$8ACE9981-A63A-4675-9D32-41C0AFF7CD11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d39ce4da9a21ec032c3bd528fbd4e70b4bf39143","datavalue":{"value":"5150260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879230$CFE0CFF0-975D-42CF-97C3-A62197BCCE21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e2da3fb4f0032f6572c1d123e5761f1aca11d2","datavalue":{"value":"complete acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$C09F79EB-3DF9-412C-8DCA-76D4A2AEA3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a0469e5d9a2de1a01598586e4d14ee0d8ea929","datavalue":{"value":"completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$084670D7-A4DB-4A3D-9849-AB43FEA472E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef1e19195088473bdf458a6e1e905c244d5cd66c","datavalue":{"value":"Prostak families","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$A8246B75-7B45-4E4B-B3E0-2B78AE32C093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06355ad43f249d5271c1b92c8d7573fb9753c28c","datavalue":{"value":"Archimedean components","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$ABF4AEF0-7B94-4072-89FF-BFC9ACF2E2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$DA347EC3-77E7-4AE0-A36F-0543D6FE78C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e754a3b113ca8f1965dab03bdfe8bd64ba784aef","datavalue":{"value":"complete commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$7DEEEE2D-B417-4E61-9F27-07BD5DD2F986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1309e31528ec052a751de7a5d3ccf6fbbd15e3d8","datavalue":{"value":"Ponizovsky families","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$713DCBE8-EB97-469C-9901-4EFDAD8AC279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e18708e71d4b0d400189a30bff3781747e4aae8","datavalue":{"value":"finitely generated commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q879230$7009639B-4CB8-4E1F-9DF4-07D0EB7E17CB","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":"Q879230$D148EE3C-B655-4147-AE53-947394640B93","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":"Q879230$34749BD2-67A4-4CB0-BF80-61FE6CD8ADC5","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":"Q879230$75F8A1D5-2C5D-4B3A-82DB-33FE2C7F2C23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e12fa2ac65bf4f9641f2043dd85210454b06266","datavalue":{"value":"https://doi.org/10.1007/s10474-006-0521-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q879230$665ADFA5-D736-4F56-9504-5A25BDD51ACC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62431982b0e6f3847771ae419da95c77372ae393","datavalue":{"value":"W2007547346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879230$B9A2492A-9796-4151-ADDD-E625BAEB45D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879230$EE9DCC45-8BCA-4680-8554-15C4E55A5F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bfca011816bdab6281903b89e98064ac559b14","datavalue":{"value":{"entity-type":"item","numeric-id":5966887,"id":"Q5966887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879230$418FA79C-0807-4C7A-82BF-8E9AF1BF05C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a49652883d76661160e7ba19e1be4e481111a37","datavalue":{"value":{"entity-type":"item","numeric-id":4415354,"id":"Q4415354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879230$B3A87650-32A5-4446-A394-C7F2D3554D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5801ad131301e12bd480bc693ffff04d87d53c72","datavalue":{"value":{"entity-type":"item","numeric-id":4815680,"id":"Q4815680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879230$0EF4D70D-F8DD-42D5-95B4-020351E4F872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba74e497534ca533063ea4e483c827097820fd8b","datavalue":{"value":{"entity-type":"item","numeric-id":5488119,"id":"Q5488119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879230$8CB0B26B-3068-4DC6-BEC3-CA598B07225C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adae1921add94d061d8d6d2e09fe733a7f8c995e","datavalue":{"value":{"entity-type":"item","numeric-id":879230,"id":"Q879230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879230$9A16CC03-4E00-4E62-A18A-30DF5B7FA482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879230$FE0EC68F-AF22-4C73-89D5-F92DBA0B1256","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52462920c1b5a1c21ff8ffcf55eb5ec936fe422a","datavalue":{"value":"10.1007/S10474-006-0521-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879230$68FBC507-5374-4937-AAE4-D51BF3973F8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dbac6a45d3127a12e6ca4ab3963b48c490236f","datavalue":{"value":{"entity-type":"item","numeric-id":3015737,"id":"Q3015737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a299eb50a5280ae8fbc889b107d244ec2be14829","datavalue":{"value":{"amount":"+0.7450128197669983","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":"Q879230$2648A071-FF7A-4FD9-82E4-65133134FF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c47a7e819621fc7a3e88d946f5490f5eb03d59","datavalue":{"value":{"entity-type":"item","numeric-id":1964726,"id":"Q1964726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66f36659d4cf00739531889977e59cc59afda3b","datavalue":{"value":{"amount":"+0.7400757670402527","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":"Q879230$3D907AAE-7F76-48EF-BF04-7586B330EAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2f6bff2e518812eb759bf8b979ee4cbecb3b52","datavalue":{"value":{"entity-type":"item","numeric-id":1097946,"id":"Q1097946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cba5c857097eac0a88178356918d9caec040239","datavalue":{"value":{"amount":"+0.7381301522254944","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":"Q879230$B4512E2F-C771-44ED-8FC6-A9C3D0440AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67eec48bfdd72492fb64e3864f509e0b228bbc44","datavalue":{"value":{"entity-type":"item","numeric-id":3720827,"id":"Q3720827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58895bb4d2e49b79e7a1c5c7612408ef6ad3561d","datavalue":{"value":{"amount":"+0.7368075847625732","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":"Q879230$C3B075F1-E5B9-4ABF-948D-0D27A619B011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebf3edaf0c375a2869aa78333dda8c30d072660","datavalue":{"value":{"entity-type":"item","numeric-id":2915378,"id":"Q2915378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faef3e1e8d36e30d7f70143d9aab1af2d62833fe","datavalue":{"value":{"amount":"+0.736417293548584","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":"Q879230$16AC93F6-996D-489F-8F4D-6D5AA0B488DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completing commutative actions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completing_commutative_actions."}}}}}