{"entities":{"Q801032":{"pageid":802880,"ns":120,"title":"Item:Q801032","lastrevid":48758143,"modified":"2026-01-05T19:24:18Z","type":"item","id":"Q801032","labels":{"en":{"language":"en","value":"A computer program for the calculation of a covering group of a finite group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3879128"}},"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":"Q801032$2387CEE3-21BC-40B3-A913-EA72AAE23C3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3005ed344dbb750d96687780e04687c571d7113","datavalue":{"value":{"text":"A computer program for the calculation of a covering group of a finite group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801032$B91B3095-2725-43E8-B53D-0C42EC00BEAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ca41c086db99d98c1a49b7452a62b341e72795b","datavalue":{"value":"0552.20006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$1AD1FE03-19B3-484B-896D-953A46D94844","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a999fb5f90fc3f0d1943bfc04b8c3cceb9afe81","datavalue":{"value":"10.1016/0022-4049(85)90046-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$F0DD5B24-76CB-444F-949A-1FFD420E31C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801032$35D208F2-23B0-466A-A8D2-B8193BDB2C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q801032$18048433-C294-40A3-8F02-36FCBBE5388E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed7516fde3efc38a98c25520219e09c640f4fd35","datavalue":{"value":"This is a direct continuation of the same author's paper [Computational group theory, Proc. Symp., Durham/Engl. 1982, 307-319 (1984; Zbl 0544.20004)]. In the calculation of the multiplier M(P) of a p-Sylow subgroup P of a permutation group G by the NQ-algorithm actually a certain covering group \\(\\hat P\\) of P is obtained.    By methods described in the above mentioned paper, a subgroup X of M(P) can be constructed such that the p-part \\(M=M(G)_ p\\) of the multiplier of G is obtained as M(P)/X. Forming \\(\\hat P/\\)X one gets a presentation of a certain extension D of M by P. D corresponds to an element \\([D]\\in H^ 2(P,M)\\). Its image under the corestriction map \\(Cor_{P,G}: H^ 2(P,M)\\to H^ 2(G,M)\\) is found, defining an extension \\(\\hat G_ p\\) of M by G. Finally defining relations of a covering group \\(\\hat G\\) of G are composed from those of the \\(\\hat G_ p\\), and, if there are several covering groups these are constructed from the first one.    The theory involved in particular in the actual construction of \\(Cor_{P,G}\\) is given in detail as well as a short characterization of the new programs that had to be implemented in addition to those already needed in the previous paper. The paper closes with some examples of the use of the implementation, giving presentations of the (unique) covering groups of PSL(3,4), \\(M_{22}\\), and PSL(4,3).    (Reviewer's remark: The author has meanwhile continued this very interesting line of research by extending his methods to the calculation of cohomology groups for non-trivial modules and corresponding extensions. This will be reported about in a forthcoming paper: The mechanical computation of first and second cohomology groups.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$5DE61453-9950-4419-9656-2BF58AAAA0A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be76a30d5cf6c1b77e77a7d9e5e7dbbce5001104","datavalue":{"value":"20C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$8804B1A7-5383-4246-A61C-786F9B423EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$A5B36257-8178-467A-A63A-5C6CDD6A44DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$F7808112-28B3-4F54-A07F-4596B201CC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$6C0ECAE3-B035-4140-B881-3B9C7D3C3BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$DB3417E9-73E7-42B7-A101-8FBD1EDB9D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0263b32e83600484705251eaa3573c8b68652eab","datavalue":{"value":"3879128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$067788A1-30CF-4447-8D1D-01AA5159EEDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc266cf7e3e0bf467fede249ace8017328e6e352","datavalue":{"value":"multiplier","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$30EC56ED-E64D-4585-865F-83B08D156132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07b25e6b8df2337162d3b05db4a0fd58b12e6f5d","datavalue":{"value":"p-Sylow subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$256A40E9-2B57-4825-85BC-218155E65976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07f85129e5a74252a21c1c1a16f98e8c7008066e","datavalue":{"value":"permutation group","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$779BBA6E-78B8-4ADE-8525-0A4CB7E54B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a981607667491365fe3a041168fd4053ce40c70","datavalue":{"value":"NQ-algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$7D22EB98-7E19-4DF3-9D8D-AA2782AEFC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e986f205a53c956ce83852b88693f1f1cb56e42c","datavalue":{"value":"presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$9E758248-5C0D-4467-914B-8096D9CFE9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"174deddaace554665a98c4fe77fd7910c84f1d5e","datavalue":{"value":"corestriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$49439EFA-11BB-48E1-AF4A-EA9F0252C573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$ACCBFBF4-E7DD-42AB-86AA-1C9E180E6001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1929c037b3925dff7522a5652dadc770a3afef0c","datavalue":{"value":"covering group","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$02C402A0-0169-4D46-B85B-9EB9C623467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4600ff481eb8c60465bc1f7d654433b320c589d","datavalue":{"value":"cohomology groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q801032$5B691C53-7EC2-45F9-942E-76DB413121CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4379837ed1398a617242a1336a8f80b2ef7c97a7","datavalue":{"value":{"entity-type":"item","numeric-id":169336,"id":"Q169336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801032$126B7B3D-466A-4524-B0C7-B5BBD09917AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"837f1ed5523453fc24787bd0297b3654f5e5939e","datavalue":{"value":{"entity-type":"item","numeric-id":755889,"id":"Q755889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801032$51AEE2CC-1BDB-45C3-9C6F-2903F43DEBA2","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":"Q801032$214B13DD-0F24-48BE-9907-30E9563ACA9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00ed81d63877e819b8bcaddb21c37d4586e74f85","datavalue":{"value":"https://doi.org/10.1016/0022-4049(85)90046-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q801032$BEC10AEA-1603-487C-8F1F-9963F8A375D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3527427660886a983fbad60e0593b09ff048835","datavalue":{"value":"W2014270052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801032$42966549-D80D-43D7-9B3B-C59784E0832B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c216aa04883f3c27ac38d32ad4bf54c6a35c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3240881,"id":"Q3240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801032$BDD63044-21B7-4DB5-B4CC-F8B240BD3656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41aa8d28b284fcd51a769f09d4a3653a623e0039","datavalue":{"value":{"entity-type":"item","numeric-id":3333222,"id":"Q3333222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801032$C6B8D876-BD56-4528-B26D-411DB06DFDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597a01070de4d8edf89c0694f057f7806b09ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":3887632,"id":"Q3887632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801032$5A40677A-23E5-4D61-8857-F6C247DC469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e3673a62dd9ec15581453c3622d7508f55638f","datavalue":{"value":{"entity-type":"item","numeric-id":3950713,"id":"Q3950713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801032$4C4F347B-DC00-45B5-B5D9-2D0BBC58EDEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a642c8ee43ff9f3fb678b3666c5a5566345dda29","datavalue":{"value":{"entity-type":"item","numeric-id":1072655,"id":"Q1072655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548b87be55c23033067884769b8d886652c84296","datavalue":{"value":{"amount":"+0.8399233222007751","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":"Q801032$ED520CFC-DBD5-4585-921C-E4ED5E8E375C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efea764ef8112e4c062ddaf139c99814af19a3fd","datavalue":{"value":{"entity-type":"item","numeric-id":2216564,"id":"Q2216564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fcd3aedf2d66b6308129d3cf6efaab25c62b8e","datavalue":{"value":{"amount":"+0.818586528301239","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":"Q801032$6904DB68-A10C-45FF-BD5B-3EEB27A76E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ef05883762446284cf6dca32ded3b7d1640e94","datavalue":{"value":{"entity-type":"item","numeric-id":3333222,"id":"Q3333222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbb94120500c25dd79fcc92cee0b3265d224408","datavalue":{"value":{"amount":"+0.7966834902763367","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":"Q801032$4AAD5913-2492-4247-ADCB-4078A3EA409C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393d97406cb21318a8553e79e81ad48bc058271a","datavalue":{"value":{"entity-type":"item","numeric-id":1813916,"id":"Q1813916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908500aa37308959c1b52af7da00993cf573653d","datavalue":{"value":{"amount":"+0.7860041260719299","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":"Q801032$7BC4FE82-FA44-46E2-A382-03479785DC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9e04a7237d35bd5bd918a2d89a10d8f6151a9a","datavalue":{"value":{"entity-type":"item","numeric-id":3582351,"id":"Q3582351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"996bc0a0b8a9e4e0055cc8d75f989815e8fbef13","datavalue":{"value":{"amount":"+0.7814092636108398","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":"Q801032$8D613502-7209-4A32-80F6-997169B164ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:801032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:801032"}}}}}