On trees with total domination number equal to edge-vertex domination number plus one

An edge e∈E(G) dominates a vertex v∈V(G) if e is incident with v or e is incident with a vertex adjacent to v. An edge-vertex dominating set of a graph G is a set D of edges of G such that every vertex of G is edge-vertex dominated by an edge of D. The edge-vertex domination number of a graph G is the minimum cardinality of an edge-vertex dominating set of G. A subset D?V(G) is a total dominating set of G if every vertex of G has a neighbor in D. The total domination number of G is the minimum cardinality of a total dominating set of G. We characterize all trees with total domination number equal to edge-vertex domination number plus one.     

Large $${\varvec{p}}^{\prime }$$-orbits for $${\varvec{p}}$$p-nilpotent linear groups

Let G be a p-nilpotent linear group on a finite vector space V of characteristic p. Suppose that |G||V| is odd. Let P be a Sylow p-subgroup of G. We show that there exist vectors \(v_1\) and \(v_2\) in V such that \(C_G(v_1) \cap C_G(v_2)=P\). A striking conjecture of Malle and Navarro offers a simple global criterion for the nilpotence (in the sense of Broué and Puig) of a p-block of a finite group. Our result implies that this conjecture holds for groups of odd order.     

Every graph is (2,3)-choosable

A total weighting of a graph G is a mapping ? that assigns to each element z ∈ V (G)∪E(G) a weight ?(z). A total weighting ? is proper if for any two adjacent vertices u and v, ∑ _e∈E(u) ?(e)+?(u)≠∑ _e∈E(v) ?(e)+?(v). This paper proves that if each edge e is given a set L(e) of 3 permissible weights, and each vertex v is given a set L(v) of 2 permissible weights, then G has a proper total weighting ? with ?(z) ∈ L(z) for each element z ∈ V (G)∪E(G).     

Principal blocks and p-radical groups

Let G be a finite group and k a field of characteristic p > 0. In this paper, we obtain several equivalent conditions to determine whether the principal block B₀ of a finite p-solvable group G is p-radical, which means that B₀ has the property that e₀(k_P)^G is semisimple as a kG-module, where P is a Sylow p-subgroup of G, k_P is the trivial kP-module, (k_P)^G is the induced module, and e₀ is the block idempotent of B₀. We also give the complete classification of a finite p-solvable group G which has not more than three simple B₀-modules where B₀ is p-radical.     

Finite groups with an irreducible character of large degree

Let G be a finite group and d the degree of a complex irreducible character of G, then write |G| = d(d + e) where e is a nonnegative integer. We prove that |G| ≤ e⁴?e³ whenever e > 1. This bound is best possible and improves on several earlier related results.     

On an inverse problem to Frobenius’ theorem

Let G be a finite group and e a positive integer dividing |G|, the order of G. Denoting \({L_e(G)=\{x\in G|\,x^e=1\}}\) , Frobenius proved that |L _e (G)| = ke for a positive integer k ≥ 1. In this paper, we give a complete classification of finite groups G with |L _e (G)| ≤ 2e for every e dividing |G|.     

Abelian quotients and orbit sizes of solvable linear groups

Let G be a finite group, and let V be a completely reducible faithful Gmodule. It has been known for a long time that if G is abelian, then G has a regular orbit on V. In this paper we generalize this result as follows. Assuming G to be solvable, we show that G has an orbit of size at least |G/G′| on V. This also strengthens a result of Aschbacher and Guralnick in that situation. Additionally, we prove a similar generalization of the well-known result that if G is nilpotent, then G has an orbit of size at least \(\sqrt {\left| G \right|} \) on V.     

On a question of Külshammer for representations of finite groups in reductive groups

Let G be a simple algebraic group of type G₂ over an algebraically closed field of characteristic 2. We give an example of a finite group Γ with Sylow 2-subgroup Γ₂ and an infinite family of pairwise non-conjugate homomorphisms ρ: Γ → G whose restrictions to Γ₂ are all conjugate. This answers a question of Burkhard Külshammer from 1995. We also give an action of Γ on a connected unipotent group V such that the map of 1-cohomologies H¹(Γ, V) → H¹(Γ_p, V) induced by restriction of 1-cocycles has an infinite fibre.     

On the rank of compact <Emphasis Type="Italic">p</Emphasis>-adic Lie groups

The rank of a profinite group G is the basic invariant \({{\rm rk}(G):={\rm sup}\{d(H) \mid H \leq G\}}\), where H ranges over all closed subgroups of G and d(H) denotes the minimal cardinality of a topological generating set for H. A compact topological group G admits the structure of a p-adic Lie group if and only if it contains an open pro-p subgroup of finite rank. For every compact p-adic Lie group G one has rk(G) ≥ dim(G), where dim(G) denotes the dimension of G as a p-adic manifold. In this paper we consider the converse problem, bounding rk(G) in terms of dim(G). Every profinite group G of finite rank admits a maximal finite normal subgroup, its periodic radical π(G). One of our main results is the following. Let G be a compact p-adic Lie group such that π(G) = 1, and suppose that p is odd. If \(\{g \in G \mid g^{p-1}=1 \}\) is equal to {1}, then rk(G) = dim(G).     

A solvability criterion for finite groups

We show that if for every prime p, the normalizer of a Sylow p-subgroup of a finite group G admits a p-solvable supplement, then G is solvable. This generalizes a solvability criterion of Hall which asserts that a finite group G is solvable if and only if G has a Hall p′-subgroup for every prime p.     

Diameter-Preserving Spanning Trees in Sparse Weighted Graphs

We give a simple sufficient condition for a weighted graph to have a diameter-preserving spanning tree. More precisely, let G = (V, E, f _E ) be a connected edge weighted graph with f _E being the edge weight function. Let f _V be the vertex weight function of G induced by f _E as follows: f _V (v) = max{f _E (e) : e is incident with v} for all \({v \in V}\) . We show that G contains a diameter-preserving spanning tree if \({d(G)\ge \frac{2}{3} \sum_{v\in V} f_V(v)}\) where d(G) is the diameter of G. The condition is sharp in the sense that for any \({\epsilon >0 }\) , there exist weighted graphs G satisfying \({d(G) > (\frac{2}{3}-\epsilon)\sum_{v\in V} f_V(v)}\) and not containing a diameter-preserving spanning tree.     

A cohomological criterion for <Emphasis Type="Italic">p</Emphasis>-solvability

Let G be a finite group, let p be a prime, and let P be a Sylow p-subgroup of G. In this note we give a cohomological criterion for the p-solvability of G depending on the cohomology in degree 1 with coefficients in \(\mathbb F_p\) of both the normal subgroups of G and P. As a byproduct we bound the minimum possible number of factors of p-power order appearing in any normal series of G, in which each factor is either a p-group, a p’-group, or a non-p-solvable characteristically simple group, by the number of generators of P.     

Finite <Emphasis Type="Italic">p</Emphasis>-groups whose non-normal subgroups have few orders

Suppose that G is a finite p-group. If G is not a Dedekind group, then G has a non-normal subgroup. We use p^M(G) and p^m(G) to denote the maximum and minimum of the orders of the non-normal subgroups of G; respectively. In this paper, we classify groups G such that M(G) < 2m(G)?1: As a by-product, we also classify p-groups whose orders of non-normal subgroups are p^k and p^k+1.     

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.     

Hamiltonian cycles in Dirac graphs

We prove that for any n-vertex Dirac graph (graph with minimum degree at least n/2) G=(V,E), the number, Ψ(G), of Hamiltonian cycles in G is at least

$exp_2 [2h(G) - n\log e - o(n)],$

where h(G)=maxΣ _e x _e log(1/x _e ), the maximum over x: E → ?⁺ satisfying Σ _e?υ x _e = 1 for each υ ∈ V, and log =log₂. (A second paper will show that this bound is tight up to the o(n).)

We also show that for any (Dirac) G of minimum degree at least d, h(G) ≥ (n/2) logd, so that Ψ(G) > (d/(e + o(1))) ⁿ . In particular, this says that for any Dirac G we have Ψ(G) > n!/(2 + o(1)) ⁿ , confirming a conjecture of G. Sárközy, Selkow, and Szemerédi which was the original motivation for this work.     

On <Emphasis Type="Italic">c</Emphasis><Superscript>#</Superscript>-normal subgroups infinite groups

A subgroup H of a finite group G is called a c^#-normal subgroup of G if there exists a normal subgroup K of G such that G = HK and H ∩ K is a CAP-subgroup of G: In this paper, we investigate the influence of fewer c^#-normal subgroups of Sylow p-subgroups on the p-supersolvability, p-nilpotency, and supersolvability of finite groups. We obtain some new sufficient and necessary conditions for a group to be p-supersolvable, p-nilpotent, and supersolvable. Our results improve and extend many known results.     

Glider Representations of Group Algebra Filtrations of Nilpotent Groups

We continue the study of glider representations of finite groups G with given structure chain of subgroups e ? G ₁ ?… ? G _d = G. We give a characterization of irreducible gliders of essential length e ≤ d which in the case of p-groups allows to prove some results about classical representation theory. The paper also contains an introduction to generalized character theory for glider representations and an extension of the decomposition groups in the Clifford theory. Furthermore, we study irreducible glider representations for products of groups and nilpotent groups.     

Thompson’s conjecture for the alternating group of degree 2<Emphasis Type="Italic">p</Emphasis> and 2<Emphasis Type="Italic">p</Emphasis>+1

For a finite group G denote by N(G) the set of conjugacy class sizes of G. In 1980s, J.G.Thompson posed the following conjecture: If L is a finite nonabelian simple group, G is a finite group with trivial center and N(G) = N(L), then G ? L. We prove this conjecture for an infinite class of simple groups. Let p be an odd prime. We show that every finite group G with the property Z(G) = 1 and N(G) = N(A _i ) is necessarily isomorphic to A _i , where i ∈ {2p, 2p + 1}.     

Neighborhood Conditions for Fractional ID-<Emphasis Type="Italic">k</Emphasis>-factor-critical Graphs

Let G be a graph and k ≥ 2 a positive integer. Let h: E(G) → [0, 1] be a function. If \(\sum\limits_{e \mathrel\backepsilon x} {h(e) = k} \) holds for each x ∈ V (G), then we call G[F_h] a fractional k-factor of G with indicator function h where F_h = {e ∈ E(G): h(e) > 0}. A graph G is fractional independent-set-deletable k-factor-critical (in short, fractional ID-k-factor-critical), if G ? I has a fractional k-factor for every independent set I of G. In this paper, we prove that if n ≥ 9k ? 14 and for any subset X ? V (G) we have

$${N_G}(X) = V(G)if|X| \geqslant \left\lfloor {\frac{{kn}}{{3k - 1}}} \right\rfloor ;or|{N_G}(X)| \geqslant \frac{{3k - 1}}{k}|X|if|X| < \left\lfloor {\frac{{kn}}{{3k - 1}}} \right\rfloor ,$$

then G is fractional ID-k-factor-critical.