{"entities":{"Q1824042":{"pageid":1834784,"ns":120,"title":"Item:Q1824042","lastrevid":69076959,"modified":"2026-04-13T04:30:46Z","type":"item","id":"Q1824042","labels":{"en":{"language":"en","value":"A characterization of left cancellative monoids by flatness properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116828"}},"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":"Q1824042$0DF4650D-132B-4975-AA50-A9FE1A9211BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d7a4071a441cde145f1672df39aaa1094ea0093","datavalue":{"value":{"text":"A characterization of left cancellative monoids by flatness properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1824042$FDBE9E40-3C4D-4805-99E0-947146A82BB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c8b4eac8d25d7c6dae7eb9e6ef9d9a2b57fe54d","datavalue":{"value":"0682.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824042$43E62001-79CF-4FF2-8E6C-A29FC16CF22E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce1518424fb238cb62d10ac4a2b651c966770594","datavalue":{"value":"10.1007/BF02573256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824042$69B22F50-9275-4FF3-887A-439908E3C84B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40e37949ccc7ecba3c0f439b7dfb72a325c6fc68","datavalue":{"value":{"entity-type":"item","numeric-id":734983,"id":"Q734983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$F90B9654-DBD9-438D-9FB3-4662E4443F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd635eaa341f1b87c5a1b53ea4862f99c65938b5","datavalue":{"value":{"entity-type":"item","numeric-id":1112185,"id":"Q1112185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$3FE8FBD9-5D69-47BA-92E0-53A95408D931","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":"Q1824042$E24D5368-9BEC-4124-AE82-31100EF671F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1824042$EB217DDF-1652-4DD9-8519-69B041446B57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b63c71a142dea99bb9c2e13a577ab939bd495911","datavalue":{"value":"https://eudml.org/doc/135009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1824042$C36CDE6B-F09E-4EE6-A062-1049F2F333A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0bdce05035afdfebf39b6507fcbcf2635b1ef00d","datavalue":{"value":"Let S be a monoid. A left S-act A is flat if the functor -\\(\\otimes A\\) preserves embeddings of right S-acts, satisfies condition (P) if whenever \\(xa=ya'\\) then there exist \\(a''\\in A\\) and \\(x_ 1,y_ 1\\in S\\) such that \\(a=x_ 1a''\\), \\(a'=y_ 1a''\\), \\(xx_ 1=yy_ 1\\). A monoid S is called right PP if all its principal right ideals are projective (as right S- acts). It is proved that S is left cancellative if and only if it is right PP and every flat S-act satisfies condition (P).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824042$0CC2B7EC-5879-4316-A312-BB792A585F1A","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":"Q1824042$5DAB9518-5B07-4306-A302-986EBF47EEA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824042$FD07613F-D9E4-4922-B078-1116C0A58122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824042$E4618E17-B2E5-4BAB-96E0-D7AA8F2F5268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824042$8251BC0E-3A01-4723-8E2B-4ECB30CD2842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"417a17da2084ba813cdb3fda0123151656305700","datavalue":{"value":"4116828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824042$358B2922-CA7E-4D38-9701-1782E7061B2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824042$35BD02B0-788A-4F8F-B96D-2184B6F5ADD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87448587647951970f85d9d39f46feaee38910d2","datavalue":{"value":"embeddings of right S-acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824042$F40D10DB-92E8-48B0-91C8-70EA86CF5F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020ea4568bd289be1d165ebd0142f10be6ca5b61","datavalue":{"value":"principal right ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824042$42B771BF-A260-4072-8709-22D93F1FFCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c70afd9ec45f90ef1a26c1f549fbb8f561fb587","datavalue":{"value":"left cancellative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824042$AEC3B42A-B78E-4F81-8E8D-9C6F26A7A6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e62a7d766f8ee157f6e871be51d59c3498329e","datavalue":{"value":"right PP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824042$109ABE5E-F4D2-47F8-83A6-7C23BF876AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e013382f9f614384abf131e7667deb21c51f1931","datavalue":{"value":"flat S-act","type":"string"},"datatype":"string"},"type":"statement","id":"Q1824042$1FFEA43E-79CF-4473-A150-F79DA80844E8","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":"Q1824042$A43BBADB-8575-4E41-B8CB-17FAFB726FB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2843e06e57bf1f0d8d19a5a87909e343b1abe22","datavalue":{"value":{"entity-type":"item","numeric-id":1165956,"id":"Q1165956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$118E479A-6022-4EC9-9989-6BB1831F58DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e8c18238adaa92aa4031b6146f87472eee48d9","datavalue":{"value":{"entity-type":"item","numeric-id":3483479,"id":"Q3483479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$8825293D-9753-42A8-AA08-0E7C09CF256A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d149a971f51ef2817d9e1dae38346862d9ea0e2","datavalue":{"value":{"entity-type":"item","numeric-id":1236193,"id":"Q1236193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$72824915-A85A-435E-9978-C70159FBB103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052da99fb56d2433ddeaa979198e56011ff0f29f","datavalue":{"value":{"entity-type":"item","numeric-id":2562929,"id":"Q2562929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$867A3833-2792-4E6F-BEAB-13D25E3C7C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ea20bf40bebbc6d5143aa305c07856d1513902","datavalue":{"value":{"entity-type":"item","numeric-id":1073191,"id":"Q1073191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$6593C1FA-AB19-4547-A718-6BE4A6B57DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c13a457e162c921e06d8e26f6f63e3663a4b671","datavalue":{"value":{"entity-type":"item","numeric-id":1151467,"id":"Q1151467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$C1BD427F-439D-4EAF-9B69-2960ED554574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f253e9cb4cc2166c4bd162394cb1a548241cc3","datavalue":{"value":{"entity-type":"item","numeric-id":579435,"id":"Q579435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1824042$E1E23F2D-3F4B-41DE-B77E-159289CB69C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c99ef0b098ea26b14b0cc1f4292418bccf6be1dd","datavalue":{"value":"W2070182197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1824042$AB33A0DD-9583-448A-A53B-BC61A1BA90DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193120615b4d9f76b854311e5222c13c68a90b26","datavalue":{"value":{"entity-type":"item","numeric-id":4392642,"id":"Q4392642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a49080df4b9932e5890d18f5e70afa1c2970658","datavalue":{"value":{"amount":"+0.85804283618927","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":"Q1824042$14ED9C1F-CF55-4D79-9922-58A354C53A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb0fdf43b26e1e7447b11b6bf8955c338567dab","datavalue":{"value":{"entity-type":"item","numeric-id":4494728,"id":"Q4494728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a49080df4b9932e5890d18f5e70afa1c2970658","datavalue":{"value":{"amount":"+0.85804283618927","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":"Q1824042$9176179D-8A5E-4F82-B925-321DF0B7EE51","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":"5ea67506d3a5a9fb507699337cb6e50028fbdcdf","datavalue":{"value":{"amount":"+0.8489866256713867","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":"Q1824042$2FE8D52A-77D9-485D-B2E7-370619AB535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5bd2886f649d924031122aae84590bd4a2a9d1","datavalue":{"value":{"entity-type":"item","numeric-id":1921363,"id":"Q1921363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf517c134ba23be2c9bd911d1dff5b5deac308c","datavalue":{"value":{"amount":"+0.8458303809165955","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":"Q1824042$36BC78F2-27C0-4018-958E-93B739C3EBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2907c5ad7935a8e539cfb10c62e91fb7e2ae267a","datavalue":{"value":{"entity-type":"item","numeric-id":818947,"id":"Q818947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7eb510c6d0a216e9a87df56e148e9be20151d5","datavalue":{"value":{"amount":"+0.8405995965003967","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":"Q1824042$57C453BE-FB77-4611-BEBF-95F23876911A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of left cancellative monoids by flatness properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_left_cancellative_monoids_by_flatness_properties"}}}}}