On Periodic Shunkov’s Groups with Almost Layer-finite Normalizers of Finite Subgroups

Layer-finite groups first appeared in the work by S. N. Chernikov (1945). Almost layer-finite groups are extensions of layer-finite groups by finite groups. The class of almost layer-finite groups is wider than the class of layer-finite groups; it includes all Chernikov groups, while it is easy to give examples of Chernikov groups that are not layer-finite. The author develops the direction of characterizing well-known and well-studied classes of groups in other classes of groups with some additional (rather weak) finiteness conditions. A Shunkov group is a group 𝐺 in which for any of its finite subgroups 𝐾 in the quotient group <math xmlns="http://www.w3.org/1998/Math/MathML"><mfrac><mrow><msub><mi>N</mi><mi>G</mi></msub><mo>(</mo><mi>K</mi><mo>)</mo></mrow><mi>K</mi></mfrac></math> any two conjugate elements of prime order generate a finite subgroup. In this paper, we prove the properties of periodic not almost layer-finite Shunkov groups with condition: the normalizer of any finite nontrivial subgroup is almost layer-finite. Earlier, these properties were proved in various articles of the author, as necessary, sometimes under some conditions, then under others (the minimality conditions for not almost layer-finite subgroups, the absence of second-order elements in the group, the presence of subgroups with certain properties in the group). At the same time, it was necessary to make remarks that this property is proved in almost the same way as in the previous work, but under different conditions. This eliminates the shortcomings in the proofs of many articles by the author, in which these properties are used without proof.

Group Geometrical Axioms for Magic States of Quantum Computing

Let H be a nontrivial subgroup of index d of a free group G and N be the normal closure of H in G. The coset organization in a subgroup H of G provides a group P of permutation gates whose common eigenstates are either stabilizer states of the Pauli group or magic states for universal quantum computing. A subset of magic states consists of states associated to minimal informationally complete measurements, called MIC states. It is shown that, in most cases, the existence of a MIC state entails the two conditions (i) N = G and (ii) no geometry (a triple of cosets cannot produce equal pairwise stabilizer subgroups) or that these conditions are both not satisfied. Our claim is verified by defining the low dimensional MIC states from subgroups of the fundamental group G = π 1 ( M ) of some manifolds encountered in our recent papers, e.g., the 3-manifolds attached to the trefoil knot and the figure-eight knot, and the 4-manifolds defined by 0-surgery of them. Exceptions to the aforementioned rule are classified in terms of geometric contextuality (which occurs when cosets on a line of the geometry do not all mutually commute).

GENERALISING QUASINORMAL SUBGROUPS

In Cossey and Stonehewer [‘On the rarity of quasinormal subgroups’, Rend. Semin. Mat. Univ. Padova125 (2011), 81–105] it is shown that for any odd prime p and integer n≥3, there is a finite p-group G of exponent pn containing a quasinormal subgroup H of exponent pn−1 such that the nontrivial quasinormal subgroups of G lying in H can have exponent only p, pn−1 or, when n≥4 , pn−2. Thus large sections of these groups are devoid of quasinormal subgroups. The authors ask in that paper if there is a nontrivial subgroup-theoretic property 𝔛 of finite p-groups such that (i) 𝔛 is invariant under subgroup lattice isomorphisms and (ii) every chain of 𝔛-subgroups of a finite p-group can be refined to a composition series of 𝔛-subgroups. Failing this, can such a chain always be refined to a series of 𝔛-subgroups in which the intervals between adjacent terms are restricted in some significant way? The present work embarks upon this quest.

Locally graded groups with a nilpotency condition on infinite subsets

A group G is locally graded if every finitely generated nontrivial subgroup of G has a nontrivial finite image. Let N (2, k)* denote the class of groups in which every infinite subset contains a pair of elements that generate a nilpotent subgroup of class at most k. We show that if G is a finitely generated locally graded N (2, k)*-group, then there is a positive integer c depending only on k such that G/Zc (G) is finite.

On cyclic subgroups of finite groups

In [3] Laffey has shown that if Z is a cyclic subgroup of a finite subgroup G, then either a nontrivial subgroup of Z is normal in the Fitting subgroup F(G) or there exists a g in G such that Zg∩Z = 1. In this note we offer a simple proof of the following generalisation of that result:Theorem. Let G be a finite group and X and Y cyclic subgroups of G. Then there exists a g in G such that Xg∩Y⊴F(G).

Disjoint conjugates of cyclic subgroups of finite groups

In an earlier paper (2) we considered the following question “If S is a cyclic subgroup of a finite group G and S ∩ F(G) = 1, where F(G) is the Fitting subgroup of G, does there necessarily exist a conjugate Sx of S in G with S ∩ Sx = l?” and we gave an affirmative answer for G simple or soluble. In this paper we answer the question affirmatively in general (in fact we prove a somewhat stronger result (Theorem 3)). We give an example of a group G with a cyclic subgroup S such that (i) no nontrivial subgroup of S is normal in G and (ii) no x exists for which S ∩ Sx = 1.

A classification of groups with a centralizer condition

Let G be a finite group. A nontrivial subgroup M of G is called a CC-subgroup if M contains the centralizer in G of each of its nonidentity elements. The purpose of this paper is to classify groups with a CC-subgroup of order divisible by 3. Simple groups satisfying that condition are completely determined.