{"entities":{"Q581435":{"pageid":583202,"ns":120,"title":"Item:Q581435","lastrevid":62930976,"modified":"2026-04-11T09:03:26Z","type":"item","id":"Q581435","labels":{"en":{"language":"en","value":"Finite fixed point algebras are subdiagonalisable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019127"}},"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":"Q581435$207FDEDC-C63B-451A-8BAA-8EFE8DD5DB29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbeeb5a68a1c068352abfc68e5d7076bb68cf608","datavalue":{"value":{"text":"Finite fixed point algebras are subdiagonalisable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581435$EB1C667B-CAE1-4DA4-AC6C-79F6798A3098","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c14f3ca6dd2a4ff43f8cf8d743db4cacf9771490","datavalue":{"value":"0627.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581435$1C69F43D-65AE-45B3-8852-0E6C5132F3E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cfb3f904eec3b2d7b58a4e95b648b152c4c6211","datavalue":{"value":"10.1007/BF01229971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581435$34E133CA-89CC-4177-96C3-DFF400EF87F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfdc23e6b7c1f3ff6449612d044c78bd91aa4ce","datavalue":{"value":{"entity-type":"item","numeric-id":517702,"id":"Q517702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$1E99BDDE-6F18-4C04-B591-C4F6E45A344B","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":"Q581435$D4992D10-6CCD-4691-8AF8-03627B31042D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q581435$7420FF23-6DF0-498B-B93F-2E2648482CAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c6cf82fbe4dac7e069cf918a20300703c2e1455","datavalue":{"value":"A fixed point algebra \\(<A,B>\\) consists of a Boolean algebra \\(A\\), together with a Boolean algebra \\(B\\) of functions on \\(A\\) which is closed under composition and where all the functions in \\(B\\) have a fixed point. The class of diagonalizable fixed point algebras was defined by Smory\u0144ski. It is shown that all finite fixed point algebras are subdiagonalizable, that is, of the form \\(<A,C>\\) where \\(C\\leq B\\) and \\(<A,B>\\) is diagonalizable. It is also shown that a finite fixed point algebra is diagonalizable iff it is closed \\((<A,B>\\) is closed iff \\(f\\circ g\\in B\\) whenever \\(f\\in B\\) and \\(g\\in Pol_1(A))\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q581435$62E8D1AE-98B1-447D-B99F-63149BB20F37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581435$97D7635B-10C6-4A18-85BF-86CB22DF0B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581435$C9E6A7C5-B407-4901-8138-C7B98B9084E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581435$C88439BD-A3D3-4722-BC9C-9BFA5F1E5F51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"556c1688dcc854f2765f6776f77ff46a030125cd","datavalue":{"value":"4019127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581435$73ABC2E9-20C9-4505-BFB6-2531DD8E35EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q581435$4C7D13FA-729D-4B21-9C87-15BFB303DC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a19fc6dc1596ab930e4cdace4ece45fe5ce7266","datavalue":{"value":"diagonalisable fixed point algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q581435$0107C857-65A7-406A-A6DA-AF24E6B13ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdc41df1e7a4f7602dc14559aee34fd5d86cd23","datavalue":{"value":"finite fixed point algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q581435$892D9C8B-3D9F-4D15-A7F3-BFCC55D28C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbb2e145636a67b18b99ae189363bf697eb760bb","datavalue":{"value":"subdiagonalisable","type":"string"},"datatype":"string"},"type":"statement","id":"Q581435$B53819C1-9B33-4E19-8626-E90A755CF181","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":"Q581435$06DD9096-BB39-46A8-BD45-7E1732E00F19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82101a0d47d940e7a610e83e81b3b494dea51ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1233018,"id":"Q1233018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$6E5E17DF-1FF4-4AD8-BF15-9313EF97295A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$AF849BDB-86D3-4891-9016-07288C6EE859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$26078E9A-16C8-40BD-B26E-9C7C5BE117E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e5cd1d0c0aeb949eb16b6bfc6f438452be4e53","datavalue":{"value":{"entity-type":"item","numeric-id":1167751,"id":"Q1167751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$8B4D6B0B-1BAA-441C-9C29-2CBE56A5270E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a01b953055c74a8dec25582f181fa0a844d16","datavalue":{"value":{"entity-type":"item","numeric-id":4121962,"id":"Q4121962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$0882FFA6-B996-487B-AB43-03254E1CDCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1c10a48994750f9ea8f47b3ea09721413a554c","datavalue":{"value":{"entity-type":"item","numeric-id":1237068,"id":"Q1237068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$ABA03703-602D-482F-B811-A03164A7647F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1e17ae0bd822af3eae5f9044888df41a9b2fb7","datavalue":{"value":{"entity-type":"item","numeric-id":3677760,"id":"Q3677760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$233F8983-6117-47C0-A1B4-5A3535E32A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$4F504A5D-3B8D-43B6-B96B-07D0BFDCCD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6759a71252fad37811b45e5a4a3b7fe3a524cce3","datavalue":{"value":{"entity-type":"item","numeric-id":3333037,"id":"Q3333037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581435$B5D829A0-8662-4FC7-B91E-94A6EA9C32F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ae3030a3dc96cd00e8a505a8210ba1529574203","datavalue":{"value":"https://doi.org/10.1007/bf01229971","type":"string"},"datatype":"url"},"type":"statement","id":"Q581435$0A5D1897-5F7A-4CE4-8EAC-382EA114B003","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"390fcb84e77160cbd75b99955a21596fb805a6d3","datavalue":{"value":"W2033024480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581435$26A5CA06-F0B3-4779-9E4A-625C29275836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a90f37b83af16a5c012fa8feab7ac11c7ae703","datavalue":{"value":{"entity-type":"item","numeric-id":1841596,"id":"Q1841596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b7415d2d717295fa2d1f4f585b805946dafb18","datavalue":{"value":{"amount":"+0.8832147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$94E338A8-81DE-4C4E-99F1-D46595B80C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2753c30339e18d72c8f58ab3f9c143c7a3ba2288","datavalue":{"value":{"entity-type":"item","numeric-id":4347124,"id":"Q4347124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa298f62ad24bf3c5b7e02105aabf702833f7b1","datavalue":{"value":{"amount":"+0.8791537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$5D19984C-D950-4BF9-A8F6-5B191838267E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8681bf160888186477f16016e20b319f1ac910ef","datavalue":{"value":{"entity-type":"item","numeric-id":4521830,"id":"Q4521830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf4eee5a62e6b3f41c94da46d0de955a3c25cb1","datavalue":{"value":{"amount":"+0.87774336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$1D012421-CF06-45F8-96E3-ABDC629B2006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75883e2d8e0eb4f8241f837f9fab83d1fcaae576","datavalue":{"value":{"entity-type":"item","numeric-id":2373919,"id":"Q2373919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843016c8b7162848f250144df964dca162130c77","datavalue":{"value":{"amount":"+0.87507457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$9BC50C18-BCDF-430B-A4E5-B04F490E938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf624df740a8867707da0c0cb1c81a3695ac03c7","datavalue":{"value":{"entity-type":"item","numeric-id":4529285,"id":"Q4529285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9a2a6d99eec36120a6af1ec538e01075b79a69","datavalue":{"value":{"amount":"+0.8747712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$DAEE71DE-FCD8-4AD9-B899-4A5C89571F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff157c50b52be5b759fb14f3993fec511d73d97","datavalue":{"value":{"entity-type":"item","numeric-id":5858380,"id":"Q5858380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628d4500d639df7f5b947ef89c8548975367c84f","datavalue":{"value":{"amount":"+0.87339455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$2DB212CA-BAC0-4C22-BC1E-3B4206C90289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04ed268ba9d2dad1297403960a5e99b73851e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3834046,"id":"Q3834046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dd0c211ddd61a96f315cff9e14e3d18155ce1d","datavalue":{"value":{"amount":"+0.87321323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$63C42CDB-8A44-42A3-A941-20E121599516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73271b5df525887934efecdbbdb1cdf3c015f3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4291385,"id":"Q4291385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e0c1ea0c8bb758ac389c01513458ea241cf462","datavalue":{"value":{"amount":"+0.87067115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$92A46BAA-984D-4D02-AB17-28EDCF7222C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6ebf1043f75692b0f2bf7d8c3df0d1b50149a9","datavalue":{"value":{"entity-type":"item","numeric-id":556969,"id":"Q556969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57494409d78c9da5a5c583609d09a46bd279f7d8","datavalue":{"value":{"amount":"+0.87059945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$B821B436-9F6A-4637-97E9-9492B50A1378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b8017b6a4e23a3299c8a83386df9d571cf51c5","datavalue":{"value":{"entity-type":"item","numeric-id":2035271,"id":"Q2035271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac62c0f28b3d82b6637b0c71daf05372a363e2be","datavalue":{"value":{"amount":"+0.87007034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q581435$7EE5C4F1-05BB-4614-938D-9883F53E6B49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite fixed point algebras are subdiagonalisable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_fixed_point_algebras_are_subdiagonalisable"}}}}}