{"entities":{"Q1108367":{"pageid":1119116,"ns":120,"title":"Item:Q1108367","lastrevid":69661959,"modified":"2026-04-13T08:32:32Z","type":"item","id":"Q1108367","labels":{"en":{"language":"en","value":"Intersecting subgroups of finite soluble groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4067170"}},"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":"Q1108367$7BD589E9-07FB-4F19-A9AF-07AE08823DAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d25da82664c6ab6c3635c36bf034caef9b8d57d","datavalue":{"value":{"text":"Intersecting subgroups of finite soluble groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108367$BC6D3A43-9DF6-480C-8152-EEA5BEAF2408","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f11f876707fa15ccd40c4f6ac2df548e2d7094f","datavalue":{"value":"0654.20002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$1AE3FB49-BEAF-4427-ADF1-9BE729108BDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d097a007497426e5616d1ae00270104678ef2aef","datavalue":{"value":"10.1016/S0747-7171(88)80031-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$0E8E7326-9ACD-4D4A-8BC6-E89305E72A0A","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":"Q1108367$E7DBD4A7-3E7C-4483-9A1E-7D7658DA8C77","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":"Q1108367$43B3EB12-DD0E-46E1-AECC-3FFBC157C57A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e470c8bd81cc74a7239b4f9205849ac1e77bae5","datavalue":{"value":"[See also the preceding item.]    For computational purposes a finite solvable group G is described by a power-commutator presentation (pcp) with generators passing through a chain \\(G=N_ 1>...N_ r>N_{r+1}=1\\) of normal subgroups of G with elementary abelian factors \\(N_ i/N_{i+1}\\). A subgroup or factor group modulo \\(N_ i\\) is described by an induced sequence of pcp-generators. There are collection processes which transform a given word into a normal form with respect to the given pcp. Algorithms are being developed that proceed by recursion from \\(G/N_ i\\) to \\(G/N_{i+1}\\); this is known to be efficient for finite p-groups. The two papers address the problems of finding a conjugating element x for conjugate subgroups and of constructing Hall subgroups, normalizers of subgroups and the intersection of subgroups H and K. Corresponding algorithms are proposed under additional hypotheses, namely when the conjugate subgroups are Hall \\(\\pi\\)-subgroups, the normalizers are taken of Hall subgroups, and when every \\(N_ i/N_{i+1}\\) is covered by one of the intersected subgroups H and K or is central and avoided by H and K. A VAX implementation produced favourable running times on two groups \\(G=((C_ 7 wr C_ 5) wr C_ 3) wr C_ 2\\) and \\(G=(S_ 4 wr S_ 4) wr S_ 4\\) of orders 2 13 25 \\(67^{30}\\) and \\(2^{63}3^{21}\\) with short relations in the pcp. The intersection algorithm is generally applicable for p-groups and yields running times comparable to those for an existing p-group algorithm by Leedham-Green described in the SOGOS paper [\\textit{R. Laue}, \\textit{J. Neub\u00fcser} and the reviewer in Computational Group Theory, Proc. Symp., Durham 1982, 105-135 (1984; Zbl 0547.20012)]. Meanwhile the author and M. C. Slattery (preprint) have extended these algorithms to the general situation, where, however, they still rely on unfavourable orbit- stabilizer algorithms (SOGOS paper) in extreme cases. They are being implemented in the systems CAYLEY and SOGOS.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$96609383-E182-415B-9FEB-5DFA3C0DFBFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$592A0618-6620-41FC-8F51-A0F12A35DA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$99018091-822E-4EE3-857E-CDF3C5FA763C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$10A62557-1B82-4748-9503-81019D5196F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$AEE0CDDA-6152-4E58-A7D7-8542A51DE597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f7e20e8cedacec1d370ef046cc110b16c0d5386","datavalue":{"value":"20D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$972C8E54-E8D3-4DA9-B732-F7F03B3BF012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$22A74018-A80B-4C82-AA4F-3FE874726877","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1dfc57d07789b7f907edde76118ecca62c9242e","datavalue":{"value":"4067170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$80007B2D-1083-4600-BDB9-AF866E42760C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eccd80947b182807e39104055088dcae6742843","datavalue":{"value":"finite solvable group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$1002CB33-4D39-4082-878E-4B59684B0E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"469119dff508f3686fd7d22f44968895d0f666c4","datavalue":{"value":"power-commutator presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$E3A3ACF3-105C-4664-890E-C79113962F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$FDCA0184-2275-454B-A5AE-DA4135441E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ffbf454c3af8abba15bfe3c79469acc9f754d13","datavalue":{"value":"pcp- generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$D2FF2717-8EB3-441D-BF75-F2255DC6E190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0bc862a160563e3229bee0517419b2e045279aa","datavalue":{"value":"collection processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$82098451-71A8-4D14-9CB5-1B00B7BECDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457432abdcc1b0a9f7fb2db040833c856e43fdfd","datavalue":{"value":"finite p-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$401AA6D4-38BB-4EFC-B1C1-618207CBB1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a267a04da4658665fdbf27497e85a68d345ab9ca","datavalue":{"value":"normalizers of subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$51A8A782-DB5D-4159-9033-6AEC6E86A6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6100e133c47bc9e8936b40a88475b5cc11111c","datavalue":{"value":"intersection of subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$E543EA69-E920-472A-BB19-E2F6F4E73584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$733A3FF2-0F8D-4E3D-BBD0-2D7B81A0F53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e42a042e274e76d292c279f05124bc117b610c90","datavalue":{"value":"Hall \\(\\pi \\) -subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$2F9F0312-400D-41E2-B931-5CA1DE4B0246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b388c639875251f533390c7cd6d1fcf133d717d","datavalue":{"value":"CAYLEY","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$4AB307FB-E0AA-43CD-8DA5-3FB1070A2F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c5d2e10d833809924dd3af31f8acd394943ace6","datavalue":{"value":"SOGOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108367$8B4249CA-EE05-49C3-91E0-5424C0DDF411","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c33739f4bc1891f46c55cf571a119eece37102b","datavalue":{"value":{"entity-type":"item","numeric-id":2093228,"id":"Q2093228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$581D8BDB-519A-4CAB-A28C-22687F0FD553","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":"Q1108367$B2845FD7-089E-4391-8237-B680369462C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafbe6e74ece39381ae990481bee2edcf4ca617e","datavalue":{"value":{"entity-type":"item","numeric-id":3289024,"id":"Q3289024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$A1622AC4-0EA1-444F-A862-368BF68469E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d9c1dcd930c154d83da4d354e4da8c046d3440","datavalue":{"value":{"entity-type":"item","numeric-id":5589384,"id":"Q5589384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$D49287C8-3775-4E5A-BE25-52873662629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151343f00030e653e72ca99fa37df61f8cb264a4","datavalue":{"value":{"entity-type":"item","numeric-id":1108367,"id":"Q1108367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$0E9F9E2D-83AB-4CEC-A1FF-EB7610BC1619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405b25c426818953ff69c7c0f9369bf2492e916","datavalue":{"value":{"entity-type":"item","numeric-id":1108366,"id":"Q1108366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$35028C93-314D-4D2F-8B25-905A5F1C0D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a4c4abf23eee66fdd8b31e53f9bf8052faf0f","datavalue":{"value":{"entity-type":"item","numeric-id":5769262,"id":"Q5769262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$99899219-E3A9-45F2-9E19-455CC0B0EB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e89c287898000462116ae233ce1dde7aa9e93eb","datavalue":{"value":{"entity-type":"item","numeric-id":5777525,"id":"Q5777525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$47502B6C-D5DD-4CAD-BEEA-A841349CEC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2bb384172493e2afe63ee6d72dfa766165c86e","datavalue":{"value":{"entity-type":"item","numeric-id":5580298,"id":"Q5580298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$C76F9691-86E9-4A2E-9148-0B9E9067F962","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":"Q1108367$D7B3A16F-02BA-45CA-88E0-D33064B27CFE","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":"Q1108367$7E640F8B-12D8-43E2-8316-F1AC9DD30606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50dd4dc0740a49694426ef4ad247e0b8f141a91f","datavalue":{"value":{"entity-type":"item","numeric-id":3941589,"id":"Q3941589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108367$221037CF-2BC6-4F9F-8EC7-76DCC02B6842","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f0d333a471ad4848ed83491176780ce3260d015","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(88)80031-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1108367$CF682BAA-88C7-4B9A-8E18-4331A7DEF18D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6c89dafdd97075016025563afbd07257bab8c8b","datavalue":{"value":"W2008105878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108367$52F88F0C-407F-4C53-A68C-8BC7F4613738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaec288bb12fc4ac8b212f18fa678d7cf946fc1d","datavalue":{"value":{"entity-type":"item","numeric-id":919456,"id":"Q919456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7ed3f327a74ff0e4f6090326de49226c8dac8e","datavalue":{"value":{"amount":"+0.9047646522521972","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":"Q1108367$346303D1-2F66-4D92-ADD2-A669CE60D9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1204a959b3e7f52cbf5ecb4b354b394a534e480d","datavalue":{"value":{"entity-type":"item","numeric-id":3338422,"id":"Q3338422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcc9da415a186444e638b45afda05b458608660","datavalue":{"value":{"amount":"+0.8460761308670044","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":"Q1108367$BDBB878F-AB5B-43FA-8D71-EF341A9971E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605ae4a5141b4af036c355f50991dacb96825ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1382041,"id":"Q1382041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b39908f604305555a47cf677d1ab5321e2236b","datavalue":{"value":{"amount":"+0.8245895504951477","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":"Q1108367$C9B837D2-2545-4AE9-9A6D-373CA850F247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520a36439dddcc542c9ff1fa77eec450dcf4ff37","datavalue":{"value":{"entity-type":"item","numeric-id":2639959,"id":"Q2639959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23042fbd865c698bf53cf452b920edc54ece1bf6","datavalue":{"value":{"amount":"+0.8223330974578857","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":"Q1108367$5F1658CB-806C-4B00-993D-C5CA04633C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4e27685435a2d98665a8ae11661813d78e5ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2762217,"id":"Q2762217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7ba340256965b7bff8b10c5f3f26d0c01a1555","datavalue":{"value":{"amount":"+0.8134486675262451","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":"Q1108367$2E288FCF-745A-4140-9B7E-529C6F1BBE3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersecting subgroups of finite soluble groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersecting_subgroups_of_finite_soluble_groups"}}}}}