{"entities":{"Q1177418":{"pageid":1188167,"ns":120,"title":"Item:Q1177418","lastrevid":69808653,"modified":"2026-04-13T09:32:12Z","type":"item","id":"Q1177418","labels":{"en":{"language":"en","value":"The uniqueness of groups of type \\(J_ 4\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20414"}},"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":"Q1177418$889E0184-5934-4D9A-8386-FB23826E5692","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e481661c892ce7dadd53416005ea2fdd447a1483","datavalue":{"value":{"text":"The uniqueness of groups of type \\(J_ 4\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177418$6DE64FF8-390F-4311-B213-A40EA51CC1B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4c3b0a9163a13e36e6ec6992cdce0db63d029ec","datavalue":{"value":"0735.20006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177418$1CC934B2-44D0-4F88-8678-99CE53C18CF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6019ab47b3b465e06b4ad5dd61d70446ade20369","datavalue":{"value":"10.1007/BF01232280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177418$238C1E9E-29E3-4F0A-9202-DBEDABD138E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8aa33866d502f6a45c6e3696988835bc6f5f0ae","datavalue":{"value":{"entity-type":"item","numeric-id":206330,"id":"Q206330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$9CE87FCB-AEDA-4C44-859B-41EF3844C63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c17dfef6dfd0d0e67f2e830f77423c9156eef3a2","datavalue":{"value":{"entity-type":"item","numeric-id":226910,"id":"Q226910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$51F0F25D-DB99-4D28-9B1E-1A51923E62AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$63D72201-7BE7-4431-8E50-5D2F3B82A74C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177418$9E8A2829-9BC2-470C-9AC0-6B7ADD594E19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4eab40b8c622284fcf074ba41e9015e44447a382","datavalue":{"value":"https://eudml.org/doc/143925","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177418$E5BBCE32-EAE9-435C-A771-FB98700F86AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3fa9ed48335772f3489a0632a891ed2bf4509398","datavalue":{"value":"From the introduction of the authors: ``We give the first computer free proof of the uniqueness of groups of type \\(J_ 4\\). In addition we supply simplified proofs of some properties of such groups, such as the structure of certain subgroups.\\dots Around 1980, Norton, Parker, and Thackray proved the existence and uniqueness of groups of type \\(J_ 4\\) using extensive machine computation.\\dots Norton et al. constructed \\(J_ 4\\) as a linear group in 112 dimensions over the field of order 2. While the notion of a 2-local geometry did not exist at that time, this geometry plays an implicit role\\dots''    The authors' proof is based on the theory of so called uniqueness systems presented by them in a forthcoming paper. This theory is then applied to the 2-local geometry of a group \\(G\\) of type \\(J_ 4\\) and its collinearity graph. The main step in the uniqueness proof is to show that the graph is simply connected. Here, a group of type \\(J_ 4\\) is a simple group as (discovered and) described by Zvonimir Janko in 1976.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$2AF15428-0A2C-4F4F-9EFC-242F3CE3A16F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1a0f1fcc0b204aceb7cb97239bf603179f2658cc","datavalue":{"value":{"entity-type":"item","numeric-id":203876,"id":"Q203876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$F45BA58A-C2BE-43E4-AF08-93323D27EFB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"760e7e883b324f8e9ca39536dab668d9184172e8","datavalue":{"value":"20D08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177418$40B8E5F6-F467-4E87-B3FA-4AE4A6BEFD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ad054842843bfbc4eebef8b55ebe215528c6d3e","datavalue":{"value":"51D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177418$E3A1B9C5-F0E8-4599-84BA-02CA686E8E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ec91b717e13006b6349217aeab62cd5c6ed704","datavalue":{"value":"51E24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177418$985A8D88-C347-443B-8AAF-4B6666D15AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177418$B6B59616-FE80-4265-818F-BC3CB9095149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03522fbe1d377e1c4e2b0d25c4f910661208cdbf","datavalue":{"value":"20414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177418$38E2D5BF-A746-441B-87D7-DA18E8EF38EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f48a9d5e8043adb81b85a1601c8ae62a9a5b936","datavalue":{"value":"computer free proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$D2C04147-7EE5-4B10-B93A-A02B89C61BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"401c59ebf3874f9a230a3559cab8d523f3b0e584","datavalue":{"value":"groups of type \\(J_ 4\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$2CDCCAC5-5281-403F-8B7A-5F44CA75F22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c3c1d3123a5272fd3b68d01ce41025f750d113","datavalue":{"value":"uniqueness systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$E3857E57-C20F-46AD-AEFB-C054F23A06DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39bd9f96304eb554fe02bb92b6d4db3fe312914","datavalue":{"value":"2-local geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$E23F98AB-AD6F-432C-B9CF-14E8EFD40A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42310f419627f315f9359bab5f820e0fca0c20e5","datavalue":{"value":"collinearity graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$B6660E19-8203-40A2-9C25-7F900AE88769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98711ec3170fca0342187dc0ff0a1fdabc31bbb","datavalue":{"value":"uniqueness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$089FCAB6-F062-45F1-8F92-49269F38F92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18cd2a2b202a2f9071ce2ec48bf68fc6038a24a","datavalue":{"value":"simply connected","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$1DB31092-BDA8-4E27-B51B-D1B4D9595B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480422bce15622d13633624b91e1dd03f196b7f4","datavalue":{"value":"simple group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177418$AF403936-7ED3-4978-89D1-693D4B65D98B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b60186cae6c148015fe2cf0a9c9ab48a6b77c92","datavalue":{"value":"Q29030110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177418$A42C82AA-954B-445D-8B6D-6B4EEE0D3D0F","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":"Q1177418$76B2D626-203C-4134-9735-292F2F41D4F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"691d04ec60aeada19c723686c12499fcbeb7280d","datavalue":{"value":{"entity-type":"item","numeric-id":3708174,"id":"Q3708174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$6F4A04BC-44F0-44F8-86F7-37FF37FBD65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd6f5b928260ca1aebfd412aed15e79952d547c","datavalue":{"value":{"entity-type":"item","numeric-id":4010720,"id":"Q4010720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$ADD2603F-53CF-4586-A1A9-2CE6F269C00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f7f88fe4b2942ea8e1134afe93238b4c28f059","datavalue":{"value":{"entity-type":"item","numeric-id":1185527,"id":"Q1185527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$8AD25183-FF0B-403D-B4A4-21DE4BDFE0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1b6ae2d699042112d00a9aa80bbaae8f989453","datavalue":{"value":{"entity-type":"item","numeric-id":2535255,"id":"Q2535255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$06FF82FC-088F-4149-8951-993F0BE09CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7414d4f64b636aba036de6fe5b7035552baa244e","datavalue":{"value":{"entity-type":"item","numeric-id":758546,"id":"Q758546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177418$71BEEA64-93DE-44C0-BEBA-5ACC974E89DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe512e0bf18ae80eebf83a141bd5b302c51290a9","datavalue":{"value":{"entity-type":"item","numeric-id":5289078,"id":"Q5289078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a76b72cc435adbe4788bf65b1582bdc78643a2","datavalue":{"value":{"amount":"+0.9078455567359924","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":"Q1177418$4463C5C2-C634-4AB8-9629-B51A0D25C721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54227843cdff8b96cd4b753bab334b5f2defe08","datavalue":{"value":{"entity-type":"item","numeric-id":1306831,"id":"Q1306831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccf3612f5022d0793d8aa507491d6190283b7f8","datavalue":{"value":{"amount":"+0.8557943105697632","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":"Q1177418$C39DA406-729D-41EC-89E9-ADC8767118CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9609d714e0fb3fe82c2c5f77aa1f41df8fd0e7b2","datavalue":{"value":{"entity-type":"item","numeric-id":4827939,"id":"Q4827939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5285c49ff98723055d14aacb6ded1c9e1103126e","datavalue":{"value":{"amount":"+0.8217179179191589","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":"Q1177418$5E03BEB8-1D5F-450A-BF9B-196A2F2933CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The uniqueness of groups of type \\(J 4\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_uniqueness_of_groups_of_type_%5C(J_4%5C)"}}}}}