{"entities":{"Q1802260":{"pageid":1813002,"ns":120,"title":"Item:Q1802260","lastrevid":73631316,"modified":"2026-04-14T16:43:26Z","type":"item","id":"Q1802260","labels":{"en":{"language":"en","value":"On the equational theory of \\(C^*\\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 203156"}},"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":"Q1802260$666B1D45-8FC7-4FFA-AD7A-88F009808D87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbfec98f6e722b18274429631caf7e7508634d92","datavalue":{"value":{"text":"On the equational theory of \\(C^*\\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1802260$077538F8-A43A-4248-BFC1-7590902D159D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68b910688a3524c5d609fbbeb8bc99a756270440","datavalue":{"value":"0817.46057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802260$35E7445A-E1FE-4CEB-9C53-C05A77581554","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c8edbdd10c31ae0cefe5091e9df0a775f416703","datavalue":{"value":"10.1007/BF01196099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802260$EF7E159C-475B-4DF1-9909-5A9522D3BE7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34097c2987185eb97ab3e56da76041871cca1685","datavalue":{"value":{"entity-type":"item","numeric-id":678841,"id":"Q678841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$70B9CB47-F61D-49B9-8E62-C76A7D523CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$22B26456-A212-4614-8AE1-CE451A648EE2","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":"Q1802260$08051C26-0A7A-4C27-8ACD-A0B6423D1BCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c077b2ef44f83af4e5178264e7e3ce27cb9500d1","datavalue":{"value":{"time":"+1995-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1802260$68A7049E-7DA7-439E-8F7C-F13E9256F177","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4185c45f1689a453da4f41917cd7c6f42ed9b7ac","datavalue":{"value":"An equational theory is the theory of continuous functions \\(D^ n\\to D\\), where \\(D\\) is the unit disc of the complex plane, and where \\(n\\) is an arbitrary cardinal number. More precisely, the \\(n\\)-ary operations of the theory are continuous functions, and the identities are laws satisfied by these functions. The paper describes the equational theory of the variety of unit balls of all \\(C^*\\)-algebras. The operations generated by this theory were found recently. The key to finding these operations was contained in Isbell's earlier description of five operations which generate the theory of continuous functions \\(I^ n\\to I\\), where \\(I\\) is the unit interval.    This paper discusses the problem of describing identities valid for the Isbell theory and its obvious extension of describing identities for the monadic theory of unital \\(C^*\\)-algebra, as well. In so doing the authors show that the Isbell theory and their own theory of \\(C^*\\)- algebras are natural by linking them with the equational theories of (involutive) Banach algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802260$12037A8F-879F-48F7-A252-E8975A45FCB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f37ba5f9d5f460f19960b050f9bcd03ad96f36e","datavalue":{"value":"46L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802260$949B91A0-6FE5-4EF5-9D25-8E2E2B515B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802260$1529C327-1036-4EC3-9BC9-24FC3231903C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802260$4D66E1E2-4A21-49F7-ADC3-1A6F33375B7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71739e42a4b94214e5c3a9cd8e4684a8922ed992","datavalue":{"value":"203156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802260$277F6A86-C68C-423A-A7AE-C1848F2D6E90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a064570fbbdded8e04fedb30c5777c199b4ae6c0","datavalue":{"value":"ball functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802260$04E62C2A-4C93-494E-99F0-1E51CDD0DFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802260$EBBB41F2-4552-453D-A93C-882651C48E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb759f2b194d1e0a4f39157656cfe4f4fe326215","datavalue":{"value":"variety of unit balls of all \\(C^*\\)- algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802260$2A60162B-68B9-4D08-A5D4-1FEDAC882A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae507b1b287b5ae484c2fe726626a531f228e8a0","datavalue":{"value":"Isbell theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802260$D7F8B66A-1418-4D19-AE6D-E270029DB7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ed2e5ec0eb1bfe7aa9ec5ad268af537c25c89f","datavalue":{"value":"monadic theory of unital \\(C^*\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802260$05BBC5DB-0A39-4615-8C04-ED2F13997C08","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4c953841afdb1a4976e2b37a563fc4d4884f5945","datavalue":{"value":{"entity-type":"item","numeric-id":592270,"id":"Q592270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$EA34A345-7803-42B1-811D-44C4D66917C0","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":"Q1802260$90C75A71-6193-4967-8CAE-CCE4D92D2CD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c15f2e78f8652724432535fdc6e35be04034548","datavalue":{"value":{"entity-type":"item","numeric-id":4722674,"id":"Q4722674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$25E581EE-3C70-4C27-95CD-714C07FF3EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d123b98f9d7fe73ccab606045c8c9fb3a77fa5","datavalue":{"value":{"entity-type":"item","numeric-id":3237462,"id":"Q3237462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$02F5D58C-5098-4DD6-A760-BE738670E43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108885ee28ec1141ba0f8c17c139f7319bb41632","datavalue":{"value":{"entity-type":"item","numeric-id":1052451,"id":"Q1052451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$AEB0E4AF-9EF4-4725-9A10-B6C183E36D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa576bc0f472e3f72ae22907badbe1846057e637","datavalue":{"value":{"entity-type":"item","numeric-id":2554509,"id":"Q2554509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$EC71B7A5-F23B-4FAC-B1C2-B8B3EA577437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$A87E5590-1791-47C2-82F1-BE3068A6EE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a91434ecdec48546539bc7204c247d1f07ca301","datavalue":{"value":{"entity-type":"item","numeric-id":2547611,"id":"Q2547611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$602AB451-2BBF-40D2-9B45-EC23EE5B93EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf6368a8d668a97dcb452f9f300baabc92bfc3e","datavalue":{"value":{"entity-type":"item","numeric-id":3345300,"id":"Q3345300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$06AD0676-AF75-432E-8D10-849A794302B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5b126b015fb09e41289c29280c0e4e51c40e50","datavalue":{"value":{"entity-type":"item","numeric-id":3694087,"id":"Q3694087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802260$45983D55-5B41-4605-9384-8860CE6E138B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dfb46d3e40e48a54460d73af1b4de9b9581b0e0","datavalue":{"value":"https://doi.org/10.1007/bf01196099","type":"string"},"datatype":"url"},"type":"statement","id":"Q1802260$1F322006-9FF7-492D-B1D0-12541F11451A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d7d748a89f158fe04e11febfc1dd5c701cd1634","datavalue":{"value":"W1486639223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802260$C25AC582-B2F7-43B5-8A93-98570649652E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0954c599d865f2a90fb9ef99877f41922cae22","datavalue":{"value":{"entity-type":"item","numeric-id":502643,"id":"Q502643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759f52ff1e420bb9e22e3bb31cc7e135b602d6ab","datavalue":{"value":{"amount":"+0.7645664811134338","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":"Q1802260$CFC4B891-8988-4B27-A0A4-76B04E8288E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599b6936da72fc062594f68b42800063a6565925","datavalue":{"value":{"entity-type":"item","numeric-id":805642,"id":"Q805642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3488f1ea49bc55705a9699d6a63142eb5952e2a3","datavalue":{"value":{"amount":"+0.7383230328559875","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":"Q1802260$FB8EC976-7F6A-4FD1-92BC-B4E54C11CCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff162814c15d25b1b7e647f7f13c305e89babc02","datavalue":{"value":{"entity-type":"item","numeric-id":4220560,"id":"Q4220560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a06f5e1c7d3a7f8c4108ecf1f40c7c6b1058a9","datavalue":{"value":{"amount":"+0.735873281955719","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":"Q1802260$5843DE9F-F6B3-42C4-B6F2-0CFBCFD70A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51702abcd7eea011a0e4f94d74ab97faba12af4","datavalue":{"value":{"entity-type":"item","numeric-id":2649710,"id":"Q2649710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330a3d941dfc11868a4bd4937b40ec2f62e68ed1","datavalue":{"value":{"amount":"+0.7083542943000793","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":"Q1802260$0B5A77FC-BC2B-4F7C-8135-F6E12265F647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51356646532bfb5e1470f1f619048554b164fdd8","datavalue":{"value":{"entity-type":"item","numeric-id":3681003,"id":"Q3681003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8517bdb98f19c9eea89b81255682e78f0b1e690","datavalue":{"value":{"amount":"+0.7069864869117737","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":"Q1802260$C52440CB-69BD-4175-90D9-C81DD0B8D972","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the equational theory of \\(C^*\\)-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_equational_theory_of_%5C(C%5E*%5C)-algebras"}}}}}