{"entities":{"Q403407":{"pageid":405174,"ns":120,"title":"Item:Q403407","lastrevid":61630278,"modified":"2026-04-11T00:35:16Z","type":"item","id":"Q403407","labels":{"en":{"language":"en","value":"Normal hyperimaginaries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6335988"}},"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":"Q403407$43057678-8672-48C9-B896-888925C064FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a5f18e7bac055871b7a9647715e30b962704f5f","datavalue":{"value":{"text":"Normal hyperimaginaries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q403407$FDE84E4C-4444-4553-B092-52AFAD755ABE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eada21269daeb9ca2da7361004c2a9416e8733e","datavalue":{"value":"1328.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403407$B410F5D2-0871-4DA4-B469-E6F3AE772AE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c0f2b1fd84cbb85ff06875faec7209ad397b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":190311,"id":"Q190311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403407$7335B4D6-6E0E-4BE1-87A5-4F4FE571E667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae978f351fe6a821d3a50b9be44c2f4b42f3fc6","datavalue":{"value":{"entity-type":"item","numeric-id":403406,"id":"Q403406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403407$6F743B42-EF4C-4CC8-8544-31525B324F78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403407$B37F1E3B-61DD-4213-B5C6-F88FE77BFF44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163bad71d2d58b992a56c87b8eddb84d83e1a225","datavalue":{"value":{"time":"+2014-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q403407$C6369695-18CE-45FD-BDE7-A3515FC81421","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee825834f6afd77d9a9f57c4f178f39cd4fc93b7","datavalue":{"value":"https://arxiv.org/abs/1112.2049","type":"string"},"datatype":"url"},"type":"statement","id":"Q403407$B8BF646E-E5A6-4FF1-BC59-3D59B803D32C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4eeefcdde38c4c6cfd11fc0e76e3717261636f0c","datavalue":{"value":"A theorem of \\textit{D. Lascar} and \\textit{A. Pillay} [J. Symb. Log. 66, No. 1, 127--143 (2001; Zbl 1002.03027)] states that in a simple theory, any bounded hyperimaginary (i.e., class of a countable tuple modulo a type-definable equivalence relation whose orbit under the automorphism group is bounded) is interdefinable with a sequence of finitary hyperimaginaries (i.e., such classes of finite tuples). Their proof uses the Peter Weyl theorem which states that a compact Hausdorff group is an inverse limit of compact Lie groups. In this paper, a more model-theoretic proof is given, which nevertheless still uses the Peter-Weyl theorem.  The authors introduce the notion of a \\textit{normal} hyperimaginary as one whose stabilizer is a normal subgroup of the full automorphism group. Equivalently, a hyperimaginary is normal iff it is interdefinable with all its model-theoretic conjugates. This in particular implies that it is bounded. It is easy to see that every normal hyperimaginary is interdefinable with a sequence of finitary hyperimaginaries; the authors prove the theorem of Lascar and Pillay [loc. cit.] under the hypothesis that \\((\\pmb\\emptyset)\\) is interdefinable with a sequence of normal hyerimaginaries. This hypothesis is a consequence of the Peter-Weyl theorem.  In a second section, the authors show moreover that every closed subset of a Kim-Pillay space has a hyperimaginary canonical parameter.","type":"string"},"datatype":"string"},"type":"statement","id":"Q403407$BD53505E-8BE9-44D2-BD94-16F2237C0B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403407$774F1A0E-2F1C-4A32-B81F-2D676563693F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b401dc4eec2ba3cb0025b54e4a8352cc0d7a062","datavalue":{"value":"22A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403407$C67C5277-B235-4ACA-B866-05C75473093F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"838cc0d22272901d26a694270b8bf7ffe82f80fa","datavalue":{"value":"6335988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403407$C261FA6A-A437-4BEC-89E8-87FB35FEBA93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089861409b727331bdcfc5abf11eea94e783958c","datavalue":{"value":"bounded hyperimaginary","type":"string"},"datatype":"string"},"type":"statement","id":"Q403407$718D75DC-EEA7-4501-9629-EC6A342C6D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1bd01b3cff5c492df4cf063135ddbd2870ee670","datavalue":{"value":"finitary hyperimaginary","type":"string"},"datatype":"string"},"type":"statement","id":"Q403407$FCF0E061-45B8-47A0-A19F-81622F23A72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c476a63b5a972a8172424d0857323b17667e2f","datavalue":{"value":"normal hyperimaginary","type":"string"},"datatype":"string"},"type":"statement","id":"Q403407$AF9BFCA5-9A5A-4DE8-8BC7-F2E5DD56914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c65a5e9d7e540164dcb6c641917d9276351d5104","datavalue":{"value":"Peter-Weyl theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q403407$75611BF9-DF80-43F5-992A-98F23DD03F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8518b16a32691a54430fe00b2791234f5cabe488","datavalue":{"value":"Kim-Pillay equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q403407$A46CA9D4-A3C4-4EB0-AB8C-C56B01B7B88D","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":"Q403407$B7947CDB-F3F5-4807-B715-75B9611C6151","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"658d8fc889194b9d2bb700a350db2dc5b1f54d61","datavalue":{"value":"W2913189708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403407$14955552-F13D-4A05-9EE0-63A54C589DA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97549f7f3a685a92dae757d480d7a1974cfd5bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4517120,"id":"Q4517120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403407$227BD002-6109-4C27-B127-CBECCEA17616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e439bfb98336841b9c837aaa17d545e5d7077d0e","datavalue":{"value":{"entity-type":"item","numeric-id":3170580,"id":"Q3170580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403407$1D82B5BF-99C5-4FBB-AB1B-3BD405CED6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae18dd25e2802b4babe673a9412a1c416a9cf72","datavalue":{"value":{"entity-type":"item","numeric-id":2732271,"id":"Q2732271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403407$7209B270-766D-4FBA-BCCA-6CB15178C212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0395bc53ead5e06ce32124a14c783ba8ee2c13e","datavalue":{"value":{"entity-type":"item","numeric-id":4422560,"id":"Q4422560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403407$77551A70-D690-4BB0-87BA-07299BB9BBDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68a361d9571d54556ac64345c8d5ab04381ba7a0","datavalue":{"value":"10.1007/S00153-014-0382-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403407$EC6EC228-9727-4396-95C8-45EC51C964A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f968185b749344628c978e6220d70e5e5df9cfc5","datavalue":{"value":{"entity-type":"item","numeric-id":2732271,"id":"Q2732271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc7f26accbe09461f44dc7f644dac2e440cb362","datavalue":{"value":{"amount":"+0.7659497","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":"Q403407$46FDD4D0-F0B9-4025-B7E9-7738909115D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b7f6d875f05f7ab68a6ad2e79591db3446d6d7","datavalue":{"value":{"entity-type":"item","numeric-id":5311777,"id":"Q5311777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838564056f041903198c71d2615eda048de70f57","datavalue":{"value":{"amount":"+0.73993117","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":"Q403407$5CCE26C0-0C40-4723-9482-9BE01D62E732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120fbcdf23c94c4b45bc3120d0fb8954428ea59d","datavalue":{"value":{"entity-type":"item","numeric-id":4517120,"id":"Q4517120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e864c191314944cc366a8cd2b1e270291ebb157c","datavalue":{"value":{"amount":"+0.6857329","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":"Q403407$C34C784D-B8EB-4BDA-B3B9-92F7CEADE55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838cb6d82035806455135cbe87626b84862d78d9","datavalue":{"value":{"entity-type":"item","numeric-id":4953221,"id":"Q4953221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7309a7167538f3d015f2aba1f851fe02d1ed94d8","datavalue":{"value":{"amount":"+0.6761488","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":"Q403407$218D257E-CB7E-454C-8BFA-0D1962ABC3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25877aa0b76f19e7608980292dcac4a9964e56a7","datavalue":{"value":{"entity-type":"item","numeric-id":5387306,"id":"Q5387306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558f4dcd9a860dc77807ee82ad09fa0d45874342","datavalue":{"value":{"amount":"+0.6667268","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":"Q403407$954109E2-CB1B-4E26-B045-314E54BD3995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb202a328c7ed31bde1aea4f8d3875f11b5d82a","datavalue":{"value":{"entity-type":"item","numeric-id":5392187,"id":"Q5392187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69828d12737d9a1384236b570918df4b865c5385","datavalue":{"value":{"amount":"+0.6628969","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":"Q403407$440282FA-E87E-4E85-A864-C419140EAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c862e6069c1cf76331f287bb87dc761f0509cf","datavalue":{"value":{"entity-type":"item","numeric-id":2683701,"id":"Q2683701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce24801eda6f9ce806744be1247ec601d6e7f120","datavalue":{"value":{"amount":"+0.6587701","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":"Q403407$C314C81A-6F99-4C2C-972D-ED581B716B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633e52663142b783456df89e697befe3d812a903","datavalue":{"value":{"entity-type":"item","numeric-id":2732509,"id":"Q2732509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e2302b4ad4d0f89144f7acd1b1d1aee4fad41a","datavalue":{"value":{"amount":"+0.6577637","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":"Q403407$E9E11C66-9D90-4DA4-8F4E-736FD2F0C50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb2ece9079972bf67c9796704a34fb764403e44","datavalue":{"value":{"entity-type":"item","numeric-id":701743,"id":"Q701743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571b7bbaec46a8bab519c788878e57ac065a7cfa","datavalue":{"value":{"amount":"+0.65590715","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":"Q403407$D0400BC9-CBC2-452A-B7BA-A8A248DB44A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ec6dccb14885e4a4cc008276a071aeb21f3139","datavalue":{"value":{"entity-type":"item","numeric-id":3753093,"id":"Q3753093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d98eeb3d9bd586ce32ccf4361bd69f10b1125ef","datavalue":{"value":{"amount":"+0.6518704","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":"Q403407$F5558574-5DAA-40C7-9535-3640B284D6F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal hyperimaginaries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_hyperimaginaries"}}}}}