{"entities":{"Q1913508":{"pageid":1924250,"ns":120,"title":"Item:Q1913508","lastrevid":46429515,"modified":"2025-12-24T18:49:34Z","type":"item","id":"Q1913508","labels":{"en":{"language":"en","value":"Independence and maximal subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 878728"}},"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":"Q1913508$74F9193C-C45D-4927-9EF2-D94BD27E0614","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d6f8bcdac27432164147f641b384c0e3e666ee2","datavalue":{"value":{"text":"Independence and maximal subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913508$F4168A8F-2888-44B2-80B2-20D0C5BD3988","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73d0334bd75778ba55b45d25d7bd6ca718e66fed","datavalue":{"value":"0870.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913508$EF8DEE3A-DA38-467E-B92E-7B9E156B3254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b01dd47d9427790ef67bb1461495c033dc5860","datavalue":{"value":{"entity-type":"item","numeric-id":810631,"id":"Q810631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913508$15AE36FB-1C44-411E-8105-806D7A6E6A14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913508$3BDAB545-B364-4B59-ABD4-2DE680BDFE96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34220bae1b10d2bb0cc29076c803958c352b0a02","datavalue":{"value":{"time":"+1997-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913508$DEAE1824-D7E7-4C97-B37A-C101E08539E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d61635e6faa9fa3a974d6048bb44213539e64420","datavalue":{"value":"\\(G\\) denotes a finite group and \\(M(G)\\) the set of all maximal subgroups of \\(G\\). A simplicial complex \\((M,{\\mathcal T})\\) is a finite set \\(M\\) and a set \\(\\mathcal T\\) of subsets of \\(M\\) such that: (1) If \\(m\\in M\\), then \\(\\{m\\}\\in{\\mathcal T}\\). (2) If \\(A\\in{\\mathcal T}\\) and \\(B\\subset A\\), then \\(B\\in{\\mathcal T}\\). A matroid is a simplicial complex \\((M,{\\mathcal T})\\) such that whenever \\(A,B\\in{\\mathcal T}\\) and \\(|A|<|B|\\), then there is a \\(b\\in B\\setminus A\\) such that \\(A\\cup\\{b\\}\\in{\\mathcal T}\\). Let \\({\\mathcal H}:=(H_0>H_1>\\cdots>H_\\ell)\\) denote a chief-series of \\(G\\). Then \\(M(G)\\) is the disjoint union of the sets \\({\\mathcal K}_i:=\\{U\\in M(G):H_iU=G,\\;H_{i+1}\\leq U\\}\\). Let \\({\\mathcal T}_{\\mathcal H}:=\\{X\\subseteq M(G):|X\\cap{\\mathcal K}_i|\\leq 1\\) for all \\(i<\\ell\\}\\). If \\(\\mathcal C\\) is the set of all chief-series of \\(G\\) and \\({\\mathcal T}_C:=\\bigcup_{{\\mathcal H}\\in{\\mathcal C}}{\\mathcal T}_{{\\mathcal H}}\\), then \\((M(G),{\\mathcal T}_C)\\) is a matroid. A set of subgroups \\(\\mathcal U\\) of \\(G\\) is a \\(\\mathcal W\\)-independent set of subgroups of \\(G\\), if \\(\\prod_{U\\in{\\mathcal U}}[G:U]=[G:\\bigcap_{U\\in{\\mathcal U}}U]\\). Let \\({\\mathcal T}_{{\\mathcal W}}\\) denote the set of all \\(\\mathcal W\\)-independent sets of subgroups of \\(G\\). This paper is devoted to the study of the construct of matroids.   In this direction the following results are proved: (a) Let \\(\\pi\\) denote the set of all primes, \\(M^p(G)\\) the set of all maximal subgroups of \\(p\\)-power index and let \\(M^\\pi(G)=\\bigcup_{p\\in\\pi}M^p(G)\\). Then \\((M^\\pi(G),{\\mathcal T}_{\\mathcal W})\\) is a matroid. It is the direct product over all \\((M^p(G),{\\mathcal T}_{\\mathcal W})\\) as \\(p\\) runs over \\(\\pi\\). If \\(2\\neq p\\in\\pi\\), then \\((M^p(G),{\\mathcal T}_{\\mathcal W})=(M^p(G),{\\mathcal T}_C)\\). Furthermore for \\(p\\) a prime \\({\\mathcal T}_{\\mathcal H}(M^p(G))^\\cap={\\mathcal T}_C(M^p(G))^\\cap={\\mathcal T}_{\\mathcal W}(M^p(G))^\\cap=S_C^p(G)\\). Here \\(S^p_C(G)\\) is the set of all those subgroups \\(U\\) of \\(p\\)-power index in \\(G\\) for which the M\u00f6bius number \\(\\mu(U,G)\\) is not zero. (b) One of the following holds. 1. \\(G\\) is an elementary abelian \\(p\\)-group and \\((M^p(G),{\\mathcal T}_{\\mathcal W})=(M^p(G),{\\mathcal T}_C)\\) is a matroid without a non-trivial decomposition. 2. \\(\\Phi^p(G):=\\bigcap_{U\\in M^p(G)}U>E\\) and \\((M^p(G),{\\mathcal T}_{\\mathcal W})\\cong(M^p(G/\\Phi^p),{\\mathcal T}_{\\mathcal W})\\). 3. \\(G\\) has a minimal normal non-abelian subgroup \\(N\\) and \\((M^p(G),{\\mathcal T}_{\\mathcal W})\\cong(M^p(G/N),{\\mathcal T}_{\\mathcal W})\\times(M_N,{\\mathcal T}_C)\\). 4. \\(G\\) is not an abelian elementary \\(p\\)-group, \\(\\Phi^p(G)=E\\) and every minimal normal subgroup is abelian. Let \\(M\\) denote a normal subgroup of \\(G\\), minimal under the condition that \\(M\\) is not an elementary abelian \\(p\\)-group. Let \\(N\\) denote a maximal \\(G\\)-normal subgroup of \\(M\\). Then: (i) \\(M/N\\) is not \\(p\\)-group. (ii) \\(N\\) has a complement in \\(G\\). Every chief-factor below \\(N\\) is a complemented \\(p\\)-chief-factor on which \\(M/N\\) acts faithfully.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913508$3CF22728-76F7-44FE-8052-89BBCC63F5BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f06aec0a2f72561cee00db2f984ec9e07458e976","datavalue":{"value":{"entity-type":"item","numeric-id":1398496,"id":"Q1398496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913508$7139ED3C-31A1-464D-868F-F54B5EFAE73E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0838ebc9c8bacb3297c2f0d131d4b9d35e288c46","datavalue":{"value":"20D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913508$69C978D0-9A57-4FDD-847A-7DDB15BEAFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24dd73fcad0992eba5c2f25d794776db75a510d7","datavalue":{"value":"20E28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913508$2BFDAC2A-AB94-4CDE-B4D8-FC073F26FF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f7e20e8cedacec1d370ef046cc110b16c0d5386","datavalue":{"value":"20D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913508$E66A1F81-ACBD-4615-BB00-B7F747EAFEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a854ad18943a8f23f915d2afbe74a1db431d3cdf","datavalue":{"value":"20D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913508$F601C0F1-1464-4D29-B926-DDE0C8CFE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a06727f99c93aa58e84e3d476d4f6a1bed523458","datavalue":{"value":"05B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913508$A1C527FB-471C-4C28-83A2-21903EBA2E99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98a58d14b3471b779d752841515c42363fe6de49","datavalue":{"value":"878728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913508$93AE5174-47E5-4DE4-8A32-A9E43FD47F35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caa01009b20fbb4a654157703004ef92d092a5be","datavalue":{"value":"complemented factors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913508$54E74161-50B8-4415-8716-988F9272CC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913508$71CA3BF3-4634-4639-A84B-FA945DC6760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"036c2b66c9701daad77b003d5e875cac4239af63","datavalue":{"value":"maximal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913508$B381E4DB-F105-4D60-BE23-BEC79B4517FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7644ea4a6abec99639bd19ea9cedd3a865a1ec89","datavalue":{"value":"chief series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913508$4F46AB38-3628-48DB-812E-41B60818EE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa29dc173c42c714001135614c9372ac537a409","datavalue":{"value":"maximal subgroups of \\(p\\)-power index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913508$8D73F480-0378-40E9-9059-DF38E094C62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1324c565c04eda7d5b3ecf3f847bbb496532da","datavalue":{"value":"M\u00f6bius numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913508$C8B0158B-DC4B-47F7-8806-F7AF4B929A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5dc297824b7d11874fe34da00777f43a49b810b","datavalue":{"value":"complemented chief factors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913508$9B522CAD-54F3-44EF-B3B6-746470FE96BC","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":"Q1913508$1060B93A-535B-4934-A898-ABCF5AC28A82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1693d7f19e8434f56d7c30ea7c34dc1c991d765d","datavalue":{"value":{"entity-type":"item","numeric-id":1895933,"id":"Q1895933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba17af22c3490e153a96f3ec9a40aeacdfe185a","datavalue":{"value":{"amount":"+0.8338263034820557","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":"Q1913508$2A1504FC-833E-4AAC-9D27-6536B3B63809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2ace4364f410df95066e0444606d534c2d301e","datavalue":{"value":{"entity-type":"item","numeric-id":810632,"id":"Q810632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf49c19103d3ec2392865a89299bc650c370238b","datavalue":{"value":{"amount":"+0.8302963376045227","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":"Q1913508$6383CAD1-FFEC-4BFE-AE06-D0C0D19B4F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7a21510b7c4947ec5eaebd458a248efe3391b5","datavalue":{"value":{"entity-type":"item","numeric-id":5876629,"id":"Q5876629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd531a899fe5125d1a449c9c4b6fe459165cbc5f","datavalue":{"value":{"amount":"+0.8049795627593994","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":"Q1913508$DF001955-8043-46BC-A837-637F4BBAA33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f962fdded5ac1c40039fd1b5f461c5b9c6e308c1","datavalue":{"value":{"entity-type":"item","numeric-id":3195396,"id":"Q3195396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbf33d2560a3de360c76d0cca2265384da65b41","datavalue":{"value":{"amount":"+0.779597818851471","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":"Q1913508$FA1730CC-A93C-4C7C-BAF7-183DB5E59649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1913508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1913508"}}}}}