{"entities":{"Q2469115":{"pageid":2479858,"ns":120,"title":"Item:Q2469115","lastrevid":73420641,"modified":"2026-04-14T15:53:34Z","type":"item","id":"Q2469115","labels":{"en":{"language":"en","value":"Some results on embeddings of algebras, after de Bruijn and McKenzie"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5231938"}},"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":"Q2469115$9F8FC31B-0A99-4488-B8D1-F4873C8542C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc2ca80e243b9b2ba51f72e8e7f6ba7a8103d1d0","datavalue":{"value":{"text":"Some results on embeddings of algebras, after de Bruijn and McKenzie","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2469115$4C84E9AA-691D-4D33-A450-751DF17604F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26c54ef3478a6492f76e7915a282a5e8569598e9","datavalue":{"value":"1130.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469115$F6EC0F27-F49B-4B59-A964-06857A41677F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f74981ae7cb67e1aaf3a70a897a6225378724072","datavalue":{"value":"10.1016/S0019-3577(07)00018-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469115$E0B13DB8-5B87-4D10-9F65-7E2CF7DAF238","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":"Q2469115$18829163-3CA1-44B2-9907-E476CB3B4AA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$4A132399-A033-4141-A517-7109B57926D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7d92ceb78f78f49389a1027568ad4fd3f39cc02","datavalue":{"value":{"time":"+2008-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2469115$81565500-208C-40C8-B63B-37B3D2053DEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dbce3116ebdf500ef3e9c12bd7bd3781ea9e9f4","datavalue":{"value":"https://arxiv.org/abs/math/0606407","type":"string"},"datatype":"url"},"type":"statement","id":"Q2469115$70B6D844-7783-49A6-AE25-AF0BE38F50E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0eb3d6f55506ac1fcbb78a4f8077561353eb67bf","datavalue":{"value":"In 1957, \\textit{N. G. de Bruijn} [Nederl. Akad. Wet., Proc., Ser. A 60, 560--569 (1957; Zbl 0079.02802)] showed that the symmetric group Sym\\((\\Omega )\\) on an infinite set \\(\\Omega \\) contains a free subgroup on \\(2^{\\text{card}(\\Omega )}\\) generators, and proved a more general statement, a sample consequence of which is that for any group \\( A\\) of \\text{card}inality \\(\\leq \\text{card}(\\Omega )\\), the group Sym\\((\\Omega )\\) contains a coproduct of \\(2^{\\text{card}(\\Omega )\\text{ }}\\)copies of \\(A,\\) not only in the variety of all groups, but in any variety of groups to which \\(A\\) belongs.   In this paper, his key lemma is generalized to an arbitrary variety of algebras \\(\\mathbf{V},\\) and formulated as a statement about functors \\(\\mathbf{Set}\\rightarrow \\mathbf{V}.\\) From this one easily obtains analogs of the results stated above with group and Sym\\((\\Omega )\\) replaced by monoid and the monoid \\(\\text{Self}(\\Omega)\\) of endomaps of \\(\\Omega\\), by associative \\(K\\)-algebra and the \\(K\\)-algebra \\(\\text{End}_{K}(V)\\) of endomorphisms of a \\(K\\)-vector-space \\(V\\) with basis \\(\\Omega ,\\) and by lattice and the lattice Equiv\\((\\Omega )\\) of equivalence relations on \\(\\Omega\\). It is also shown, extending another result from de Bruijn's 1957 paper, that each of \\( \\text{Sym}(\\Omega ),\\text{Self}(\\Omega )\\) and \\(\\text{End}_{K}(V)\\) contains a coproduct of \\( 2^{\\text{card}(\\Omega )\\text{ }}\\)copies of itself. That paper also gave an example of a group of \\text{card}inality \\(2^{\\text{card}(\\Omega )}\\) that was not embeddable in Sym\\((\\Omega ),\\) and R. McKenzie subsequently established a large class of such examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469115$06F79CEE-8878-4966-BE3A-AFBF0477DB96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469115$17D9AE7D-207D-4FA9-9448-F97F871B8041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469115$3886DCCB-D653-4F85-9BA7-9F61117007BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf690699af9e3ba4349ed9aff12364533431dfd7","datavalue":{"value":"5231938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469115$0388FDF5-D103-487A-B286-10E074DFCE12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469115$D2B4568E-A95D-444F-8E72-675990702014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469115$194CB6B0-17E8-4DD8-A643-A84826054786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f4cfd4a958deb480103d890b903a5a6f092be3","datavalue":{"value":"lattice of solution sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469115$26A19D91-C5AE-48DB-9A11-C278BC84D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0e37e0634b0157bc43fc219832b4382c3e82c7","datavalue":{"value":"associative \\(K\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2469115$B156B534-A7AA-4867-B7E0-553BFED32FDB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$FF303DE4-F975-46DA-A585-E5674D4E4722","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":"Q2469115$69C86D4B-24C2-45A0-B692-641AF0C188CE","rank":"normal"}],"P223":[{"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":"Q2469115$29B1B821-AC73-4815-8F7E-F51734A8E4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20682c091bd24b87c5e35df22a6ee23a682fea9d","datavalue":{"value":{"entity-type":"item","numeric-id":4239318,"id":"Q4239318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$1FB3485E-ABF4-44A1-BB00-E5443C5834BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60374cf7dc89c8a10ce1b39fefae32c703b35f66","datavalue":{"value":{"entity-type":"item","numeric-id":5481500,"id":"Q5481500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$B112C345-CF2E-436C-8381-F0C9DF7A4CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da703a02aecf473d10afa1c1b0c8eaabe2e31bd","datavalue":{"value":{"entity-type":"item","numeric-id":3436161,"id":"Q3436161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$B9773033-720A-45FC-B6E5-A84C0E6CFC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba9121402781eea170586e86bf6fd1ec8cee6f9","datavalue":{"value":{"entity-type":"item","numeric-id":861597,"id":"Q861597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$F6031E26-4F50-497F-ABC4-51FCE8764369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c00c9eb8f6b01fbca0924d26d7a574e626ffa4","datavalue":{"value":{"entity-type":"item","numeric-id":3246392,"id":"Q3246392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$BA4A7E1D-9291-45DC-A0D4-E1036FF4D699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb85c7de239a4f31f13a63434e6faf7738b5470d","datavalue":{"value":{"entity-type":"item","numeric-id":5733572,"id":"Q5733572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$A65AC592-F2E7-42E1-86AE-D93249A38F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4db5863d803aa0f59aca37307098e7c78c995e","datavalue":{"value":{"entity-type":"item","numeric-id":1277020,"id":"Q1277020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$8C755F07-3374-49AB-855F-5EE0DA0CA5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b3f66f816e2ea510dc26503fdb1fb3a5e0b73","datavalue":{"value":{"entity-type":"item","numeric-id":4677845,"id":"Q4677845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$2CEC2B59-A8BF-4142-A0DC-72CA4C8ABBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4726eb07a1f2ce58db7d894d4a6c378995b3e1e6","datavalue":{"value":{"entity-type":"item","numeric-id":5692986,"id":"Q5692986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$ACB3B73F-1F82-40C0-B62D-2E76C00B5437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6dd6ba1f374c3dd1ba3882b7e9804832bc4ee2","datavalue":{"value":{"entity-type":"item","numeric-id":3137425,"id":"Q3137425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$7A498871-47C3-45CD-A1BC-1E9BA9D11626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf60210fe9151a5e9faa5173d4b2c2617a8a581","datavalue":{"value":{"entity-type":"item","numeric-id":5822102,"id":"Q5822102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$4D9FEC5D-F705-43FC-83FB-5CF59AC3D49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea70696f7bf390ae8163d05ecdeddc1e2ab7fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3242211,"id":"Q3242211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$8B8BDC27-D64F-46FD-B36E-39704A625E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$35ECB19A-3546-41F8-9663-3377B1A9069C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2df5113c64724619398f777a1fc3c207774ebc9","datavalue":{"value":{"entity-type":"item","numeric-id":5622428,"id":"Q5622428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$9C960A72-2D19-4784-940E-92729448BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520df82149b877fa6f48331d45b5c06f827ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2554696,"id":"Q2554696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$87EC1B60-FAF2-4843-8768-360A174AE74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae62910df2bd470c376c77aea6bfdceb389c4360","datavalue":{"value":{"entity-type":"item","numeric-id":5834631,"id":"Q5834631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2469115$0C4239D8-9340-4203-936A-4AFD840B9F47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4a7701e7704e36dfe7b33111f2a1c560acb8573","datavalue":{"value":"W2119717824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2469115$BC819A50-084E-4F6A-929B-9CE6A35807D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4533ba796ea8663385ec5a09735fd6f11cc159c7","datavalue":{"value":{"entity-type":"item","numeric-id":3794374,"id":"Q3794374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c876343d680fdbcb6673c89ab6f991420ce6a79e","datavalue":{"value":{"amount":"+0.7673373222351074","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":"Q2469115$5BBE79BA-0509-444F-9F14-7E3DA047989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404c2b14c2b2c12033f7c619494ed43b7fed9df6","datavalue":{"value":{"entity-type":"item","numeric-id":3548501,"id":"Q3548501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a355316cefc02801d0df17934735f46d7f5ce4f5","datavalue":{"value":{"amount":"+0.7561324834823608","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":"Q2469115$D11432E1-1BF2-4528-939E-B90A5688834F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68517bd094d6524044248ae8ad25afaa1a25d705","datavalue":{"value":{"entity-type":"item","numeric-id":3137425,"id":"Q3137425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4beb48287baf9f4f4ecab1d64756fecfd9ae28","datavalue":{"value":{"amount":"+0.7275742888450623","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":"Q2469115$659043FC-3D35-48EE-9D35-8712520F2B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163d8a37156036208f069a3361e8cc9940a7f534","datavalue":{"value":{"entity-type":"item","numeric-id":790862,"id":"Q790862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4927ba63adf820ac7bf23776d870cf8e5244a16d","datavalue":{"value":{"amount":"+0.7241132855415344","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":"Q2469115$54EEE57F-635B-4345-BCA8-67A7CCBD179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bed21b3922ef2a263d867412f59737b723e77a","datavalue":{"value":{"entity-type":"item","numeric-id":1369254,"id":"Q1369254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9259dddec04055e2555a0f93780a0265f94ad955","datavalue":{"value":{"amount":"+0.7177370190620422","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":"Q2469115$386552B4-2918-49AA-B427-28523F71C0D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some results on embeddings of algebras, after de Bruijn and McKenzie","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_results_on_embeddings_of_algebras,_after_de_Bruijn_and_McKenzie"}}}}}