On the intersection graph of a finite group

For a finite group G, the intersection graph of G which is denoted by Γ(G) is an undirected graph such that its vertices are all nontrivial proper subgroups of G and two distinct vertices H and K are adjacent when H ∩ K ≠ 1. In this paper we classify all finite groups whose intersection graphs are regular. Also, we find some results on the intersection graphs of simple groups and finally we study the structure of Aut(Γ(G)).     

Posets and VPG Graphs

We investigate the class of intersection graphs of paths on a grid (VPG graphs), and specifically the relationship between the bending number of a cocomparability graph and the poset dimension of its complement. We show that the bending number of a cocomparability graph G is at most the poset dimension of the complement of G minus one. Then, via Ramsey type arguments, we show our upper bound is best possible.     

A note on the Engelking-Karłowicz theorem

We investigate the chromatic number of infinite graphs whose definition is motivated by the theorem of Engelking and Kar?owicz (in [?]). In these graphs, the vertices are subsets of an ordinal, and two subsets X and Y are connected iff for some a ∈ X ∩ Y the order-type of a ∩ X is different from that of a ∩ Y.In addition to the chromatic number x(G) of these graphs we study χ _κ (G), the κ-chromatic number, which is the least cardinal µ with a decomposition of the vertices into µ classes none of which contains a κ-complete subgraph.     

Orientations of infinite graphs with prescribed edge-connectivity

We prove a decomposition result for locally finite graphs which can be used to extend results on edge-connectivity from finite to infinite graphs. It implies that every 4k-edge-connected graph G contains an immersion of some finite 2k-edge-connected Eulerian graph containing any prescribed vertex set (while planar graphs show that G need not containa subdivision of a simple finite graph of large edge-connectivity). Also, every 8k-edge connected infinite graph has a k-arc-connected orientation, as conjectured in 1989.     

Upper minus total domination number of regular graphs

Let Γ _t ^? (G) be upper minus total domination number of G. In this paper, We establish an upper bound of the upper minus total domination number of a regular graph G and characterize the extremal graphs attaining the bound. Thus, we answer an open problem by Yan, Yang and Shan     

Proper connection number of bipartite graphs

An edge-colored graph G is proper connected if every pair of vertices is connected by a proper path. The proper connection number of a connected graph G, denoted by pc(G), is the smallest number of colors that are needed to color the edges of G in order to make it proper connected. In this paper, we obtain the sharp upper bound for pc(G) of a general bipartite graph G and a series of extremal graphs. Additionally, we give a proper 2-coloring for a connected bipartite graph G having δ(G) ≥ 2 and a dominating cycle or a dominating complete bipartite subgraph, which implies pc(G) = 2. Furthermore, we get that the proper connection number of connected bipartite graphs with δ ≥ 2 and diam(G) ≤ 4 is two.     

A note on the independent domination number versus the domination number in bipartite graphs

Let γ(G) and i(G) be the domination number and the independent domination number of G, respectively. Rad and Volkmann posted a conjecture that i(G)/γ(G) ≤ Δ(G)/2 for any graph G, where Δ(G) is its maximum degree (see N. J. Rad, L. Volkmann (2013)). In this work, we verify the conjecture for bipartite graphs. Several graph classes attaining the extremal bound and graphs containing odd cycles with the ratio larger than Δ(G)/2 are provided as well.     

Free groups and ends of graphs

Let X be a connected graph. An automorphism of X is said to be parabolic if it leaves no finite subset of vertices in X invariant and fixes precisely one end of X and hyperbolic if it leaves no finite subset of vertices in X invariant and fixes precisely two ends of X. Various questions concerning dynamics of parabolic and hyperbolic automorphisms are discussed.The set of ends which are fixed by some hyperbolic element of a group G acting on X is denoted by ?(G). If G contains a hyperbolic automorphism of X and G fixes no end of X, then G contains a free subgroup F such that ?(F) is dense in ?(G) with respect to the natural topology on the ends of X.As an application we obtain the following: A group which acts transitively on a connected graph and fixes no end has a free subgroup whose directions are dense in the end boundary.     

Finite groups whose character degree graphs coincide with their prime graphs

In the literature, there are several graphs related to a finite group G. Two of them are the character degree graph, denoted by ΔG), and the prime graph ΓG), In this paper we classify all finite groups whose character degree graphs are disconnected and coincide with their prime graphs. As a corollary, we find all finite groups whose character degree graphs are square and coincide with their prime graphs.     

Regularity of powers of bipartite graphs

Let G be a finite simple graph and I(G) denote the corresponding edge ideal. For all \(s \ge 1\), we obtain upper bounds for \({\text {reg}}(I(G)^s)\) for bipartite graphs. We then compare the properties of G and \(G'\), where \(G'\) is the graph associated with the polarization of the ideal \((I(G)^{s+1} : e_1\cdots e_s)\), where \(e_1,\cdots , e_s\) are edges of G. Using these results, we explicitly compute \({\text {reg}}(I(G)^s)\) for several subclasses of bipartite graphs.     

Recognition of characteristically simple group <Emphasis Type="Italic">A</Emphasis><Subscript>5</Subscript> × <Emphasis Type="Italic">A</Emphasis><Subscript>5</Subscript> by character degree graph and order

The character degree graph of a finite group G is the graph whose vertices are the prime divisors of the irreducible character degrees of G and two vertices p and q are joined by an edge if pq divides some irreducible character degree of G. It is proved that some simple groups are uniquely determined by their orders and their character degree graphs. But since the character degree graphs of the characteristically simple groups are complete, there are very narrow class of characteristically simple groups which are characterizable by this method.We prove that the characteristically simple group A₅ × A₅ is uniquely determined by its order and its character degree graph. We note that this is the first example of a non simple group which is determined by order and character degree graph. As a consequence of our result we conclude that A₅ × A₅ is uniquely determined by its complex group algebra.     

A Construction of Smooth Travel Groupoids on Finite Graphs

A travel groupoid is an algebraic system related with graphs. In this paper, we give an algorithm to construct smooth travel groupoids for any finite graph. This algorithm gives an answer of Nebeský’s question, “Does there exist a connected graph G such that G has no smooth travel groupoid?”, in finite cases.     

On convex hulls of compact sets of probability measures with countable supports

E. Michael and I. Namioka proved the following theorem. Let Y be a convex G _δ -subset of a Banach space E such that if K ? Y is a compact space, then its closed (in Y) convex hull is also compact. Then every lower semicontinuous set-valued mapping of a paracompact space X to Y with closed (in Y) convex values has a continuous selection. E. Michael asked the question: Is the assumption that Y is G _δ essential? In this note we give an affirmative answer to this question of Michael.     

Applications of balanced pairs

Let (X, Y) be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to (X, Y), and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the X-resolution dimension of Y (resp. Y-coresolution dimension of X) is finite, then the bounded homotopy category of Y (resp. X) is contained in that of X (resp. Y). As a consequence, we get that the right X-singularity category coincides with the left Y-singularity category if the X-resolution dimension of Y and the Y-coresolution dimension of X are finite.     

Every 3-connected $$\{K_{1,3},N_{1,2,3}\}$$-free graph is Hamilton-connected

A graph G is \(\{X,Y\}\)-free if it contains neither X nor Y as an induced subgraph. Pairs of connected graphs X, Y such that every 3-connected \(\{X,Y\}\)-free graph is Hamilton-connected have been investigated recently in (2002, 2000, 2012). In this paper, it is shown that every 3-connected \(\{K_{1,3},N_{1,2,3}\}\)-free graph is Hamilton-connected, where \(N_{1,2,3}\) is the graph obtained by identifying end vertices of three disjoint paths of lengths 1, 2, 3 to the vertices of a triangle.     

Even factors with a bounded number of components in iterated line graphs

We consider even factors with a bounded number of components in the n-times iterated line graphs L ⁿ (G). We present a characterization of a simple graph G such that L ⁿ (G) has an even factor with at most k components, based on the existence of a certain type of subgraphs in G. Moreover, we use this result to give some upper bounds for the minimum number of components of even factors in L ⁿ (G) and also show that the minimum number of components of even factors in L ⁿ (G) is stable under the closure operation on a claw-free graph G, which extends some known results. Our results show that it seems to be NP-hard to determine the minimum number of components of even factors of iterated line graphs. We also propose some problems for further research.     

Atomic subspaces of {L_1}-martingale spaces

In Part I of the present paper the following problem was investigated. Let G be a finite simple graph, and S be a finite set of primes. We say that G is representable with S if it is possible to attach rational numbers to the vertices of G such that the vertices v₁, v₂ are connected by an edge if and only if the difference of the attached values is an S-unit. In Part I we gave several results concerning the representability of graphs in the above sense.     

On the finite principal bundles

Let G be a connected linear algebraic group defined over \({\mathbb C}\). Fix a finite dimensional faithful G-module V ₀. A holomorphic principal G-bundle E _G over a compact connected Kähler manifold X is called finite if for each subquotient W of the G-module V ₀, the holomorphic vector bundle E _G (W) over X associated to E _G for W is finite. Given a holomorphic principal G-bundle E _G over X, we prove that the following four statements are equivalent: (1) The principal G-bundle E _G admits a flat holomorphic connection whose monodromy group is finite. (2) There is a finite étale Galois covering \({f: Y \longrightarrow X}\) such that the pullback f*E _G is a holomorphically trivializable principal G-bundle over Y. (3) For any finite dimensional complex G-module W, the holomorphic vector bundle E _G (W) = E ×  ^G W over X, associated to the principal G-bundle E _G for the G-module W, is finite. (4) The principal G-bundle E _G is finite.     

Characterization of the alternating groups by their order and one conjugacy class length

Let G be a finite group, and let N(G) be the set of conjugacy class sizes of G. By Thompson’s conjecture, if L is a finite non-abelian simple group, G is a finite group with a trivial center, and N(G) = N(L), then L and G are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation). In this article, we investigate validity of Thompson’s conjecture under a weak condition for the alternating groups of degrees p+1 and p+2, where p is a prime number. This work implies that Thompson’s conjecture holds for the alternating groups of degree p + 1 and p + 2.