{"entities":{"Q1379077":{"pageid":1389817,"ns":120,"title":"Item:Q1379077","lastrevid":68585364,"modified":"2026-04-13T00:44:40Z","type":"item","id":"Q1379077","labels":{"en":{"language":"en","value":"Irreducible character degrees and normal subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1115994"}},"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":"Q1379077$E28E0D97-0326-411D-8EDA-6BFBF9225E20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43ab3a89c9477961149149ee13b26f1b715d38d8","datavalue":{"value":{"text":"Irreducible character degrees and normal subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1379077$2BB36526-A23F-47C0-B94E-452C55D980B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ad5672a55c6cfa4dbe736f6c1d2db7c61c19044","datavalue":{"value":"0889.20005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379077$3DF7BA32-2C67-4AAF-A93F-9ED48932D955","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a176df77975d102fa0d650592af8aca6a175ed88","datavalue":{"value":{"entity-type":"item","numeric-id":168809,"id":"Q168809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$C95CDBBB-041B-4A8D-A6D2-4752353F6B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fef4164465f0e08d17f157c22777c16bb091271","datavalue":{"value":{"entity-type":"item","numeric-id":1379076,"id":"Q1379076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$D056B58A-88B7-4BF1-B867-0098E63B82D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$5C08E992-CD26-4CBF-A2EA-3AE796D91C3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21d663cf2136732024b7cfb9c21866e27df002a9","datavalue":{"value":{"time":"+1998-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1379077$FE605EFA-8F28-430C-A3D2-413E7AEC6E99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b42ab152cd8c61b3258438166a5b53dac9eaa4d","datavalue":{"value":"https://arxiv.org/abs/math/9702233","type":"string"},"datatype":"url"},"type":"statement","id":"Q1379077$2455B94E-4589-4CCE-84FD-11B183C838AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"928500edabd10a4d1b3182b35939a985fa9aba70","datavalue":{"value":"Let \\(G\\) be a finite group and \\(\\text{cd}(G)\\) the set of degrees of the irreducible characters of \\(G\\). Let, in the sequel, \\(N\\trianglelefteq G\\) always. Write \\(\\text{cd}(G|N)=\\{\\chi(1)\\mid\\chi\\in\\text{Irr}(G)-\\text{Irr}(G/N)\\}\\). If \\(G\\) is solvable then \\(\\text{dl}(G)\\) is the derived length of \\(G\\). Below we formulate some results of this remarkable paper.   Theorem A. Let \\(N\\) be solvable, and write \\(n=|\\text{cd}(G|N)|\\). Then \\(\\text{dl}(N)\\leq f(n)\\) for some quadratic function \\(f\\). Furthermore, if, in addition, \\(G\\) is solvable, then a linear upper bound exists. Theorems B and C. (i) If \\(|\\text{cd}(G|N)|\\leq 2\\), then \\(N\\) is solvable and \\(\\text{dl}(N)\\leq|\\text{cd}(G|N)|\\). (ii) If \\(G\\) is \\(p\\)-solvable for all prime divisors of \\(|N|\\) and \\(|\\text{cd}(G|N)|\\leq 3\\), then \\(\\text{dl}(N)\\leq 3\\).   Part (i) solves affirmatively a question from [\\textit{Y. Berkovich}, Proc. Am. Math. Soc. 125, No. 3, 669-677 (1997; Zbl 0861.20010); see the last paragraph]. In particular, if in part (ii), \\(N= G'\\) then \\(\\text{dl}(G)\\leq 4\\), an unpublished result of \\textit{S. Garrions}' Ph.D. thesis (Univ. Wisconsin, Madison, 1973). The authors conjecture (a) (ii) is true if the hypothesis that \\(G\\) is \\(p\\)-solvable for all \\(p\\in\\pi(|N|)\\) were replaced by the weaker assumption that \\(N\\) is solvable, and (b) if \\(N\\) is solvable, then \\(\\text{dl}(N)\\leq|\\text{cd}(G|N)|\\) always. The proof of part (i) depends on the classification of finite simple groups.   Theorem D. Suppose that every member of \\(\\text{cd}(G|N')\\) is divisible by some fixed prime \\(p\\). Then \\(N\\) is solvable and \\(p\\)-nilpotent.   To prove Theorem D, the authors make use of the following consequence of the classification of finite simple groups: In particular, if \\(p\\mid\\chi(1)\\) for all \\(\\chi\\in\\text{Irr}(G|N)\\), then \\(N\\) is solvable and \\(p\\)-nilpotent [see \\textit{Y. G. Berkovich}, Proc. Am. Math. Soc. 106, No. 1, 33-35 (1989; Zbl 0685.20006) and \\textit{Y. Berkovich}, J. Algebra 171, No. 2, 426-443 (1995; Zbl 0829.20011), Proposition 9 and the remark following it]. Lemma 2.2. Suppose \\(A\\) acts on \\(G\\) via automorphisms (i.e., that action is faithful) and \\((|A|,|G|)=1\\). If \\(C_G(A)=\\{1\\}\\), then \\(G\\) is solvable.   The following theorem is useful in inductive arguments. Theorem 3.1. Suppose that \\(N\\) has an Abelian normal \\(p\\)-complement for some prime \\(p\\). If \\(\\chi\\in\\text{Irr}(G|N)\\) is chosen so that \\(\\chi(1)_p\\) is as small as possible, then \\(N'\\leq\\ker(\\chi)\\). In particular, if \\(N>\\{1\\}\\), then \\(|\\text{cd}(G|N')|<|\\text{cd}(G|N)|\\).   As an easy consequence, one proves the following nice result: if \\(N\\) is nilpotent, then \\(\\text{dl}(N)\\leq|\\text{cd}(G|N)|\\) (Corollary 3.3). Corollary 4.3. Let \\(F=F(G)\\) be the Fitting subgroup of \\(N\\), where \\(N\\) is a nontrivial normal solvable subgroup of \\(G\\), and let \\(m\\) be the maximal element of \\(\\text{cd}(G|N)\\). Then \\(m\\not\\in\\text{cd}(G/F|N/F)\\). Corollary 4.4 and Theorem 4.5. If \\(N\\) is a proper normal solvable subgroup of \\(G\\), and write \\(n=|\\text{cd}(G|N)|\\). Then the nilpotent length of \\(N\\) does not exceed \\(n\\) and \\(\\text{dl}(N)\\leq n(n+1)/2\\). If, in addition, \\(G\\) is solvable then \\(\\text{dl}(N)\\leq 3n\\). Lemma 5.1. Suppose that \\(a\\) is the minimal number in \\(\\text{cd}(G|N)\\) and \\(H\\leq G\\). If \\(|G:H|\\leq a\\), then \\(N\\leq H\\). If \\(|G:H|<a\\), then \\(N\\leq H'\\). Lemma 5.2. Let \\(\\alpha\\in\\text{Irr}(N)\\), \\(N\\neq G\\). Suppose that \\(\\alpha\\) is \\(G\\)-invariant and let \\(p\\) be a prime that does not divide \\(o(\\alpha)\\alpha(1)\\). Then there exists \\(\\gamma\\in\\alpha^G\\) such that \\(p\\nmid\\gamma(1)\\). Corollary 6.3. Let \\(N\\) be a proper (normal) subgroup of a solvable group \\(G\\), and let \\(a\\) be the minimal element of \\(\\text{cd}(G|N)\\). Assume that at least one of the numbers \\(a\\), \\(|N|\\) is odd. Then \\(a\\not\\in\\text{cd}(G|M)\\), where \\(M\\) is the final term in the lower central series for \\(N\\).   Note that the paper is reasonably self-contained modulo \\textit{I. M. Isaacs}' textbook on characters (1976; Zbl 0337.20005) (moreover, it supplements considerably Chapter 12 of that book).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$64CF8319-7C0F-42B4-A6A9-39BD9A05BEC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379077$C003A792-A76F-443D-B1F1-9745EAFBA0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379077$12F55D50-23DC-45B1-9416-05434D8E56EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379077$8FC1D78C-CAEB-4650-8C65-2FCC1109DC4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8dc78e7bafbf1f7cc5254de87055c91305d5126","datavalue":{"value":"1115994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379077$FA2B8C69-9DF9-448E-B2FD-74C519EB3469","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99e32269a467ddf823f853c248ad365179a08fb","datavalue":{"value":"degrees of irreducible characters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$C8A7361B-DC35-4E54-A9DE-A8B48B61C747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$C5E155C6-1C77-4D56-8D39-96A97CCC6D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80fd9e3eceedfb078872ad6c76ebd18d4694c5a1","datavalue":{"value":"derived lengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$50CB274C-43CD-4289-947E-BAE10FDA5036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7017cf1bf4de03f65bd8bb6ff2dde903b34ba2d3","datavalue":{"value":"Abelian normal \\(p\\)-complements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$B4AB7992-3AF3-413A-B4DE-EC895AE8E541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1ae4f4159bf61e43130eb8610dd1b71effb65b","datavalue":{"value":"Fitting subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$0A7A4167-94AD-47BD-A70B-62457DB16054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190bb7bd324e4bf62b6d80211af6b1ed15c15293","datavalue":{"value":"normal solvable subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$D6249FA7-A6E5-4995-8F70-4C43A3F1190B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23cc935abf6b4ad1d978f7522b6247cad41b017f","datavalue":{"value":"nilpotent lengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$9CFC5727-EB2B-4E37-A14E-944F08D23DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65a875072cd69211ac27499ecb9e6a66aee3fe6","datavalue":{"value":"lower central series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1379077$37FD82E1-6C07-4D07-90D2-CC1EB7079385","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac220552faebedf7eaa1e44220e5a8ba1f6b0dc3","datavalue":{"value":{"entity-type":"item","numeric-id":1646327,"id":"Q1646327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$582661B3-81CF-498E-B956-506B9A36C7E1","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":"Q1379077$9359BEAE-014A-453A-84B3-3BB7F1B1E6D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3044e3719a631eb17e63efeb8c17196933ee8ec","datavalue":{"value":"W2024550770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379077$1995C709-D5B6-4B6D-A7A8-4E96DE7E0B8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9db947564f8ca4bb5586e280f1174dec812bad","datavalue":{"value":{"entity-type":"item","numeric-id":1239799,"id":"Q1239799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$2B466E6B-58EB-495C-959C-CC0F4E8DE68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061571ea44b11836c444de31d1403038dbf8f525","datavalue":{"value":{"entity-type":"item","numeric-id":4735324,"id":"Q4735324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$E6BAC5CF-794A-4A66-8873-9C5D9B2FDE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3346a883bb91c42bf6783894ce3e36a3b9370049","datavalue":{"value":{"entity-type":"item","numeric-id":3686873,"id":"Q3686873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$E10C6B8F-CE35-4532-88B7-B4874904EBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f7756dc6aecf47a92a49211d75ed6511671fad","datavalue":{"value":{"entity-type":"item","numeric-id":4063616,"id":"Q4063616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$F352DE2D-D8B6-491E-9290-5DABCB05C7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fcc431830683aabfa39495cf0be8adcfe9b3ea","datavalue":{"value":{"entity-type":"item","numeric-id":4103728,"id":"Q4103728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1379077$4FAA11FD-3F61-4A96-89DA-AAE816C8FAB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41ff5daa471771b1e5d4a94a447ef45afe1639ff","datavalue":{"value":"10.1006/JABR.1997.7191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1379077$53490D5E-C869-4A4C-93B8-A07EB84D325A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7bfce14834ff927ce1f827f85cc1130049053d","datavalue":{"value":{"entity-type":"item","numeric-id":2376686,"id":"Q2376686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5068c262fbcc13b7bf48388cc7a6cc96c0f60ad","datavalue":{"value":{"amount":"+0.8754791021347046","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":"Q1379077$975D7635-65B6-46C0-B84F-0B09E5315C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0b69be5c914f9dc3dcf972e4db48f4cd2718ef","datavalue":{"value":{"entity-type":"item","numeric-id":1356814,"id":"Q1356814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c6674203d2794371938192e2b210ba0c7dbaa5","datavalue":{"value":{"amount":"+0.8619179725646973","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":"Q1379077$90764D6C-F6E5-47CC-B0FF-09327061DE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cacb23b2ff53b4cd4f00a052710064a697399a5","datavalue":{"value":{"entity-type":"item","numeric-id":1270406,"id":"Q1270406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02acfab03491f7d7763239caf47c6622f7dd3fb7","datavalue":{"value":{"amount":"+0.8597881197929382","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":"Q1379077$D230E1CB-F8E9-4FF8-8DEB-C61F0A2CCF88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Irreducible character degrees and normal subgroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Irreducible_character_degrees_and_normal_subgroups"}}}}}