{"entities":{"Q1112180":{"pageid":1122929,"ns":120,"title":"Item:Q1112180","lastrevid":66752838,"modified":"2026-04-12T12:38:01Z","type":"item","id":"Q1112180","labels":{"en":{"language":"en","value":"A short proof that \\(\\hat S^+_ A\\) is finite if S is finite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4077570"}},"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":"Q1112180$E6CD5BDD-2468-4607-8912-0383CF343CEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f88851291db1b5facb3c3fcc5477051dc39a32d3","datavalue":{"value":{"text":"A short proof that \\(\\hat S^+_ A\\) is finite if S is finite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1112180$83D9D773-9415-4FDA-9789-522E715E938C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd7ce8804b03d6a664a8d712167b6a8450c59722","datavalue":{"value":"0659.20049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112180$98A9F3AB-6F9C-41D1-AE1C-9A4E840DA536","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d774b06980c71e1ee1b9095a634ec87bff0e1a2f","datavalue":{"value":"10.1016/0022-4049(88)90045-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112180$082AA48F-578E-4555-8FB6-75DD0E25B9B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112180$6CAF2AF4-4D85-4994-AA45-93CF54535B9C","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":"Q1112180$A8CDE9BD-0C04-48E2-A2B0-50B276260445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1112180$F9FC37C5-143E-4845-AE6B-ED232A12C469","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e16c5658a258ba335304ecce29323b54ddd668d6","datavalue":{"value":"Let S be a finite semigroup generated by a finite set of generators \\(A\\subseteq S\\). Denote with \\(\\hat S^+_ A\\) the projective limit of the chain of surjective morphisms \\(...\\twoheadrightarrow S_ 1\\twoheadrightarrow S_ 0\\twoheadrightarrow S\\), where \\(S_ 0=\\hat S^ L_ A\\), \\(S_{k+1}=\\hat S^ R_ k\\) for k even and \\(S_{k+1}=\\hat S^ L_ k\\) for k odd. A short proof of the following result of \\textit{J.-C. Birget}'s is given: \\(\\hat S^+_ A\\) is finite if S is finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112180$950CE476-4817-452F-8074-F51838366A9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112180$12297AB1-0250-4FA4-944E-6F3A0CC2FE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112180$373E99ED-A432-4AC0-9928-931FC427551A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1f24ede1c34f4acaaaace2b7639c4ccb9e90ddd","datavalue":{"value":"4077570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112180$AAA012FD-D0A2-4CF3-95C5-59B858DDEFDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61a753fd0d1c0549103d8d7db57608bf69c9a6f5","datavalue":{"value":"Rhodes expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112180$E9659366-9AAB-4CE9-969A-C3A71610DFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112180$6229E63C-8B87-45E2-B448-745918662BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112180$6619ED50-2B25-4FEE-9A78-A68954F43D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd617c003bf13ed2c26464de9e0ff07118ebe39","datavalue":{"value":"projective limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112180$81133D3D-420D-40D1-A389-358613C646B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6539c396e9869bcb84f18caa9b00ffce94b74f1","datavalue":{"value":"surjective morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112180$FDD8C8E6-1301-46EB-BBB5-8A9CC45E9A40","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":"Q1112180$5A31D992-62AD-476E-A974-BB8393341AC5","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":"Q1112180$D4C9C75B-D53B-4826-A8BE-FFDFD51B4074","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9a5b377e368bc3aa52a8373dbf1b1c1e128aa8","datavalue":{"value":{"entity-type":"item","numeric-id":798782,"id":"Q798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112180$A693F71A-5560-4266-88B6-E385DCDCD60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051caf409f29b6b446933f3b373adf3aca297222","datavalue":{"value":{"entity-type":"item","numeric-id":3778927,"id":"Q3778927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112180$57E18AF6-3E58-4734-92DF-3A027673D4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfbcd8734c0f1638bb06bfa822c9d30b2173eefb","datavalue":{"value":{"entity-type":"item","numeric-id":2544204,"id":"Q2544204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112180$B434EB40-506F-4235-BC90-7CFF361E1F71","rank":"normal"},{"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":"Q1112180$9C8C067A-BA60-4CC6-BA96-374AD98D2DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112180$84BFA4B0-C578-4291-ACF7-BAD91C431535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154e9c7c699ab036fc5b6881c558adf24d91ec1","datavalue":{"value":{"entity-type":"item","numeric-id":580507,"id":"Q580507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112180$F068AACA-F40F-4317-80B7-3312F9E070B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5f73fe713e17e6353d6597c20918ddc0dfccd8","datavalue":{"value":{"entity-type":"item","numeric-id":3677937,"id":"Q3677937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112180$3E1C053D-EC06-4A4F-9EB9-C3A2F6A25CA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4ff507fa18de1501ca3c85bb7ab1eb66d142190","datavalue":{"value":"https://doi.org/10.1016/0022-4049(88)90045-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1112180$EEA75AB6-DBFD-454B-BF4A-99DF7E8866CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dbc5d1d8b070de8a517ed4db5c5b0dad4ecc265","datavalue":{"value":"W1972790786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112180$53907449-3CBA-46C7-A97E-091DDA04036F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba205278ec9e6253fa60335ce80412ac4da1be3","datavalue":{"value":{"entity-type":"item","numeric-id":583377,"id":"Q583377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392d6d94d9f2ee06deb6b4347be6213ad4ef547e","datavalue":{"value":{"amount":"+0.7897624969482422","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":"Q1112180$B06E7E58-017C-4A44-B8F4-548A3409DFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26af01eefaa61e025d349096d39c160322ab27e4","datavalue":{"value":{"entity-type":"item","numeric-id":5903841,"id":"Q5903841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ce082fca58ad50a0b079facfbb94f50fccd718","datavalue":{"value":{"amount":"+0.7592487335205078","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":"Q1112180$9CF18616-E992-41A9-A49E-191244B0BA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033f8053152fed4cb2e5c997a175d0f89381fc62","datavalue":{"value":{"entity-type":"item","numeric-id":4860538,"id":"Q4860538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee5f9d0faf01f51ebb70e9d20efe5a52a50ed4d","datavalue":{"value":{"amount":"+0.7542812824249268","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":"Q1112180$A9C01CDA-2F54-46C3-BFF9-7C68C9A9F567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65c9d91f33c2a14a229ba8f4c2f921dbff61de6","datavalue":{"value":{"entity-type":"item","numeric-id":2491203,"id":"Q2491203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad829ad499aca0904a94a3c8f988dbfd2e7186f","datavalue":{"value":{"amount":"+0.7539098858833313","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":"Q1112180$7BA4046B-D49D-495D-BDFE-BB4267A816BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c9b974eccd44112071194b0593ff27b24db8da","datavalue":{"value":{"entity-type":"item","numeric-id":4379602,"id":"Q4379602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27d79696b1f1421cca8a0fc622865a137bd8f8b","datavalue":{"value":{"amount":"+0.7492844462394714","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":"Q1112180$DF58DA8D-9B70-453F-98B9-834BFA130D1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A short proof that \\(\\hat S^+ A\\) is finite if S is finite","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_short_proof_that_%5C(%5Chat_S%5E%2B_A%5C)_is_finite_if_S_is_finite"}}}}}