Degree Graphs of Simple Groups of Exceptional Lie Type

Abstract

Let G be a finite group and let cd(G) be the set of irreducible character degrees of G. The degree graph Δ(G) of G is the graph whose set of vertices is the set of primes that divide degrees in cd(G), with an edge between p and q if pq divides a for some degree a ∈ cd(G). In this paper, we determine the graph Δ(G) when G is a finite simple group of exceptional Lie type.     

SOLVABLE GROUPS WITH CHARACTER DEGREE GRAPHS HAVING 5 VERTICES AND DIAMETER 3

ABSTRACT

Let G be a finite group and cd(G) the character degrees of G. The degree graph Δ(G) of G is the graph whose vertices are the primes dividing degrees in cd(G), and there is an edge between p and q if pq divides some degree in cd(G). In this paper, we show that if Δ(G) has 5 vertices, then the diameter of Δ(G) is at most 2. This shows that the example in^[9] of a solvable group G where Δ(G) has diameter 3 has the fewest number of vertices possible.     

Degree Graphs of Simple Linear and Unitary Groups

Let G be a finite group and let cd (G) be the set of irreducible character degrees of G. The degree graph Δ(G) is the graph whose set of vertices is the set of primes that divide degrees in cd (G), with an edge between p and q if pq divides a for some degree a ? cd (G). We determine the graph Δ(G) for the finite simple groups of types A _?(q) and ² A _? (q ²), that is, for the simple linear and unitary groups.     

A graph associated with the p\pi-character degrees of a group

Let G be a group and $\pi$ be a set of primes. We consider the set ${\rm cd}^{\pi}(G)$ of character degrees of G that are divisible only by primes in $\pi$. In particular, we define $\Gamma^{\pi}(G)$ to be the graph whose vertex set is the set of primes dividing degrees in ${\rm cd}^{\pi}(G)$. There is an edge between p and q if pq divides a degree $a \in {\rm cd}^{\pi}(G)$. We show that if G is $\pi$-solvable, then $\Gamma^{\pi}(G)$ has at most two connected components.     

Fitting Height and Character Degree Graphs

Given a group G, Γ(G) is the graph whose vertices are the primes that divide the degree of some irreducible character and two vertices p and q are joined by an edge if pq divides the degree of some irreducible character of G. By a definition of Lewis, a graph Γ has bounded Fitting height if the Fitting height of any solvable group G with Γ(G)=Γ is bounded (in terms of Γ). In this note, we prove that there exists a universal constant C such that if Γ has bounded Fitting height and Γ(G)=Γ then h(G)≤C. This solves a problem raised by Lewis. Research supported by the Spanish Ministerio de Educación y Ciencia, MTM2004-06067-C02-01 and MTM2004-04665, the FEDER and Programa Ramón y Cajal.     

Finite groups with its power automorphism groups having small indices

In this paper, a finite group G with IAut（G） ： P（G）I ~- p or pq is determined, where P（G） is the power automorphism group of G, and p, q are distinct primes. Especially, we prove that a finite group G satisfies ｜Aut（G） ： P（G）｜= pq if and only if Aut（G）/P（G） ≌S3. Also, some other classes of finite groups are investigated and classified, which are necessary for the proof of our main results.     

Spaces of Functions of Fractional Smoothness on an Irregular Domain

In this paper, we study the spaces B _pq ^s (G) and L _pq ^s (G) of functions with positive exponent of smoothness s > 0, defined on a domain . For a domain G with specific geometric properties, we establish the embedding B _pq ^s (G) = L _pq ^s (G) L _q (G), 1 < p < q < , with the relationship between the parameters defined by these geometric properties.     

Cubic vertex‐transitive graphs of order 2pq

A graph is vertex?transitive or symmetric if its automorphism group acts transitively on vertices or ordered adjacent pairs of vertices of the graph, respectively. Let G be a finite group and S a subset of G such that 1?S and S={s^?1 | s∈S}. The Cayleygraph Cay(G, S) on G with respect to S is defined as the graph with vertex set G and edge set {{g, sg} | g∈G, s∈S}. Feng and Kwak [J Combin Theory B 97 (2007), 627–646; J Austral Math Soc 81 (2006), 153–164] classified all cubic symmetric graphs of order 4p or 2p² and in this article we classify all cubic symmetric graphs of order 2pq, where p and q are distinct odd primes. Furthermore, a classification of all cubic vertex‐transitive non‐Cayley graphs of order 2pq, which were investigated extensively in the literature, is given. As a result, among others, a classification of cubic vertex‐transitive graphs of order 2pq can be deduced. © 2010 Wiley Periodicals, Inc. J Graph Theory 65: 285–302, 2010     

The Orders of Vertices of a Character-degree Graph

Let G be a finite group. We put ρ(G) = {p|p is a prime dividing χ(1) for some χ ∈Irr(G)}. We define a graph Γ(G), whose vertices are the primes in ρ(G) and p, q ∈ ρ(G) are connected in Γ(G) denoted p ～ q, if pq||χ(1) for some χ ∈Irr(G). For p ∈ ρ(G), we define ord(p) = |{q ∈ ρ(G)|q ～ p}|. We call ord(p) the order of the vertex p of the graph Γ(G). In this article, we discuss orders and the influences of orders on the structure of finite groups.     

20-relative neighborhood graphs are hamiltonian

For any two points p and q in the Euclidean plane, define LUN_pq = { v | v ∈ R², d_pv < d_pq and d_qv < d_pq}, where d_uv is the Euclidean distance between two points u and v . Given a set of points V in the plane, let LUN_pq(V) = V ∩ LUN_pq. Toussaint defined the relative neighborhood graph of V, denoted by RNG(V) or simply RNG, to be the undirected graph with vertices V such that for each pair p,q ∈ V, (p,q) is an edge of RNG(V) if and only if LUN_pq (V) = ?. The relative neighborhood graph has several applications in pattern recognition that have been studied by Toussaint. We shall generalize the idea of RNG to define the k-relative neighborhood graph of V, denoted by kRNG(V) or simply kRNG, to be the undirected graph with vertices V such that for each pair p,q ∈ V, (p,q) is an edge of kRNG(V) if and only if | LUN_pq(V) | < k, for some fixed positive number k. It can be shown that the number of edges of a kRNG is less than O(kn). Also, a kRNG can be constructed in O(kn₂) time. Let E_c = {e_pq| p ∈ V and q ∈ V}. Then G_c = (V,E_c) is a complete graph. For any subset F of E_c, define the maximum distance of F as max_epq∈Fd_pq. A Euclidean bottleneck Hamiltonian cycle is a Hamiltonian cycle in graph G_c whose maximum distance is the minimum among all Hamiltonian cycles in graph G_c. We shall prove that there exists a Euclidean bottleneck Hamiltonian cycle which is a subgraph of 20RNG(V). Hence, 20RNGs are Hamiltonian.     

Gruppi Policiclici Dotati di un Automorfismo Uniforme di Ordinepq

An automorphismϕ of a groupG is said to be uniform il for everyg ∈G there exists anh ∈G such thatG=h ⁻¹ h ^ρ . It is a well-known fact that ifG is finite, an automorphism ofG is uniform if and only if it is fixed-point-free. In [7] Zappa proved that if a polycyclic groupG admits an uniform automorphism of prime orderp thenG is a finite (nilpotent)p′-group. In this paper we continue Zappa’s work considering uniform automorphism of orderpg (p andq distinct prime numbers). In particular we prove that there exists a constantμ (depending only onp andq) such that every torsion-free polycyclic groupG admitting an uniform automorphism of orderpq is nilpotent of class at mostμ. As a consequence we prove that if a polycyclic groupG admits an uniform automorphism of orderpq thenZ _μ (G) has finite index inG.

Al professore Guido Zappa per il suo 90⁰ compleanno     

Divisibility and structure constraints on automorphism groups of almost perfect 1-factorizations of

Let G be a permutation group acting on a set with N elements such that every permutation with more than m fixed points is the identity. It is easy to verify that |G| divides N(N − 1) ··· (N − m). We show that if gcd(|G|, m!) = 1, then |G| divides (N − i)(N − j) for some i and j satisfying 0 ≤ i < j ≤ m. We use this to show that any almost perfect 1-factorization of K_2n has an automorphism group whose cardinality divides (2n − i)(2n − j) for some i and j with 0 ≤ i < j ≤ 2 as long as n is odd. An almost perfect 1-factorization (or APOF) is a 1-factorization in which the union of any three distinct 1-factors is connected. This result contrasts with an example of an APOF on K₁₂ given by Cameron which has PSL(2, ℤ₁₁) as its automorphism group [with cardinality 12(11)(5)]. When n is even and the automorphism group is solvable, we show that either G acts vertex transitively and n is a power of two, or |G| divides 2n − 2^a for some integer a with 2^a dividing 2n, or else |G| divides (2n − i)(2n − j) for some i and j with 0 ≤ i < j ≤ 2. We also give a number of structure results concerning these automorphism groups. © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 355–380, 1998     

G-Loops and Permutation Groups

A G-loop is a loop which is isomorphic to all its loop isotopes. We apply some theorems about permutation groups to get information about G-loops. In particular, we study G-loops of order pq, where p < q are primes and p  (q − 1). In the case p = 3, the only G-loop of order 3q is the group of order 3q. The notion “G-loop” splits naturally into “left G-loop” plus “right G-loop.” There exist non-group right G-loops and left G-loops of order n iff n is composite and n > 5.     

The Prime Graph of a Sporadic Simple Group

Abstract

Let Gbe a finite group and Sa sporadic simple group. We denote by π(G) the set of all primes dividing the order of G. The prime graph Γ(G) of Gis defined in the usual way connecting pand qin π(G) when there is an element of order pqin G. The main purpose of this paper is to determine finite group Gsatisfying Γ(G) = Γ(S) (See Theorem 3) and to give applications which generalize Abe (Abe, S. Two ways to characterize 26 sporadic finite simple groups. Preprint) and Chen (Chen, G. (1996). A new characterization of sporadic simple groups. Algebra Colloq.3:49–58). The results are elementary but quite useful.     

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.     

An algorithm and self-reproducing systems

Let G be a group and let N be a normal subgroup of G. We set cd(G|N) to be the degrees of the irreducible characters of G whose kernels do not contain N. We associate a graph with this set. The vertices of this graph are the primes dividing degrees in cd(G|N), and there is an edge between p and q if pq divides some degree in cd(G|N). In this paper, we study this graph when it is disconnected, and we study its diameter when it is connected.     

On the exponent of tensor categories coming from finite groups

We describe the exponent of a group-theoretical fusion category C = C(G, ω, F, α) associated to a finite group G in terms of group cohomology. We show that the exponent of C divides both e(ω)expG and (expG)², where e(ω) is the cohomological order of the 3-cocycle ω. In particular, expC divides (dim C)². This work was partially supported by CONICET, Fundación Antorchas, Agencia Córdoba Ciencia, ANPCyT and Secyt (UNC).     

Equivalent Norms in Spaces of Functions of Fractional Smoothness on Arbitrary Domains

In this paper, we study the spaces B _pq ^s (G) and L _pq ^s (G) of functions f with positive exponent of smoothness s > 0 given on a domain . The norms on these spaces are defined via integral norms of the difference of the function f of order m > s treated as a function of the point of the domain and of the difference increment. For an arbitrary domain , we characterize these spaces in terms of the local approximations of the function by polynomials of degree m – 1.     

On the prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis>) where <Emphasis Type="Italic">p</Emphasis> > 3 is a prime number

Let G be a finite group. We define the prime graph Γ(G) as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p, q are joined by an edge if there is an element in G of order pq. Recently M. Hagie [5] determined finite groups G satisfying Γ(G) = Γ(S), where S is a sporadic simple group. Let p > 3 be a prime number. In this paper we determine finite groups G such that Γ(G) = Γ(PSL(2, p)). As a consequence of our results we prove that if p > 11 is a prime number and p ≢ 1 (mod 12), then PSL(2, p) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph. The third author was supported in part by a grant from IPM (No. 84200024).     

Continuity in G

For a discrete group G, we consider βG, the Stone– ech compactification of G, as a right topological semigroup, and G^*=βGG as a subsemigroup of βG. We study the mappings λ_p^* :G^*→G^*and μ^* :G^*→G^*, the restrictions to G^* of the mappings λ_p :βG→βG and μ :βG→βG, defined by the rules λ_p(q)=pq, μ(q)=qq. Under some assumptions, we prove that the continuity of λ_p^* or μ^* at some point of G^* implies the existence of a P-point in ω^*.