Some problems in the theory of finite insoluble groups
<p>In this thesis, a study is made of finite groups which satisfy the following hypothesis:-<br/> <p>(*) G is a finite group admitting an automorphism α of order r with a fixed point subgroup of order q, where q and r are distinct prime numbers.</p> <p>The main result i...
Main Author: | |
---|---|
Format: | Thesis |
Published: |
1969
|
_version_ | 1817932175259992064 |
---|---|
author | Collins, M |
author_facet | Collins, M |
author_sort | Collins, M |
collection | OXFORD |
description | <p>In this thesis, a study is made of finite groups which satisfy the following hypothesis:-<br/> <p>(*) G is a finite group admitting an automorphism α of order r with a fixed point subgroup of order q, where q and r are distinct prime numbers.</p> <p>The main result is</p> <p><strong>Theorem A</strong>. Let G be a group satisfying hypothesis (*). Assume either that q is odd or that q = 2 and r is not a Fermat prime greater than 3. Then G is soluble.</p> <p>First a structure theorem for soluble groups satisfying hypothesis (*) is obtained (theorem B). Solubility of groups satisfying hypothesis (*) is shown under the additional assumption that the symmetric group S<sub>4</sub> is not involved: this serves to prove solubility in general for r = 2 or r =3, and to point to the initial reductions in the general case. The proof of theorem A is by induction on the order of groups satisfying the hypothesis for a given pair (q,r). A minimal counterexample is simple, and the remainder of the proof is to show non-existence. After initial reductions the cases q odd and q = 2 are considered separately.</p> <p>For the case q odd, we require the following theorem which is of independent interest: it is a generalisation of a result of Glauberman, theorem A of (<strong>12</strong>).</p> <p>Let p be a prime and P a p-group. Let d(P) denote the largest of the orders of the abelian subgroups of P, and let J(P) be the subgroup of P generated by the abelian subgroups of order d(P). Also, let Qd(p) be the natural semi-direct product of z<sub>p</sub> × z<sub>p</sub>, regarded as a vector space, by SL(2,p). We obtain</p> <p><strong>Theorem 9.3</strong>. Let G be a finite group, p a prime, P a Sylow p-subgroup of G, and Q a subgroup of Z(P). If Q is normal in N<sub>G</sub>(J(P)) and if either (i) p is odd and (p-1) does not divide the index [N(Q):C(Q)] or (ii) Qd(p) is not involved in G, then Q is weakly closed in P with respect to G.</p> <p>For the case q = 2, the arguments involved in the proof of theorem A are mainly character-theoretic: we also obtain information about the exceptional cases.</p> <p>Except as mentioned above, the arguments are entirely group-theoretic.</p></p> |
first_indexed | 2024-03-06T19:34:34Z |
format | Thesis |
id | oxford-uuid:1e9a7816-2e5f-412c-8dea-dc1d00630e44 |
institution | University of Oxford |
last_indexed | 2024-12-09T03:33:44Z |
publishDate | 1969 |
record_format | dspace |
spelling | oxford-uuid:1e9a7816-2e5f-412c-8dea-dc1d00630e442024-12-01T17:17:45ZSome problems in the theory of finite insoluble groupsThesishttp://purl.org/coar/resource_type/c_db06uuid:1e9a7816-2e5f-412c-8dea-dc1d00630e44Polonsky Theses Digitisation Project1969Collins, M<p>In this thesis, a study is made of finite groups which satisfy the following hypothesis:-<br/> <p>(*) G is a finite group admitting an automorphism α of order r with a fixed point subgroup of order q, where q and r are distinct prime numbers.</p> <p>The main result is</p> <p><strong>Theorem A</strong>. Let G be a group satisfying hypothesis (*). Assume either that q is odd or that q = 2 and r is not a Fermat prime greater than 3. Then G is soluble.</p> <p>First a structure theorem for soluble groups satisfying hypothesis (*) is obtained (theorem B). Solubility of groups satisfying hypothesis (*) is shown under the additional assumption that the symmetric group S<sub>4</sub> is not involved: this serves to prove solubility in general for r = 2 or r =3, and to point to the initial reductions in the general case. The proof of theorem A is by induction on the order of groups satisfying the hypothesis for a given pair (q,r). A minimal counterexample is simple, and the remainder of the proof is to show non-existence. After initial reductions the cases q odd and q = 2 are considered separately.</p> <p>For the case q odd, we require the following theorem which is of independent interest: it is a generalisation of a result of Glauberman, theorem A of (<strong>12</strong>).</p> <p>Let p be a prime and P a p-group. Let d(P) denote the largest of the orders of the abelian subgroups of P, and let J(P) be the subgroup of P generated by the abelian subgroups of order d(P). Also, let Qd(p) be the natural semi-direct product of z<sub>p</sub> × z<sub>p</sub>, regarded as a vector space, by SL(2,p). We obtain</p> <p><strong>Theorem 9.3</strong>. Let G be a finite group, p a prime, P a Sylow p-subgroup of G, and Q a subgroup of Z(P). If Q is normal in N<sub>G</sub>(J(P)) and if either (i) p is odd and (p-1) does not divide the index [N(Q):C(Q)] or (ii) Qd(p) is not involved in G, then Q is weakly closed in P with respect to G.</p> <p>For the case q = 2, the arguments involved in the proof of theorem A are mainly character-theoretic: we also obtain information about the exceptional cases.</p> <p>Except as mentioned above, the arguments are entirely group-theoretic.</p></p> |
spellingShingle | Collins, M Some problems in the theory of finite insoluble groups |
title | Some problems in the theory of finite insoluble groups |
title_full | Some problems in the theory of finite insoluble groups |
title_fullStr | Some problems in the theory of finite insoluble groups |
title_full_unstemmed | Some problems in the theory of finite insoluble groups |
title_short | Some problems in the theory of finite insoluble groups |
title_sort | some problems in the theory of finite insoluble groups |
work_keys_str_mv | AT collinsm someproblemsinthetheoryoffiniteinsolublegroups |