scholarly journals Impartial achievement games for generating nilpotent groups

2019 ◽  
Vol 22 (3) ◽  
pp. 515-527
Author(s):  
Bret J. Benesh ◽  
Dana C. Ernst ◽  
Nándor Sieben

AbstractWe study an impartial game introduced by Anderson and Harary. The game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for finite groups of the form{T\times H}, whereTis a 2-group andHis a group of odd order. This includes all nilpotent and hence abelian groups.

1969 ◽  
Vol 10 (3-4) ◽  
pp. 359-362
Author(s):  
Nita Bryce

M. Suzuki [3] has proved the following theorem. Let G be a finite group which has an involution t such that C = CG(t) ≅ SL(2, q) and q odd. Then G has an abelian odd order normal subgroup A such that G = CA and C ∩ A = 〈1〉.


1973 ◽  
Vol 25 (4) ◽  
pp. 881-887 ◽  
Author(s):  
E. D. Elgethun

In [8] I. N. Herstein conjectured that all the finite odd order sub-groups of the multiplicative group in a division ring are cyclic. This conjecture was proved false in general by S. A. Amitsur in [1]. In his paper Amitsur classifies all finite groups which can appear as a multiplicative subgroup of a division ring. Let D be a division ring with prime field k and let G be a finite group isomorphic to a multiplicative subgroup of D.


2018 ◽  
Vol 25 (04) ◽  
pp. 541-546
Author(s):  
Jiangtao Shi ◽  
Klavdija Kutnar ◽  
Cui Zhang

A finite group G is called a special local 2-nilpotent group if G is not 2-nilpotent, the Sylow 2-subgroup P of G has a section isomorphic to the quaternion group of order 8, [Formula: see text] and NG(P) is 2-nilpotent. In this paper, it is shown that SL2(q), [Formula: see text], is a special local 2-nilpotent group if and only if [Formula: see text], and that GL2(q), [Formula: see text], is a special local 2-nilpotent group if and only if q is odd. Moreover, the solvability of finite groups is also investigated by giving two generalizations of a result from [A note on p-nilpotence and solvability of finite groups, J. Algebra 321 (2009) 1555–1560].


2020 ◽  
Vol 115 (6) ◽  
pp. 599-609
Author(s):  
Rachel D. Camina ◽  
Ainhoa Iñiguez ◽  
Anitha Thillaisundaram

AbstractLet w be a word in k variables. For a finite nilpotent group G, a conjecture of Amit states that $$N_w(1)\ge |G|^{k-1}$$ N w ( 1 ) ≥ | G | k - 1 , where for $$g\in G$$ g ∈ G , the quantity $$N_w(g)$$ N w ( g ) is the number of k-tuples $$(g_1,\ldots ,g_k)\in G^{(k)}$$ ( g 1 , … , g k ) ∈ G ( k ) such that $$w(g_1,\ldots ,g_k)={g}$$ w ( g 1 , … , g k ) = g . Currently, this conjecture is known to be true for groups of nilpotency class 2. Here we consider a generalized version of Amit’s conjecture, which states that $$N_w(g)\ge |G|^{k-1}$$ N w ( g ) ≥ | G | k - 1 for g a w-value in G, and prove that $$N_w(g)\ge |G|^{k-2}$$ N w ( g ) ≥ | G | k - 2 for finite groups G of odd order and nilpotency class 2. If w is a word in two variables, we further show that the generalized Amit conjecture holds for finite groups G of nilpotency class 2. In addition, we use character theory techniques to confirm the generalized Amit conjecture for finite p-groups (p a prime) with two distinct irreducible character degrees and a particular family of words. Finally, we discuss the related group properties of being rational and chiral, and show that every finite group of nilpotency class 2 is rational.


2020 ◽  
Vol 27 (01) ◽  
pp. 131-136
Author(s):  
Elena V. Konstantinova ◽  
Daria Lytkina

We prove that the spectrum of a Cayley graph over a finite group with a normal generating set S containing with every its element s all generators of the cyclic group 〈s〉 is integral. In particular, a Cayley graph of a 2-group generated by a normal set of involutions is integral. We prove that a Cayley graph over the symmetric group of degree n no less than 2 generated by all transpositions is integral. We find the spectrum of a Cayley graph over the alternating group of degree n no less than 4 with a generating set of 3-cycles of the form (k i j) with fixed k, as {−n+1, 1−n+1, 22 −n+1, …, (n−1)2 −n+1}.


1964 ◽  
Vol 16 ◽  
pp. 435-442 ◽  
Author(s):  
Joseph Kohler

In this paper finite groups with the property M, that every maximal subgroup has prime or prime square index, are investigated. A short but ingenious argument was given by P. Hall which showed that such groups are solvable.B. Huppert showed that a finite group with the property M, that every maximal subgroup has prime index, is supersolvable, i.e. the chief factors are of prime order. We prove here, as a corollary of a more precise result, that if G has property M and is of odd order, then the chief factors of G are of prime or prime square order. The even-order case is different. For every odd prime p and positive integer m we shall construct a group of order 2apb with property M which has a chief factor of order larger than m.


2014 ◽  
Vol 2014 ◽  
pp. 1-4
Author(s):  
Abdullah Aljouiee

A finite group G is called splitting or splittable if it is a union of some collections of its proper subgroups intersecting pairwise at the identity. A special kind of splitting is known to be normal splitting. Also, a group G is said to have the basis property if, for each subgroup H≤G, H has a basis (minimal generating set), and any two bases have the same cardinality. In this work, I discuss a relation between classes of finite groups that possess both normal splitting and the basis property. This paper shows mainly that any non-p-group with basis property is normal splitting. However, the converse is not true in general. A counterexample is given. It is well known that any p-group has basis property. I demonstrate some types of p-groups which are splitting as well.


2013 ◽  
Vol 88 (3) ◽  
pp. 448-452 ◽  
Author(s):  
RAJAT KANTI NATH

AbstractThe commutativity degree of a finite group is the probability that two randomly chosen group elements commute. The object of this paper is to compute the commutativity degree of a class of finite groups obtained by semidirect product of two finite abelian groups. As a byproduct of our result, we provide an affirmative answer to an open question posed by Lescot.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Stefanos Aivazidis ◽  
Thomas Müller

Abstract Theorem C in [S. Dolfi, M. Herzog, G. Kaplan and A. Lev, The size of the solvable residual in finite groups, Groups Geom. Dyn. 1 (2007), 4, 401–407] asserts that, in a finite group with trivial Fitting subgroup, the size of the soluble residual of the group is bounded from below by a certain power of the group order and that the inequality is sharp. Inspired by this result and some of the arguments in the above article, we establish the following generalisation: if 𝔛 is a subgroup-closed Fitting formation of full characteristic which does not contain all finite groups and X ¯ \overline{\mathfrak{X}} is the extension-closure of 𝔛, then there exists an (explicitly known and optimal) constant 𝛾 depending only on 𝔛 such that, for all non-trivial finite groups 𝐺 with trivial 𝔛-radical, | G X ¯ | > | G | γ \lvert G^{\overline{\mathfrak{X}}}\rvert>\lvert G\rvert^{\gamma} , where G X ¯ G^{\overline{\mathfrak{X}}} is the X ¯ \overline{\mathfrak{X}} -residual of 𝐺. When X = N \mathfrak{X}=\mathfrak{N} , the class of finite nilpotent groups, it follows that X ¯ = S \overline{\mathfrak{X}}=\mathfrak{S} , the class of finite soluble groups; thus we recover the original theorem of Dolfi, Herzog, Kaplan, and Lev. In the last section of our paper, building on J. G. Thompson’s classification of minimal simple groups, we exhibit a family of subgroup-closed Fitting formations 𝔛 of full characteristic such that S ⊂ X ¯ ⊂ E \mathfrak{S}\subset\overline{\mathfrak{X}}\subset\mathfrak{E} , where 𝔈 denotes the class of all finite groups, thus providing applications of our main result beyond the reach of the above theorem.


1977 ◽  
Vol 24 (1) ◽  
pp. 79-91 ◽  
Author(s):  
D. M. Rodney

AbstractIf G is a group, then K(G) is the set of commutators of elements of G. C is the class of groups such that G′ = K(G) is the minimal cardinality of any generating set of dG. We prove: Theorem A. Let G be a nilpotent group of class two such that G' is finite and d(G′) < 4.Then G < G.Theorm B. Let G be a finite group such that G′ is elementary abelian of order p3. Then G ∈ C.Theorem C. Let G be a finite group with an elementary abelian Sylow p-subgroup S, of order p2, such that S ⊆ K(G). Then S ⊆K(G).


Sign in / Sign up

Export Citation Format

Share Document