Subgroup Graph Research Articles

Planar infinite groups

Abstract We will determine all infinite 2-locally finite groups and all infinite 2-groups with planar subgroup graph, and show that infinite groups that satisfy the chain conditions and contain an involution do not have planar embeddings. We also determine all connected outer-planar groups and outer-planar groups satisfying the chain conditions. As a result, we obtain all planar groups that are direct products of connected groups.

The subgroup graph of a group

Given any subgroup H of a group G, let Γ H (G) be the directed graph with vertex set G such that x is the initial vertex and y is the terminal vertex of an edge if and only if x ≠ y and \({xy\in H}\) . Furthermore, if \({xy\in H}\) and \({yx\in H}\) for some \({x,y\in G}\) with x ≠ y, then x and y will be regarded as being connected by a single undirected edge. In this paper, the structure of the connected components of Γ H (G) is investigated. All possible components are provided in the cases when |H| is either two or three, and the graph Γ H (G) is completely classified in the case when H is a normal subgroup of G and G/H is a finite abelian group.

READING OFF KUROSH DECOMPOSITIONS

Geometric methods proposed by Stallings for treating finitely generated subgroups of free groups were successfully used to solve a wide collection of decision problems for free groups and their subgroups. In the present paper we employ the generalized Stallings' folding method, developed by the author, to introduce a procedure, which has given a subgroup H of a free product of finite groups reads off its Kurosh decomposition from the subgroup graph of H.

Investigation of continuous-time quantum walk via modules of Bose–Mesner and Terwilliger algebras

The continuous-time quantum walk on the underlying graphs of association schemes have been studied, via the algebraic combinatorics structures of association schemes, namely semi-simple modules of their Bose-Mesner and (reference state dependent) Terwilliger algebras. By choosing the (walk) starting site as a reference state, the Terwilliger algebra connected with this choice turns the graph into the metric space, hence stratifies the graph into a (d+1) disjoint union of strata, where the amplitudes of observing the continuous-time quantum walk on all sites belonging to a given stratum are the same. In graphs of association schemes with known spectrum, the transition amplitudes and average probabilities are given in terms of dual eigenvalues of association schemes. As most of association schemes arise from finite groups, hence the continuous-time walk on generic group association schemes have been studied in great details, where the transition amplitudes are given in terms of characters of groups. Further investigated examples are the walk on graphs of association schemes of symmetric $S_n$, Dihedral $D_{2m}$ and cyclic groups. Also, following Ref.\cite{js}, the spectral distributions connected to the highest irreducible representations of Terwilliger algebras of some rather important graphs, namely distance regular graphs, have been presented. Then using spectral distribution, the amplitudes of continuous-time quantum walk on graphs such as cycle graph $C_n$, Johnson and normal subgroup graphs have been evaluated. {\bf Keywords: Continuous-time quantum walk, Association scheme, Bose-Mesner algebra, Terwilliger algebra, Spectral distribution, Distance regular graph.} {\bf PACs Index: 03.65.Ud}

Finite groups with planar subgroup lattices

It is natural to ask when a group has a planar Hasse lattice or more generally when its subgroup graph is planar. In this paper, we completely answer this question for finite groups. We analyze abelian groups, p-groups, solvable groups, and nonsolvable groups in turn. We find seven infinite families (four depending on two parameters, one on three, two on four), and three “sporadic” groups. In particular, we show that no nonabelian group whose order has three distinct prime factors can be planar.

Higher Coxeter graphs associated with affine su(3) modular invariants

The affine $su(3)$ modular invariant partition functions in 2d RCFT are associated with a set of generalized Coxeter graphs. These partition functions fall into two classes, the block-diagonal (Type I) and the non block-diagonal (Type II) cases, associated, from spectral properties, to the subsets of subgroup and module graphs respectively. We introduce a modular operator $\hat{T}$ taking values on the set of vertices of the subgroup graphs. It allows us to obtain easily the associated Type I partition functions. We also show that all Type II partition functions are obtained by the action of suitable twists $\vartheta$ on the set of vertices of the subgroup graphs. These twists have to preserve the values of the modular operator $\hat{T}$.