{"entities":{"Q921108":{"pageid":922956,"ns":120,"title":"Item:Q921108","lastrevid":65361549,"modified":"2026-04-12T02:04:03Z","type":"item","id":"Q921108","labels":{"en":{"language":"en","value":"A proof of Holt's algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4165153"}},"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":"Q921108$E756854F-325A-40A2-A3F1-0CDC3E36137E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"640337848be6c5bd4ad54ffe36593cc34320071a","datavalue":{"value":{"text":"A proof of Holt's algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q921108$528FB9F3-324F-4139-9F8B-FBE5655843D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"789c7833960baf1c1f0f96ac3693e2cf2400b69a","datavalue":{"value":"0709.20006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921108$D6E5A17B-FC1A-430C-AAD4-735F3781DC4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b8f02db94c7888ca7adb194854efd540e92faae","datavalue":{"value":"10.1016/S0747-7171(88)80029-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921108$9A72601B-BB05-4707-9AC0-6255623CECCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a15a7463c9a3aa2d15e67d57d22099c9fe5a55","datavalue":{"value":{"entity-type":"item","numeric-id":921107,"id":"Q921107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$E13F4F9E-0C3C-45D6-8680-880B2B88B41A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$E6CA13C0-5C99-40B3-93D3-71CEC979BE1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q921108$F3F79CB2-6A5B-470C-B505-FDB6B0475DB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c80cfa9c7a05790488336d2bfa93aa61bc893f4f","datavalue":{"value":"Holt's algorithm was first described by \\textit{D. F. Holt} several years ago [in Computational group theory, Durham 1982, 307-319 (1984; Zbl 0544.20004)]. The algorithm works on a p-group which has a base and a strong generating set that gives a subnormal series. The algorithm obtains a p-step central series and power commutator presentation for such a p-group.    In the current paper not only is a proof of the algorithm presented, but also a more detailed description. To obtain the proof, the author views the algorithm as a conversion from a subnormal series to a p-step central series. The algorithm must also preserve a strong generating set for each group in the series, and a proof of this fact is given separately.","type":"string"},"datatype":"string"},"type":"statement","id":"Q921108$A2C109C3-83EA-44B6-9447-BBB7B2BD0D72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac1dafab2cb163643c64b3cf5c7678542cb29be","datavalue":{"value":"20B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921108$900577B8-7633-423D-A23A-8BD9227C09A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921108$5E2CC25F-CB36-4161-95AE-F4CF45E1146D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d267b79d7c375f7a21a0589ed85621f83aaaf2d","datavalue":{"value":"20F14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921108$FB4913C9-400A-4DFF-8035-644C0C5874E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921108$548F9467-BBC7-4AF9-817B-1B1BBF3B9FBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75a55237a5812bf4cb8ad57eccffc5e1d351fb93","datavalue":{"value":"4165153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921108$6B249003-EFC5-47F7-B70D-65AF5353D146","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a52700cc9394bd031d7442ca595257963b27082e","datavalue":{"value":"Holt's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q921108$66FC231E-9A6E-442A-90B9-C9153F838A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81332de89f6fe00a43874407e4d77f164824fd5e","datavalue":{"value":"p-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q921108$54915CFF-E882-45DC-AA82-A871CF1E63D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e07f1a1a77e6f44d685f4533a73f67e8e20554","datavalue":{"value":"strong generating set","type":"string"},"datatype":"string"},"type":"statement","id":"Q921108$58A784E3-5A2E-4EAD-ABB3-90335E4A94F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3681fcde5377a0ed4c1bfc982859801a092925","datavalue":{"value":"subnormal series","type":"string"},"datatype":"string"},"type":"statement","id":"Q921108$B4694F83-9107-45C3-B9E4-ABD346E758A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226d9a9e28a7b5278d6f24f46519183a2a4af37a","datavalue":{"value":"central series","type":"string"},"datatype":"string"},"type":"statement","id":"Q921108$C25EBE28-5B9F-46B2-86AD-173A8AF7EF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd23abd39181f6d88557ff22cd4377bb9a2c16c","datavalue":{"value":"power commutator presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q921108$54131B34-CD1D-44DA-B481-8C75C16A9A27","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":"Q921108$DBA245EB-7E0E-4ACE-BB2F-7DA3D72B8F4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ad8020f92194144ef13463cf7f6a7202e453c4","datavalue":{"value":{"entity-type":"item","numeric-id":3344110,"id":"Q3344110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$59915794-D391-40DA-AFEF-E7B571FC19F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7f6ec3e7b412f216d364c3e9ebb9148e786eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3344111,"id":"Q3344111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$1E331CFA-3D85-476E-83BC-FC6393EBF690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715b243e6ff3944707c1664637a97f771da5666c","datavalue":{"value":{"entity-type":"item","numeric-id":3344109,"id":"Q3344109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$3A45B3F0-3BD4-4966-8042-E529625335A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d2b0a6bd7cba82529133bea55664e9c71b78b2","datavalue":{"value":{"entity-type":"item","numeric-id":3871077,"id":"Q3871077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$9261804B-D4E8-43F5-A5BC-84D3554428AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c435d235f5dd5d88317484b4ce4d5923395e2745","datavalue":{"value":{"entity-type":"item","numeric-id":1165581,"id":"Q1165581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$47F5C728-6576-4675-A7DD-ED096982CD47","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":"Q921108$A38DFD84-CE29-48D0-AE66-0D5A4706D787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485e1ccba3f1f4f3a7eacdddfc5c2f01f4eec1dd","datavalue":{"value":{"entity-type":"item","numeric-id":3338422,"id":"Q3338422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$D79875D3-83D8-467F-A7A3-FB7336330585","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":"Q921108$3385EFA0-8845-4B4F-A8E2-D7B1F68726C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6f3dd312c7e08b01499061f6f7c9bc5026ded6","datavalue":{"value":{"entity-type":"item","numeric-id":5570972,"id":"Q5570972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$F4FE5CE1-D670-43FD-BF97-2B026ABA193C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5cab814cd603492c1673559e52eda9669c1aa7","datavalue":{"value":{"entity-type":"item","numeric-id":5512231,"id":"Q5512231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921108$24BC18AD-A26A-47B7-9417-0B2CF87A43D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae75444cb41bf7041fd7502eb501bd611782380f","datavalue":{"value":{"entity-type":"item","numeric-id":1260764,"id":"Q1260764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb520d94583e7670965d11308713b21e98eb5c0","datavalue":{"value":{"amount":"+0.8651921153068542","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":"Q921108$A01D7905-1B31-4FE4-A057-750D0FAF603B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bbb069f8a3bfe6e743a613a434820e9d6ddada9","datavalue":{"value":{"entity-type":"item","numeric-id":917695,"id":"Q917695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2a454010330f0f4e5a5cda0abe0bf15f0defca","datavalue":{"value":{"amount":"+0.8635197281837463","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":"Q921108$73AB35DC-563D-4526-AF75-E5C28CE7E152","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":"c3f4d1701697699d3a4a826049a4b6114a3ee3b5","datavalue":{"value":{"amount":"+0.7823883891105652","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":"Q921108$355405CE-3E6B-44D6-B062-C9394D20F345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb406d15ebfd614bebff1df8751284e685cce6d","datavalue":{"value":{"entity-type":"item","numeric-id":1123257,"id":"Q1123257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7954e9fd1e6bcb783eff1d5e87aaa57d4a6074f","datavalue":{"value":{"amount":"+0.7802223563194275","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":"Q921108$88EDDFFF-ECA3-450B-81E7-0865BB8100C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0bc937a2024c4be6d5a7585ec305921af80cad","datavalue":{"value":{"entity-type":"item","numeric-id":3030993,"id":"Q3030993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cb1f7d9efdb05e367c467666af917be74efb87","datavalue":{"value":{"amount":"+0.7357447743415833","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":"Q921108$22319059-E8B6-4041-B38D-CEF981987A78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of Holt's algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_of_Holt%27s_algorithm"}}}}}