{"entities":{"Q790862":{"pageid":792710,"ns":120,"title":"Item:Q790862","lastrevid":64366425,"modified":"2026-04-11T19:23:08Z","type":"item","id":"Q790862","labels":{"en":{"language":"en","value":"A combinatorial fact about free algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3849302"}},"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":"Q790862$70B45CEA-5C7A-4931-89B1-6A3F607ED161","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a82cf45854f8bf0f7086c0d4a975a67502ab38f","datavalue":{"value":{"text":"A combinatorial fact about free algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790862$A8E7B5D0-0C4F-4FB2-B50B-6F727D1BD1FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1ef9d4fcf147c3bb45e0e071c3efac21726a8e1","datavalue":{"value":"0535.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790862$748C23B3-5748-4BBE-9B66-928E2E70B96C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b80d3c29c08568bcbfa8e4c600448e873ed58bc7","datavalue":{"value":"10.1007/BF02483717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790862$C3AE5AF9-1B30-476B-84AE-C043083AE159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e64e009c5b29c61a4b3361a7a032b4dde217928","datavalue":{"value":{"entity-type":"item","numeric-id":283126,"id":"Q283126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$FF702A23-E36C-41A4-8618-61AF016BEE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$046E0347-B873-467B-B009-4C2DB5698AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f102d6a7b9548f21d846b52398636e03987e09f6","datavalue":{"value":{"entity-type":"item","numeric-id":1210547,"id":"Q1210547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$D9E8C24D-5DB5-4282-A907-5E2002BA61A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b883998fcab9f621bbf3dc19b3bb0de36dd3a27d","datavalue":{"value":{"entity-type":"item","numeric-id":251978,"id":"Q251978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$57AC7858-F182-4B8C-878C-B2D493D85128","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$D798658E-768E-476E-95FE-9F98E07C0878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q790862$AAB0E11E-CF5E-4BC1-B674-7725D7FBF37F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1da764ce23bc269bb831933092608d40b34b7094","datavalue":{"value":"It is shown that every large subset of a free algebra A in a variety contains a large subset X which is homogeneous in a strong sense (i.e. every mapping \\(f:X\\to X\\) extends to an endomorphism \\(f^*:A\\to A\\) in a functorial way - \\((fg)^*=f^*g^*\\) and \\(1_ X=1_ A).\\) Consequences of this theorem are derived; e.g.: No free lattice with 0, lattice- ordered group, lattice-ordered ring etc, contains an uncountable set of pairwise disjoint elements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790862$760100B8-4E69-4A74-96EB-7F2EC203BD25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790862$DC082AEC-1944-424F-981C-7F739905DB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790862$C75D473F-30B0-443D-B974-977280301908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790862$38470EA7-A54B-4290-BDB1-40833702C8E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa4a987de75553347ff98d388585db499eea6361","datavalue":{"value":"3849302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790862$09400922-0D0D-4F44-A712-A935075BEAEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q790862$5EDD7CF3-6396-4DF0-AA9C-3F060412A115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ded5c0b41a439e361f414cc348fa9625d6b6d11","datavalue":{"value":"large subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q790862$32DCAA45-24B9-4527-8593-45390CB96B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q790862$6E2E0922-EF3E-4C41-B7E6-000A12411638","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5160355622f16f7db3af37439dc82dfda87a355a","datavalue":{"value":{"entity-type":"item","numeric-id":535117,"id":"Q535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$21DA2CFB-4E35-43AD-BA15-88377FFB7A09","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":"Q790862$1D02B789-6376-45B2-A899-398E4161866E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"234607143894cdb47ea2ac0c728c1777b46ff793","datavalue":{"value":{"entity-type":"item","numeric-id":5543729,"id":"Q5543729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$15F6A212-B135-44CA-A0FD-813E3F9BB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3c6f0610b3af754c97c51d53a0807cd96353d9","datavalue":{"value":{"entity-type":"item","numeric-id":792314,"id":"Q792314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$1190F8F3-FC60-45F9-8326-3AA4DBEBEB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7941d2ab9454064b2d340da457750947c1be52db","datavalue":{"value":{"entity-type":"item","numeric-id":4071786,"id":"Q4071786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$2210D22B-AC47-42CF-8764-27F6F776220A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc98b33e9a835a50512897138e07b56bd6f6bef","datavalue":{"value":{"entity-type":"item","numeric-id":3287337,"id":"Q3287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$34D16C37-12BA-474B-BD65-28240AA775E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60a488c2758935e07dbff1eead2b3f209021ce","datavalue":{"value":{"entity-type":"item","numeric-id":5341801,"id":"Q5341801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$A7E23EAC-4815-40E6-9F55-C1EB5B18697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69e0528bd0595b30a95e8bbf142985c1d45ac07","datavalue":{"value":{"entity-type":"item","numeric-id":1250231,"id":"Q1250231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$0C170D31-4159-40A9-AD8F-D7A39C877470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c4f9439658080b67b062ebfff651aa90c9b495","datavalue":{"value":{"entity-type":"item","numeric-id":5534266,"id":"Q5534266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$6F64F20D-D0E5-4C0F-BC0D-93CD70ECCBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$BAE33550-DB10-4507-930E-CB564CB5F9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5951667788bd8269b47727ee4f2e020600fdc362","datavalue":{"value":{"entity-type":"item","numeric-id":2561246,"id":"Q2561246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790862$4A14C306-094F-47D8-9177-607B34CFA170","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f585bc387e17e4ac97d306b57f96c8fa988fd6","datavalue":{"value":{"entity-type":"item","numeric-id":2449446,"id":"Q2449446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4dc2fc14d9dcec3c4f6e9617428082e7640bb1b","datavalue":{"value":{"amount":"+0.7848303318023682","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":"Q790862$57349525-C6B8-4512-9B72-BD9A7061C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54298e3f4d3ac380472030cf28c6544b9d1bc68","datavalue":{"value":{"entity-type":"item","numeric-id":584298,"id":"Q584298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d4798867511a6313e4b3fa0d37631386e6c6f7","datavalue":{"value":{"amount":"+0.7759829759597778","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":"Q790862$0B501685-6463-43D9-8E36-8E1731C05E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ebc2563db9ac3a4b6095a3b2d0bbb151287e24","datavalue":{"value":{"entity-type":"item","numeric-id":3676193,"id":"Q3676193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87c1dcc48f797373c54831d6657750ed6f3af8b","datavalue":{"value":{"amount":"+0.7623604536056519","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":"Q790862$EAD57586-C6C5-4841-B502-196300AD979A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4287b4fab97e8f4a8443b2f78f712752123dd56a","datavalue":{"value":{"entity-type":"item","numeric-id":1078593,"id":"Q1078593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddefe6272a0a9401b1c50dc1de5ebce22b5aa2b7","datavalue":{"value":{"amount":"+0.7612945437431335","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":"Q790862$8D6CFA35-5F77-4ECB-8DB2-64C5686F2396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33277531318095d207f8e71858e8e2fbea1e00","datavalue":{"value":{"entity-type":"item","numeric-id":1804800,"id":"Q1804800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026c2b03e740d8bfce72fc863e8fa8f2a48cc167","datavalue":{"value":{"amount":"+0.753707230091095","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":"Q790862$877ACD07-ABA9-4DB5-B778-B5C57D8024E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A combinatorial fact about free algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_combinatorial_fact_about_free_algebras"}}}}}