The free groups in the dihedral variety (Q1061223): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Identical relations in groups. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5513066 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:18, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The free groups in the dihedral variety |
scientific article |
Statements
The free groups in the dihedral variety (English)
0 references
1986
0 references
In his seminal paper on group varieties, \textit{B. H. Neumann} [Math. Ann. 114, 506-525 (1937; Zbl 0016.35102)] showed that if G is a finite group and \(F_ n(Var(G))\) is the rank n free group in the variety generated by G then \(F_ n(Var(G))\) can be embedded in a direct product of \(| G|^ n\) copies of G. This establishes the bound \(F_ n(Var(G))\leq | G|^{| G|^ n}\). In the same paper Neumann points out that in specific cases this bound can be greatly improved. In the present paper this is done for the class of finite dihedral groups. In particular if m is a positive integer and \(D_ m\) is the dihedral group of order 2m then the rank n (n\(\geq 2)\) free group in \(Var(D_ m)\) is shown to have order dividing \(2^ nm^{(n-1)2^ n+1}\) if m is odd and order dividing \(2^ n(m/2)^{(n-1)2^ n+1}\) if m is even. Further if m is prime then the rank 2 free group is shown to have exact order \(4m^ 5\) and an explicit subgroup of \((D_ m)^ 5\) is exhibited which is isomorphic to the rank 2 free group. In order to do this some general results on a subclass of the metabelian variety are derived. In particular, Theorem. Let G be metabelian. Suppose the commutator subgroup G' has exponent n and for some integer m, \(G^ m\) the set of mth powers from G is contained in G'. Then for all positive integers \(k\geq 2\), the rank k free groups in Var(G) have orders dividing \(m^ kn^{(k-1)m^ k+1}\).
0 references
group varieties
0 references
finite group
0 references
rank n free group
0 references
finite dihedral groups
0 references
metabelian variety
0 references
commutator subgroup
0 references