2-bound finite groups
2-bound finite groupsfieldsHausdorff topologies admitted by algebraic structureintegral domainsminimal normal subgroup
Arithmetic and combinatorial problems involving abstract finite groups (20D60) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) General structure theorems for groups (20E34) Generators, relations, and presentations of groups (20F05) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10)
A group G is called n-bound if there exist polynomials \(f_ 1(x),...,f_ n(x)\) over G (i.e. elements of the free product \(G*<x>\) where \(<x>\) is infinite cyclic) such that \(f_ 1(1)\neq 1,...,f_ n(1)\neq 1\) and for all \(a\in G\), with \(a\neq 1\), there exists i (1\(\leq i\leq n)\) such that \(f_ i(a)=1\). The concept is related to the question of how many Hausdorff topologies are admitted by an algebraic structure. Some results are stated for fields, integral domains, etc.. The main theorem classifies all 2-bound finite groups. They are those finite groups G which satisfy one of the following conditions. (i) G has at most two minimal normal subgroups and each minimal normal subgroup is non- abelian. (ii) The centre, Z(G), of G is cyclic of order 2 and G/Z(G) has only one minimal normal subgroup, which is non-abelian. (iii) G is isomorphic to one of the following ten groups: the cyclic groups of orders 2, 3 and 4, the dihedral groups of orders 6 and 8, the quaternion group of order 8, two non-isomorphic groups of order 24, and two non- isomorphic groups of order 48. This theorem extends unpublished work of G. Cherlin classifying all 1-bound finite groups.
This page was built for publication: 2-bound finite groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q788109)
