Diameters and automorphism groups of inclusion graphs over nilpotent groups

2019 ◽  
Vol 19 (05) ◽  
pp. 2050097
Author(s):  
Shikun Ou ◽  
Dein Wong ◽  
Zhijun Wang

The inclusion graph of a finite group [Formula: see text], written as [Formula: see text], is defined to be an undirected graph that its vertices are all nontrivial subgroups of [Formula: see text], and in which two distinct subgroups [Formula: see text], [Formula: see text] are adjacent if and only if either [Formula: see text] or [Formula: see text]. In this paper, we determine the diameter of [Formula: see text] when [Formula: see text] is nilpotent, and characterize the independent dominating sets as well as the automorphism group of [Formula: see text].

2015 ◽  
Vol 36 (1) ◽  
pp. 64-95 ◽  
Author(s):  
SEBASTIÁN DONOSO ◽  
FABIEN DURAND ◽  
ALEJANDRO MAASS ◽  
SAMUEL PETITE

In this article, we study the automorphism group$\text{Aut}(X,{\it\sigma})$of subshifts$(X,{\it\sigma})$of low word complexity. In particular, we prove that$\text{Aut}(X,{\it\sigma})$is virtually$\mathbb{Z}$for aperiodic minimal subshifts and certain transitive subshifts with non-superlinear complexity. More precisely, the quotient of this group relative to the one generated by the shift map is a finite group. In addition, we show that any finite group can be obtained in this way. The class considered includes minimal subshifts induced by substitutions, linearly recurrent subshifts and even some subshifts which simultaneously exhibit non-superlinear and superpolynomial complexity along different subsequences. The main technique in this article relies on the study of classical relations among points used in topological dynamics, in particular, asymptotic pairs. Various examples that illustrate the technique developed in this article are provided. In particular, we prove that the group of automorphisms of a$d$-step nilsystem is nilpotent of order$d$and from there we produce minimal subshifts of arbitrarily large polynomial complexity whose automorphism groups are also virtually$\mathbb{Z}$.


2019 ◽  
Vol 19 (12) ◽  
pp. 2150001
Author(s):  
Shikun Ou ◽  
Dein Wong ◽  
Hailin Liu ◽  
Fenglei Tian

The inclusion graph of a finite group [Formula: see text], written as [Formula: see text], is defined to be an undirected graph whose vertices are all nontrivial subgroups of [Formula: see text], and two distinct vertices [Formula: see text], [Formula: see text] are adjacent if and only if either [Formula: see text] or [Formula: see text]. For a graph [Formula: see text] with vertex set [Formula: see text], a set of vertices [Formula: see text] is called a fixing set of [Formula: see text] if the only automorphism of [Formula: see text] that fixes every element in [Formula: see text] is the identity. The fixing number of [Formula: see text] is the smallest size of a fixing set of [Formula: see text]. In this paper, we determine the finite nilpotent groups whose inclusion graphs are planar. Moreover, using the technique of characteristic matrices, we characterize the fixing sets and give the exact value on the fixing number of the inclusion graphs for finite cyclic groups.


1989 ◽  
Vol 116 ◽  
pp. 1-15 ◽  
Author(s):  
Shigeyuki Kondō

The purpose of this paper is to give a proof to the result announced in [3]. Let X be an algebraic surface defined over C. X is called a K3 surface if its canonical line bundle Kx is trivial and dim H1(X, ϕX) = 0. It is known that the automorphism group Aut (X) of X is isomorphic, up to a finite group, to the factor group O(Sx)/Wx, where O(Sx) is the automorphism group of the Picard lattice of X (i.e. Sx is the Picard group of X together with the intersection form) and Wx is its subgroup generated by all reflections associated with elements with square (–2) of Sx ([11]). Recently Nikulin [8], [10] has completely classified the Picard lattices of algebraic K3 surfaces with finite automorphism groups.


Author(s):  
Thomas J. Laffey ◽  
Desmond MacHale

AbstractLet G be a finite group and let Aut(G) be its automorphism group. Then G is called a k-orbit group if G has k orbits (equivalence classes) under the action of Aut(G). (For g, hG, we have g ~ h if ga = h for some Aut(G).) It is shown that if G is a k-orbit group, then kGp + 1, where p is the least prime dividing the order of G. The 3-orbit groups which are not of prime-power order are classified. It is shown that A5 is the only insoluble 4-orbit group, and a structure theorem is proved about soluble 4-orbit groups.


2005 ◽  
Vol 78 (3) ◽  
pp. 429-439 ◽  
Author(s):  
Xiuyun Guo ◽  
K. P. Shum

AbstractA subgroup H of a finite group G is said to be c–supplemented in G if there exists a subgroup K of G such that G = HK and H∩K is contained in coreG (H). In this paper some results for finite p–nilpotent groups are given based on some subgroups of Pc–supplemented in G, where p is a prime factor of the order of G and P is a Sylow p–subgroup of G. We also give some applications of these results.


1964 ◽  
Vol 16 ◽  
pp. 485-489 ◽  
Author(s):  
J. W. Moon

The set of all adjacency-preserving automorphisms of the vertex set of a graph form a group which is called the (automorphism) group of the graph. In 1938 Frucht (2) showed that every finite group is isomorphic to the group of some graph. Since then Frucht, Izbicki, and Sabidussi have considered various other properties that a graph having a given group may possess. (For pertinent references and definitions not given here see Ore (4).) The object in this paper is to treat by similar methods a corresponding problem for a class of oriented graphs. It will be shown that a finite group is isomorphic to the group of some complete oriented graph if and only if it has an odd number of elements.


1981 ◽  
Vol 33 (2) ◽  
pp. 412-420 ◽  
Author(s):  
Martin R. Pettet

If A is a group acting on a set X and x ∈ X, we denote the stabilizer of x in A by CA(x) and let Γ(x) be the set of elements of X fixed by CA(x). We shall say the action of A is partitive if the distinct subsets Γ(x), x ∈ X, partition X. A special example of this phenomenon is the case of a semiregular action (when CA (x) = 1 for every x ∈ X so the induced partition is a trivial one). Our concern here is with the case that A is a group of automorphisms of a finite group G and X = G#, the set of non-identity elements of G. We shall prove that if A is nilpotent, then except in a very restricted situation, partitivity implies semiregularity.


1979 ◽  
Vol 28 (3) ◽  
pp. 335-345 ◽  
Author(s):  
Nicholas S. Ford

AbstractLet R be a commutative ring with identity, and let A be a finitely generated R-algebra with Jacobson radical N and center C. An R-inertial subalgebra of A is a R-separable subalgebra B with the property that B+N=A. Suppose A is separable over C and possesses a finite group G of R-automorphisms whose restriction to C is faithful with fixed ring R. If R is an inertial subalgebra of C, necessary and sufficient conditions for the existence of an R-inertial subalgebra of A are found when the order of G is a unit in R. Under these conditions, an R-inertial subalgebra B of A is characterized as being the fixed subring of a group of R-automorphisms of A. Moreover, A ⋍ B ⊗R C. Analogous results are obtained when C has an R-inertial subalgebra S ⊃ R.


Author(s):  
Xuanlong Ma

Let [Formula: see text] be a finite group. The power graph of [Formula: see text] is the undirected graph whose vertex set is [Formula: see text], and two distinct vertices are adjacent if one is a power of the other. The reduced power graph of [Formula: see text] is the subgraph of the power graph of [Formula: see text] obtained by deleting all edges [Formula: see text] with [Formula: see text], where [Formula: see text] and [Formula: see text] are two distinct elements of [Formula: see text]. In this paper, we determine the proper connection number of the reduced power graph of [Formula: see text]. As an application, we also determine the proper connection number of the power graph of [Formula: see text].


Sign in / Sign up

Export Citation Format

Share Document