{"entities":{"Q359381":{"pageid":361148,"ns":120,"title":"Item:Q359381","lastrevid":51798131,"modified":"2026-01-20T02:25:42Z","type":"item","id":"Q359381","labels":{"en":{"language":"en","value":"Rational equivalence of algebras, its clone generalizations, and clone categoricity."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197562"}},"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":"Q359381$8E7ED897-9B21-4C90-B9A9-8426CB510F96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffcec903bb76130dacab04fcaf63ce08e50a5b8b","datavalue":{"value":{"text":"Rational equivalence of algebras, its clone generalizations, and clone categoricity.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q359381$8982D90F-368D-458E-9730-3ECCEAEB4AA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a4166c6f1a508f76934dbf9a884be2ba59d06bf","datavalue":{"value":"1329.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q359381$89A2FFC0-1266-46CC-A047-94B8E166D233","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e8b3b7eeb757f4d7b76e1bf2de841ce54085864","datavalue":{"value":"10.1134/S0037446613030178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q359381$94D8DF7E-7F2A-4C1E-B57B-57205C608D49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$85E50B68-92A5-47BC-BD42-B7927A79A630","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$ED8A3BE9-9E8E-4EED-BBFA-7AF692AEE0B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q359381$DC02913B-97E6-41E3-9511-678B21446713","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a157231df97c938203d640847fd090e7a726804","datavalue":{"value":"A \\textit{clone} on a set \\(A\\) is a set \\(F\\) of finitary functions on \\(A\\) closed under superposition and containing all projections. If \\(\\mathcal A\\) is an algebra with base set \\(A\\), then the set \\(\\mathrm{Tr}(\\mathcal A)\\) of all term functions of \\(\\mathcal A\\) is a clone on \\(A\\) (and, clearly, every clone on \\(A\\) is of this form). Two algebras \\(\\mathcal A\\), \\(\\mathcal B\\) (not necessarily of the same signature) are called \\textit{rationally equivalent} if there exists a bijection \\(\\varphi\\) between the base sets \\(A\\), \\(B\\) of \\(\\mathcal A\\), \\(\\mathcal B\\) such that \\(\\{\\varphi(f(\\varphi^{-1}(x_1),\\ldots,\\varphi^{-1}(x_{n_f})))\\mid f\\in\\mathrm{Tr}(\\mathcal A)\\}=\\mathrm{Tr}(\\mathcal B)\\), where \\(n_f\\) denotes the arity of \\(f\\). (This concept was introduced in 1958 by A.~I.~Mal'tsev and is also known as ``weakly isomorphic'' or ``cryptoisomorphic''.)   In the paper under review, the concept of rational equivalence is modified in such a way, that four other clones on the base set \\(A\\) of an algebra \\(\\mathcal A\\) are considered. One of them is the clone \\(\\mathrm{AO}(\\mathcal A)\\) of all functions commuting with the \\textit{inner isomorphisms} of \\(\\mathcal A\\), i.e., with all isomorphisms between subalgebras of \\(\\mathcal A\\). The other three clones (which are defined in a more complicated way and denoted by \\(\\mathrm{PCT}(\\mathcal A)\\), \\(\\mathrm{CT}(\\mathcal A)\\) and \\(\\mathrm{IO}(\\mathcal A)\\)) are in the interval \\([\\mathrm{Tr}(\\mathcal A),\\mathrm{AO}(\\mathcal A)]\\) of the clone lattice. Note that the clone \\(\\mathrm{AO}(\\mathcal A)\\) was introduced already in 1971 in order to study quasiprimal algebras, [see \\textit{A. F. Pixley}, Math. Ann. 191, 167-180 (1971; Zbl 0203.31201)].   A large part of the paper is a survey of concepts and results of several earlier papers by the author. In particular, the inclusions \\(\\mathrm{Tr}(\\mathcal A)\\subseteq\\mathrm{PCT}(\\mathcal A)\\subseteq\\mathrm{CT}(\\mathcal A)\\subseteq\\mathrm{AO}(\\mathcal A)\\) and \\(\\mathrm{PCT}(\\mathcal A)\\subseteq\\mathrm{IO}(\\mathcal A)\\subseteq\\mathrm{AO}(\\mathcal A)\\) and, as a consequence, the implications between the corresponding concepts of equivalence are pointed out.   As a new result, it is proved that the equality \\(\\mathrm{CT}(\\mathcal A)\\cap\\mathrm{IO}(\\mathcal A)=\\mathrm{PCT}(\\mathcal A)\\) holds and -- by constructing suitable examples -- that all inclusions and implications are proper in general. In the last parts of the paper, so-called \\textit{clone categorical algebras} are considered and, again, the new results are mainly given by examples showing that some implications are proper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q359381$0F132BF1-4591-4DB0-9DC0-EC556E14B99B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$A00E4E58-043B-488F-81C9-06F084B303C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q359381$9408C084-5253-4E90-8826-3F283EB45D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q359381$10E5C8FD-C972-48FA-A560-70000E3F9E6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fca941faa00d8a049b0e0012435fd5cf1498c50a","datavalue":{"value":"6197562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q359381$756254F4-FE2C-432C-B5F0-500F9528A53D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b87e988f780cd090f7204b96ce8684745fc228f","datavalue":{"value":"clones of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q359381$90FE10B7-2534-4925-92E7-20FE93C1B124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9fca982a6c3cd6f08405f7acddf6d8361ff6d79","datavalue":{"value":"rational equivalence of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q359381$52D733A6-F8B2-4066-B857-F29F7D8DC59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b47a4b02f27f6f9364af306dc75d642bcc5de1bf","datavalue":{"value":"inner isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q359381$4DF738D5-65C0-4EFC-8126-CB8E3E638EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5395cc8b1ec2ee054ba3fdacfc1435c0ae6f11","datavalue":{"value":"clone categoricity of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q359381$87B9C35A-0E88-48A4-A69D-17133985EE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c679089dc806ac76fb72e999a99709b1446cc7","datavalue":{"value":"term functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q359381$0E56CF34-B29B-49E3-B18D-69D4BB802D71","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":"Q359381$DE1007EB-4B5A-419C-8636-EC2C32927E68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1c34f96377ad5b4e71019fad5a67045dca8ccd","datavalue":{"value":{"entity-type":"item","numeric-id":3365105,"id":"Q3365105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$A3FF11B0-180F-46C2-9E51-B13B32271CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4f0aff8141327e984d889fc14bc85f59abbb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4709920,"id":"Q4709920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$4ED4C12D-34BE-4192-AF86-669986A53171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9778b3f1e1767f45f4cfe0837439e444fd695b89","datavalue":{"value":{"entity-type":"item","numeric-id":4242576,"id":"Q4242576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$103449FD-54F9-416F-88D8-77C9175FB6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4168807dacd83577e82b9ce9c8e0919d73d9f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4802730,"id":"Q4802730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$10B2B686-0F29-4CEC-A3B3-3BB33361402F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f90f636918682030be864ef13e4f4cec32c7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1363477,"id":"Q1363477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$8EF679D4-EC71-4BAC-B8BC-CDB48723F6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e8cfe1fc795363c58ca84613ba123652249964","datavalue":{"value":{"entity-type":"item","numeric-id":5932614,"id":"Q5932614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$3B914E7D-ED62-49C2-B860-DD7ABDA6B77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09cf88c371c34b1bb0e594a04e0ff48384466baa","datavalue":{"value":{"entity-type":"item","numeric-id":4677701,"id":"Q4677701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$21E6FF2B-3D30-42C0-9DEC-6C603DFB4705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c74243bbe362c5a44f616c7c58cfb362cec22d5","datavalue":{"value":{"entity-type":"item","numeric-id":4526724,"id":"Q4526724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$E3DF9B24-9783-4949-A5B4-E40CF0EE919D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fcc8e820c1cc4ac6c486483d65c4601fa543e","datavalue":{"value":{"entity-type":"item","numeric-id":1235274,"id":"Q1235274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$39CBBBE7-1B88-4382-9F78-72FC7AE657E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda250f6e996c87f72201760ea975f24f2536d9c","datavalue":{"value":{"entity-type":"item","numeric-id":1937750,"id":"Q1937750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$607BB38A-0BD3-4A0B-B686-702EA16A4C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c885c4978c6635b01a111a277701e686419b523","datavalue":{"value":{"entity-type":"item","numeric-id":3544750,"id":"Q3544750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$97E0BA33-B6E4-4F29-8DAF-65B80BDEDF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$7867FDE5-6BA8-4346-9B17-8EAF4317391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e664c05aea42c505971003948666c6f840bf186","datavalue":{"value":{"entity-type":"item","numeric-id":3281057,"id":"Q3281057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$6DF81710-1935-4387-9AEC-59E39BA82C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33554d14f01cc0a032d19146429dfc4df030d533","datavalue":{"value":{"entity-type":"item","numeric-id":3037402,"id":"Q3037402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$8FDB522E-7E96-40E3-98B7-7AE7E1E85120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a90f7d67dc016fe26f8fe1c97d1f1c2ad6b9d7","datavalue":{"value":{"entity-type":"item","numeric-id":4533285,"id":"Q4533285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q359381$1CFD30E7-9FAE-4765-A9AF-087EAE6C666E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5a1f5ce1ed9ce28e961a9606e051ff1a1ff1ea2","datavalue":{"value":"https://doi.org/10.1134/s0037446613030178","type":"string"},"datatype":"url"},"type":"statement","id":"Q359381$EA79EF7B-D0A5-403F-99BA-3004D7503A49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b9ccaca5a52c5ae6818174159ee1f075a208897","datavalue":{"value":"W2086324084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q359381$32D1B639-1217-47FE-AB47-9367CCA07876","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a81c3160f20ab1baefa900eaf1c2a8423dcd8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2401540,"id":"Q2401540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfd74f24e029c744d73a07b19d66280a4532b25","datavalue":{"value":{"amount":"+0.8192723393440247","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":"Q359381$BF0CB3D9-5C6D-40BF-B2A4-D6C56FC83990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8776a1ca621306531b94c55e41e90745a79d25","datavalue":{"value":{"entity-type":"item","numeric-id":1906002,"id":"Q1906002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a26519b7c43d2405327cd2e7e08969dfc1ecf8","datavalue":{"value":{"amount":"+0.8166048526763916","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":"Q359381$382ACA4C-4839-4EC4-848A-98063F6E853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7171e0b94536e73b5cda1a75f7f90a3d16693fc","datavalue":{"value":{"entity-type":"item","numeric-id":2066093,"id":"Q2066093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511e6369e8478dcc32b61da2a78cf776fbd8a917","datavalue":{"value":{"amount":"+0.8165662884712219","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":"Q359381$DB88434A-2C89-41BA-BC36-CFD66A939645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8681ad7134d989cc6059390e87979b7101635ed","datavalue":{"value":{"entity-type":"item","numeric-id":5692885,"id":"Q5692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942544ad892490da18b0b44aaac9bd30ab5ee428","datavalue":{"value":{"amount":"+0.8076606392860413","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":"Q359381$ABAD2E7C-72EE-4AF1-8489-B557D83FB814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810f3181a0a89dce0c3682e562fe7df602e386be","datavalue":{"value":{"entity-type":"item","numeric-id":1669748,"id":"Q1669748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0e2908456cdf48ea9809521e7b8f36f5a9c957","datavalue":{"value":{"amount":"+0.8028708100318909","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":"Q359381$4A72F395-11CD-4D8E-933D-378A3BF5BF67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:359381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:359381"}}}}}