{"entities":{"Q2386444":{"pageid":2397187,"ns":120,"title":"Item:Q2386444","lastrevid":72674754,"modified":"2026-04-14T06:26:28Z","type":"item","id":"Q2386444","labels":{"en":{"language":"en","value":"Combinatorial and logical aspects of linear groups and Chevalley groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2197256"}},"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":"Q2386444$F839F899-D6A9-48E7-AC72-D971B08FD453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"888a42e9a7225e61bd933a9fe5e8dc92364e4ab7","datavalue":{"value":{"text":"Combinatorial and logical aspects of linear groups and Chevalley groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2386444$2BEA2429-88AF-48B4-94D2-E5A0D22E33C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bbbf97242a1e45d43dcbea965eb3a3fbb38626b","datavalue":{"value":"1122.20001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386444$E70A1623-D7F1-41B7-A5E1-FB55902A5A0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243ac916666ea7efb15d94a43ccbe115d27bf94d","datavalue":{"value":{"entity-type":"item","numeric-id":431696,"id":"Q431696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$441AB278-CA07-427E-90CD-61A6D8814A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b15aabca2ffc2192b002338fc0c92b288c9c9cf","datavalue":{"value":{"entity-type":"item","numeric-id":1104427,"id":"Q1104427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$0476D12E-F48E-4102-8C47-0AD20D9C9A3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d1231d86866fb01586b04e1f50e347c0a84f9cd","datavalue":{"value":{"entity-type":"item","numeric-id":190587,"id":"Q190587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$AA65B06B-CEC4-42C1-A522-13D49D224CA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c8161240b506a95f024b0718a56f9f3e2b0e7a2","datavalue":{"value":{"time":"+2005-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2386444$BE2295DB-6ED6-48AF-8E47-3279FEDA5591","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"601ce3d35ec9c328c9da5b850277a8d5debb674a","datavalue":{"value":"If \\(G\\) is an algebraic system in the first-order language \\(\\mathcal L\\), then the totality \\(\\text{Th}(G)\\) of all sentences of the language \\(\\mathcal L\\) that hold in the system \\(G\\), is called an `elementary theory' of the system \\(G\\). Two algebraic systems \\(G_1\\) and \\(G_2\\) in the same first-order language \\(\\mathcal L\\) are called `elementary equivalent' (\\(G_1\\equiv G_2\\)) if and only if \\(\\text{Th}(G_1)=\\text{Th}(G_2)\\).   The authors prove the following theorem. Suppose that the Chevalley groups \\(\\mathcal G_1\\) and \\(\\mathcal G_2\\) are constructed by algebraically closed fields \\(K_1\\) and \\(K_2\\) of characteristic distinct from \\(2\\), simple Lie algebras \\(\\mathcal L_1\\) and \\(\\mathcal L_2\\), and lattices \\(L\\) and \\(M\\). Let \\(L/L_0\\cong\\varphi_1\\), \\(M/M_0\\cong\\varphi_2\\) (\\(\\varphi_1\\) and \\(\\varphi_2\\) are finite groups). Then \\(\\mathcal G_1\\equiv\\mathcal G_2\\) if and only if \\(K_1\\equiv K_2\\), \\(\\mathcal L_1\\cong\\mathcal L_2\\), and \\(\\varphi_1\\cong\\varphi_2\\), except when \\(\\mathcal L_1\\) and \\(\\mathcal L_2\\) both are of type \\(D_{2l}\\), \\(l\\geq 3\\), \\(\\varphi_1\\cong\\varphi_2\\cong\\mathbb{Z}_2\\). In this case there exist two groups that are not elementary equivalent to each other but have equivalent fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386444$BB24A834-62F6-495A-9DD0-908FC4C3A8D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f68d42b7721128730c63ca7a7faa50a58869fe42","datavalue":{"value":{"entity-type":"item","numeric-id":184494,"id":"Q184494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$02283D83-7413-4DE8-A3C2-59229EFD0818","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386444$12549A0E-F2A9-4CE1-B03E-E0E7748C50D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386444$E2E84A46-5C6C-4BAE-8C3E-2EAEF318D1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386444$D031289C-7EC5-49D0-90EB-05B33D790DEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2048d3eccdd9e920d099cec96ccd69748a58236f","datavalue":{"value":"2197256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386444$C6020CFB-A3BD-4502-9F85-63EC6813901F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6439e8327fde4851814aa59add80b8aa4bf885c2","datavalue":{"value":"elementary equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386444$8F71B334-FB4F-4EF9-A8D3-AA9C90905F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8731cfe85b27b75d2f7fe7cf9430d937675368c0","datavalue":{"value":"linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386444$B620F9AA-CC10-4655-A13C-B7C567001F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8539bdb4d8e6696fc2261b77ba4f7f4b0bcf1130","datavalue":{"value":"Chevalley groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386444$CDE651B5-C90F-4FDE-9172-28E1A33A678B","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":"Q2386444$9092AB27-4B27-40C2-9003-44BB20D9792A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"647653a9b74e38b53aed824d714b17fb5a1a7b51","datavalue":{"value":"https://doi.org/10.1007/s10440-004-5586-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2386444$176BCD11-CA83-4B2E-BD49-1FD3C0D58D89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c172a5ae12268476f188a6a88e180fea7e033883","datavalue":{"value":"W1977695564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386444$64D842A3-4732-4503-B93E-B2903226C987","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df8d5144cb37e2315b21cb9ce4e0b51917f629f","datavalue":{"value":{"entity-type":"item","numeric-id":5817043,"id":"Q5817043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$362B7ECA-778A-4B2E-9D35-12F0B773D6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c953575f84fe556b7097b1b282627ca19e0c3e","datavalue":{"value":{"entity-type":"item","numeric-id":4015746,"id":"Q4015746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$CF8899C0-7E20-461E-AFF8-8390D43B6346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7aa426e01206d7399b707c9499ca00fa473352e","datavalue":{"value":{"entity-type":"item","numeric-id":2538238,"id":"Q2538238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$180809C0-8FAD-4C1D-B247-34AAD3DD8460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0893d894842e94658e4f40122f94429e1b5da975","datavalue":{"value":{"entity-type":"item","numeric-id":4244590,"id":"Q4244590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$FD2A7759-F1ED-4342-A7DC-45013A842F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f34623d1cd4f6bee5d8074bb3fc44c2a6178c4","datavalue":{"value":{"entity-type":"item","numeric-id":2784522,"id":"Q2784522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$6FDE8C63-9A66-46AF-9509-4FD2580EF83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0a6fd505e95ba5ab15ab0223132cdb5457d810","datavalue":{"value":{"entity-type":"item","numeric-id":4761798,"id":"Q4761798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$456BC97E-1E9F-4A37-80F9-409AA352028A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcefb51cf5a9f1c3e5da48cdbc00f85158d13bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1608128,"id":"Q1608128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$718528CB-9A8B-439F-8546-80323CF1F0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ea855017c1f3bbf1fa406663a061480377fd47","datavalue":{"value":{"entity-type":"item","numeric-id":790258,"id":"Q790258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$F6BF1D1B-5233-438A-A9A2-210014E5A059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926688a6f80aee84c10600238a7e01438a673b6b","datavalue":{"value":{"entity-type":"item","numeric-id":4089001,"id":"Q4089001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$ABBE225C-EF9E-4B10-B611-234D3404A1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf03227c9b334c3814c6cfbaa65fed23b7c41e9","datavalue":{"value":{"entity-type":"item","numeric-id":3940389,"id":"Q3940389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$7F13B909-79B1-45D8-A748-0E8A5AC9FA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbda26018dde421eeb353726aeb95357b017645b","datavalue":{"value":{"entity-type":"item","numeric-id":5549108,"id":"Q5549108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$94101A18-2E39-4A76-B8B3-36032BF1FF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb77c07991d37f89564f9b3d9a8f0eb0174987f","datavalue":{"value":{"entity-type":"item","numeric-id":3682670,"id":"Q3682670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386444$AF078FAD-7191-46B7-B980-B0DF7BC1EF17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75aca44d96efd5c2fc00d2db0e9e17fdcdb32271","datavalue":{"value":"10.1007/S10440-004-5586-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386444$54D7C6C0-B7B3-40B9-9CC7-470D3B96A1F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace9e4d3c7669377c93baeafeee13f084418418a","datavalue":{"value":{"entity-type":"item","numeric-id":1840621,"id":"Q1840621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894ab102780f24b9325cc038ccf9d9b358222e53","datavalue":{"value":{"amount":"+0.90426433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$10C94FA7-4455-4F15-B43B-F2A9E62E76EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d267473a454d9183cc38c2e102bc47912487cd","datavalue":{"value":{"entity-type":"item","numeric-id":4278192,"id":"Q4278192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5124156922e8f25157c39f64d1a314ccd5364535","datavalue":{"value":{"amount":"+0.8998377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$9EC9C4FC-6412-4B3B-BF49-EB361DB752D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d743b31f40decf7debcd0d5178bbed78b0b0d257","datavalue":{"value":{"entity-type":"item","numeric-id":3971685,"id":"Q3971685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5124156922e8f25157c39f64d1a314ccd5364535","datavalue":{"value":{"amount":"+0.8998377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$95E28C63-48D0-4EDF-AE54-9725E48F81B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1ecc2dca1a3f7a0a9a0e8a1eb0637459dde253","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df9fa4d474c0013cd6a5b30b2350c8964d08576","datavalue":{"value":{"amount":"+0.89671665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$16CDDA04-905A-4EA5-9FA7-D2CFCDA82EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00985bf8e55e402565d18999a3c83fe2dfd8da29","datavalue":{"value":{"entity-type":"item","numeric-id":3004199,"id":"Q3004199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe1eb7198e8b7d6df60faec296b3f241d8cc62f","datavalue":{"value":{"amount":"+0.8937177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$ED6624F3-541F-46B9-BF8A-D3671386F32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9ebd0b0a714ae4c13ce12af676e0b260568e68","datavalue":{"value":{"entity-type":"item","numeric-id":3695441,"id":"Q3695441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72b6c945a22a8caeb65f65c6ae007367db3eeb5","datavalue":{"value":{"amount":"+0.88883233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$E9542E3A-6B6C-4D11-87F0-594529ABE1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ed6d5b79b1d0c38ace8493076a50242b5a4f43","datavalue":{"value":{"entity-type":"item","numeric-id":4471569,"id":"Q4471569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541b30407d3538be0e71013f797c1980e4e5a338","datavalue":{"value":{"amount":"+0.88705635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$E3E1B4D4-0564-4BB5-A659-1E072BC96F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8d4919c3da3fa444e02b75e79144b369444529","datavalue":{"value":{"entity-type":"item","numeric-id":1024969,"id":"Q1024969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead2a46bdb3608c453815363a167c74f7ed177e6","datavalue":{"value":{"amount":"+0.88496035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$77039DEE-5F11-4F82-BAB7-326F3FC17CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bda17952abf9c53850cabc28c41c8e4419bbecd","datavalue":{"value":{"entity-type":"item","numeric-id":5167317,"id":"Q5167317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27d8069e34190c88d7bc43422138908543d476c","datavalue":{"value":{"amount":"+0.88465333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2386444$0B209137-0E53-4D58-83DC-D8A6475FA2EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial and logical aspects of linear groups and Chevalley groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorial_and_logical_aspects_of_linear_groups_and_Chevalley_groups."}}}}}