{"entities":{"Q1127834":{"pageid":1138583,"ns":120,"title":"Item:Q1127834","lastrevid":66190728,"modified":"2026-04-12T08:09:48Z","type":"item","id":"Q1127834","labels":{"en":{"language":"en","value":"Ultraproducts and Chevalley groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1186292"}},"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":"Q1127834$45ABD021-442B-4BE4-89E3-2ABE67A09F5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a3740dff3074507818a0c6f72cc94e865c62186","datavalue":{"value":{"text":"Ultraproducts and Chevalley groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127834$019EE0C8-F8BC-42AB-AFF9-4D29D2E1A79D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"559718aee0dbf6be96be69c23a59459f5d731d9b","datavalue":{"value":"0921.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127834$46F4EACF-47AC-4FFC-B226-8E86FA5E6BCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af421165656b3caad5dddf37027ce32af21714c7","datavalue":{"value":{"entity-type":"item","numeric-id":251979,"id":"Q251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127834$36915863-C4A1-4481-A553-D3E62C278F62","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":"Q1127834$7D09BA80-DE25-4BC2-B647-723C2A5A9928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90675ff81ca6b0925945e7e06f9435d5d899f2e7","datavalue":{"value":{"time":"+1998-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127834$54005DA6-348B-40D1-BF02-545EE8639657","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"568e23b49e7413e3b42117a4c3afb843e3ac5431","datavalue":{"value":"Given a simple non-trivial finite-dimensional Lie algebra \\(L\\), fields \\(K_i\\) and Chevalley groups \\(L(K_i)\\), we first prove that \\(\\prod_{\\mathcal U}L(K_i)\\) is isomorphic to \\(L(\\prod_{\\mathcal U} K_i)\\). Then we consider the case of Chevalley groups of twisted type \\({}^nL\\). We obtain a result analogous to the previous one. Given perfect fields \\(K_i\\) having the property that any element is either a square or the opposite of a square and Chevalley groups \\({}^nL(K_i)\\), then \\(\\prod_{\\mathcal U}^nL(K_i)\\) is isomorphic to \\({}^nL(\\prod_{\\mathcal U} K_i)\\). We apply our results to prove the decidability of the set of sentences true in almost all finite groups of the form \\(L(K)\\) where \\(K\\) is a finite field and \\(L\\) a fixed untwisted Chevalley type.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127834$5F4FFCE8-8D67-4A10-8B29-E78C7FD10131","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127834$39D824E3-379F-4BE8-8187-92F317F48811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127834$8D50559B-FFEE-4CF2-81D7-ABB93D8B17A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72adfcbd80b22960ac05657f71a769e18b11c753","datavalue":{"value":"17B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127834$66BA1F7D-E4D2-4531-AA97-BC846E44CE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127834$BF24227D-574A-4500-A8DB-911C6F8A6607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7a66b62e6448838a1648f153b30055fd10412d2","datavalue":{"value":"1186292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127834$9B06D7E7-CACC-4533-BBEB-3E167FDE75F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127834$927D680A-9D2C-4115-9311-B817B3C52EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"394a8ca59bb381943e71acbc2ab4b8012f88b06e","datavalue":{"value":"Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127834$FE6E9C9E-1950-48A6-B859-D7DD8EB3A015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8539bdb4d8e6696fc2261b77ba4f7f4b0bcf1130","datavalue":{"value":"Chevalley groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127834$250EAC76-9D8A-4413-93DB-438B8EBB7828","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":"Q1127834$9AA54411-8847-4F58-BBFA-A9E31F2D80FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dcad71e21b0c88f54ec7d7172a4ae0b6af7d92a","datavalue":{"value":"https://doi.org/10.1007/s001530050131","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127834$1B73BF8F-3662-45F8-A24E-DB794CE92323","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a15ee6d125794a5e0703142a37cd1c9071fda7c","datavalue":{"value":"W2036011473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127834$D6F5AAE6-F0FF-47CE-A487-3AF27895A620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e760d96364c6fe525048c7b77e2043734ef42f31","datavalue":{"value":"10.1007/S001530050131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127834$B62D6A8C-D7F8-4E69-B54E-E39A50442DD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59092f79651fd56d5234a5fb077296d5c0984304","datavalue":{"value":{"entity-type":"item","numeric-id":2386444,"id":"Q2386444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c18ad631bc8147650453bf2975c2d7640dc1c6","datavalue":{"value":{"amount":"+0.7681941390037537","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":"Q1127834$8DA2D194-05A8-4C0E-9B6E-3862FE2156A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f113a29dba113b1f9aa26c77df34809ecf5551c","datavalue":{"value":{"entity-type":"item","numeric-id":460706,"id":"Q460706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9d64cd6bcf25687fb95f195eb00833ccc80289","datavalue":{"value":{"amount":"+0.7510933876037598","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":"Q1127834$1F60E5EB-883A-4AB4-A65B-B03296FC6F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fde72e85b016aaad947aca19a538013a6245ba","datavalue":{"value":{"entity-type":"item","numeric-id":950878,"id":"Q950878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bb706d308c4ade6e78de3b66161f2bca3f66a9","datavalue":{"value":{"amount":"+0.7393608093261719","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":"Q1127834$E49D2515-9E30-444F-9D15-B447539560C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6bbf8aaded77bcf7caa98935aaefab93e908afc","datavalue":{"value":{"entity-type":"item","numeric-id":6169106,"id":"Q6169106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2032c0061032816eff10cc7ccfdb7a8199f4f3","datavalue":{"value":{"amount":"+0.7343453168869019","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":"Q1127834$7D9D9448-4C71-4BCE-A647-63BFFC9F6645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ultraproducts and Chevalley groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ultraproducts_and_Chevalley_groups"}}}}}