{"entities":{"Q1421247":{"pageid":1431987,"ns":120,"title":"Item:Q1421247","lastrevid":68663250,"modified":"2026-04-13T01:16:42Z","type":"item","id":"Q1421247","labels":{"en":{"language":"en","value":"Every finite semigroup is embeddable in a finite relatively free semigroup."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2032640"}},"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":"Q1421247$C4479B9D-FFCB-4A2D-ACD7-D99830BAA1FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d8af3ffce6e32dbbf8883f5b79339301db37f35","datavalue":{"value":{"text":"Every finite semigroup is embeddable in a finite relatively free semigroup.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1421247$89965756-717B-4403-8C48-69BC51139796","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15b68b0c672030bf5c528acfff93dc13b53a107b","datavalue":{"value":"1039.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421247$4DEFE8B5-A526-4220-87BD-E6475F76BAE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ef2fd1077869a9f1e480bf97b97993d43e1ab76","datavalue":{"value":"10.1016/S0022-4049(03)00126-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421247$107C2DD1-0AAF-471A-8F38-CDAEB196C2B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1204aadee02121ad3182e79e1036605f581a6e","datavalue":{"value":{"entity-type":"item","numeric-id":351796,"id":"Q351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$E26782CD-D0B5-4797-83A8-1FA542369463","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":"Q1421247$A75693A9-740B-4DDC-A30E-98A9697E61B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e6ca76d2d6c8f7df312347f2dc2e17a127ea4ee","datavalue":{"value":{"time":"+2004-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1421247$83385418-88BD-4000-AC9E-BDE6CDA80489","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d2e9eef42e6d0decdd5123037e53113c6d3eec8","datavalue":{"value":"This paper gives a very clear proof of the result stated in the title, and gives an example to show that the relatively free group does not always belong to the variety generated by the semigroup under investigation. The analogous question for infinite semigroups is investigated. It is shown that a finitely generated semigroup which satisfies a law of the form \\(\\xi^d=\\xi^{2d}\\) can be embedded in a relatively free group satisfying a similar identity, but there exists an uncountable semigroup satisfying \\(\\xi^2=\\xi^3\\) (and thus \\(\\xi^2=\\xi^4\\)) which cannot be thus embedded.  A finite group can always be embedded in a finite relatively free group, because every finite simple group is a direct factor of a relatively free group of the variety it generates, and every finite group is embeddable in an alternating group. Surprisingly, the analogous result for monoids does not hold, for a finite monoid \\(M\\) is embeddable in a relatively free monoid if and only if either 1 is the only invertible element in \\(M\\), or \\(M\\) is a group. In each case the relatively free monoid may be taken to be finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421247$7200C6BE-91E0-414E-B088-FBE92FD0C24E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421247$15B30F06-EF7C-4B44-9A33-8C5D75D6D532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421247$10309872-418E-4C77-A16E-B91CEE03CBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421247$30F52FD3-9DB1-474D-A0D7-AF0E7DB4C6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421247$1B88221D-12A5-4F37-B552-135EB494B25D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae52b75f34ba94cb2f68f7baaa30a1caa65c55d1","datavalue":{"value":"2032640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421247$505DBC4A-FEC9-4D97-8145-EECA10066B27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421247$B83462B5-5216-4999-B095-CC07C153D4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f53e2ace07ab1897e003a3d6534bb4f95832321","datavalue":{"value":"relatively free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421247$5C5ECEB8-0C25-4EA7-B26D-3A003517F95B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$C28C7584-07C2-427D-9120-83FBEF04CC3B","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":"Q1421247$6ED63E00-1F85-4A80-82C8-BE0EAB925A68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f7f3e8f80f8bfb0b7ebc4676e47dbfb61ca402","datavalue":{"value":{"entity-type":"item","numeric-id":4063646,"id":"Q4063646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$90DDF9B0-E7B9-4A04-99BE-91E4B4DF4F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$98C03D76-CA38-4DCD-AB49-F3A5FEE00C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402d5c1cae6a34318585c22b06baf5c071795384","datavalue":{"value":{"entity-type":"item","numeric-id":5545982,"id":"Q5545982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$D4A84281-2063-4BFA-90D0-79ECF05390EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7873227df2f7be888da90e7111f87b2aea2b8","datavalue":{"value":{"entity-type":"item","numeric-id":1771941,"id":"Q1771941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$1CE24EC3-3B13-44B8-BF26-D72F6EDB2F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d91af4c0ac2900e53cae10e8db9e393340ca32","datavalue":{"value":{"entity-type":"item","numeric-id":2653273,"id":"Q2653273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$2481A5D3-BE85-404F-99A5-099AD60B8979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83a5442c083262defd6e6ece6e8ebe5149a49a8","datavalue":{"value":{"entity-type":"item","numeric-id":5570932,"id":"Q5570932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$E2AD6508-BD97-47F6-82FE-AE4F0E86A32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"048ab355c67d836ca687077883cc20c2d3dd6879","datavalue":{"value":{"entity-type":"item","numeric-id":3293439,"id":"Q3293439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$4BF3C7AA-1C1E-4352-B081-F39A4AFD7039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad8643cf2a646d0d700aa2cdb427a9790787a6","datavalue":{"value":{"entity-type":"item","numeric-id":5302760,"id":"Q5302760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421247$9FE36A31-E1CD-43EB-8743-7A1FCF1FF9D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490873369a28991e46e7e1a3d64a395e1f70f50b","datavalue":{"value":{"entity-type":"item","numeric-id":2438925,"id":"Q2438925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f584026d3e5f5621f0bbdd1407f1b077ff74ed62","datavalue":{"value":{"amount":"+0.819981038570404","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":"Q1421247$4E191182-7B87-4485-A62A-8183651C280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f4aa036491ace4ddc9b1c8811b40aa1381a968","datavalue":{"value":{"entity-type":"item","numeric-id":1910273,"id":"Q1910273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34493eb7b63843525d073561d2cd9fc3e0a1952","datavalue":{"value":{"amount":"+0.8136688470840454","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":"Q1421247$544AD19A-99EC-4443-A63C-B6BC6E5861AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144c11672db9ba893b381d8d96f99d7129084b9f","datavalue":{"value":{"entity-type":"item","numeric-id":5931532,"id":"Q5931532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13412a2c2f202f00f3fb0e5fb59162fb1e988c96","datavalue":{"value":{"amount":"+0.8052573800086975","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":"Q1421247$D9E86DA6-254C-44B7-8096-8BA9AE7ED44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff17f0553a98e3944d81f5110d5d92a49d008067","datavalue":{"value":{"entity-type":"item","numeric-id":5962334,"id":"Q5962334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de8c69084c7bc180f900bc7c03f742a008dc89c","datavalue":{"value":{"amount":"+0.795566737651825","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":"Q1421247$846A003E-CF22-48AA-8D3C-88292EE298A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad7f94d50df303f4811123edef6b25d866fe740","datavalue":{"value":{"entity-type":"item","numeric-id":914849,"id":"Q914849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f766d59a94c71b855ec37eef18e60da48491b6","datavalue":{"value":{"amount":"+0.7948898673057556","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":"Q1421247$08E1687C-1593-4858-8CD4-D4679555132E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every finite semigroup is embeddable in a finite relatively free semigroup.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Every_finite_semigroup_is_embeddable_in_a_finite_relatively_free_semigroup."}}}}}