A characterization of the linear groups L 2(p)

Let G be a finite group and π _e (G) be the set of element orders of G. Let k ∈ π _e (G) and m _k be the number of elements of order k in G. Set nse(G):= {m _k : k ∈ π _e (G)}. In fact nse(G) is the set of sizes of elements with the same order in G. In this paper, by nse(G) and order, we give a new characterization of finite projective special linear groups L ₂(p) over a field with p elements, where p is prime. We prove the following theorem: If G is a group such that |G| = |L ₂(p)| and nse(G) consists of 1, p ² ? 1, p(p + ?)/2 and some numbers divisible by 2p, where p is a prime greater than 3 with p ≡ 1 modulo 4, then G ? L ₂(p).     

Finite groups with three conjugacy class sizes of some elements

Let G be a finite group. We prove as follows: Let G be a p-solvable group for a fixed prime p. If the conjugacy class sizes of all elements of primary and biprimary orders of G are {1,p ^a , n} with a and n two positive integers and (p,n)?=?1, then G is p-nilpotent or G has abelian Sylow p-subgroups.     

Finite p-groups with a minimal non-abelian subgroup of index p(Ⅱ)

We classify completely three-generator finite p-groups G such that Ф(G)≤Z(G)and|G′|≤p2.This paper is a part of the classification of finite p-groups with a minimal non-abelian subgroup of index p,and solve partly a problem proposed by Berkovich.     

On the edge-connectivity and restricted edge-connectivity of a product of graphs

The product graph G_m*G_p of two given graphs G_m and G_p was defined by Bermond et al. [Large graphs with given degree and diameter II, J. Combin. Theory Ser. B 36 (1984) 32-48]. For this kind of graphs we provide bounds for two connectivity parameters (λ and λ^′, edge-connectivity and restricted edge-connectivity, respectively), and state sufficient conditions to guarantee optimal values of these parameters. Moreover, we compare our results with other previous related ones for permutation graphs and cartesian product graphs, obtaining several extensions and improvements. In this regard, for any two connected graphs G_m, G_p of minimum degrees δ(G_m), δ(G_p), respectively, we show that λ(G_m*G_p) is lower bounded by both δ(G_m)+λ(G_p) and δ(G_p)+λ(G_m), an improvement of what is known for the edge-connectivity of G_m×G_p.     

Conjugacy classes of non-normal subgroups of finite p-groups

Let G be a finite p-group, and let ν(G) denote the number of conjugacy classes of non-normal subgroups of G. It is known that either ν(G) ≤ 1 or ν(G) ≥ p. We determine all p-groups G with ν(G) ≤ p + 1.     

A characterization of powerful p-groups

In [10] Benjamin Klopsch and Ilir Snopce recently posted the conjecture that for p ≥ 3 and G a torsion-free pro-p group, d(G) = dim(G) is a sufficient and necessary condition for the pro-p group G to be uniform. They pointed out that this follows from the more general question of whether for a finite p-group d(G) = log _p (|Ω₁(G)|) is a sufficient and necessary condition for the group G to be powerful. In this short note we will give a positive answer to this question for p ≥ 5.     

Embeddings of minimal non-abelian p-groups

By a quasi-permutation matrix we mean a square matrix over the complex field C with non-negative integral trace. For a given finite group G, let p(G) denote the minimal degree of a faithful representation of G by permutation matrices, and let c(G) denote the minimal degree of a faithful representation of G by quasi-permutation matrices. See [4]. It is easy to see that c(G) is a lower bound for p(G). Behravesh [H. Behravesh, The minimal degree of a faithful quasi-permutation representation of an abelian group, Glasg. Math. J. 39 (1) (1997) 51-57] determined c(G) for every finite abelian group G and also [H. Behravesh, Quasi-permutation representations of p-groups of class 2, J. Lond. Math. Soc. (2) 55 (2) (1997) 251-260] gave the algorithm of c(G) for each finite group G. In this paper, we first improve this algorithm and then determine c(G) and p(G) for an arbitrary minimal non-abelian p-group G.     

On p-approximation properties for p-operator spaces

This paper has a two-fold purpose. Let 1<p<∞. We first introduce the p-operator space injective tensor product and study various properties related to this tensor product, including the p-operator space approximation property, for p-operator spaces on Lp-spaces. We then apply these properties to the study of the pseudofunction algebra PFp(G), the pseudomeasure algebra PMp(G), and the Figà-Talamanca-Herz algebra Ap(G) of a locally compact group G. We show that if G is a discrete group, then most of approximation properties for the reduced group C^∗-algebra , the group von Neumann algebra VN(G), and the Fourier algebra A(G) (related to amenability, weak amenability, and approximation property of G) have the natural p-analogues for PFp(G), PMp(G), and Ap(G), respectively. The p-completely bounded multiplier algebra McbAp(G) plays an important role in this work.     

L p -spaces on locally compact groups

In this paper, some relations between L ^p -spaces on locally compact groups are found. Applying these results proves that for a locally compact group G, the convolution Banach algebras L ^p (G) ∩ L ¹(G) (1 < p ≤ ∞), and A _p (G) ∩ L ¹(G) (1 < p < ∞) are amenable if and only if G is discrete and amenable.     

Matroids over fp which are rational excluded minors

For a given prime p, we construct a collection of 2^p matroids G_p,a with (1) χ_pf(G_p,a)={p}, and (2) G_p,a is an excluded minor for rational representability. The motivating construction (Section 2) disproves a conjectures of Reid [4], using relatively high-rank, high cardinality matroids. The general construction (Section 3) makes use of ordered partitions (χ_pf(G) denotes the prime-field characteristic set of G, i.e., the set of prime fields over which G may be represented, while G can be represented over fields of no other characteristic.) Finally, Section 4 offers another construction with the same properties–a kind of projective dual to Section 2.     

Finite groups with the set of the number of subgroups of possible order containing exactly two elements

Let G be a finite group, and n(G) be the set of the number of subgroups of possible order of G. We investigate the structure of G satisfying that n(G)?=?{1, m} for any positive integer m?>?1. At first, we prove that the nilpotent length of G is less than 2. Secondly, we investigate nilpotent groups with m?=?p?+?1 or p ²?+?p?+?1 (p is a prime), and we get the classification of such kinds of groups. At last, we investigate non-nilpotent groups with m?=?p?+?1 and get the classification of the groups under consideration.     

Coherent orientations and series-parallel networks

Let p be an edge of the graph G. An orientation of G is p-coherent if the set of directed circuits is exactly the set of circuits containing the edge p. Theorem: A matroidally connected graph G is a series-parallel network if and only if for every edge p of G, there exists a p-coherent orientation.     

A conjecture on the number of conjugacy classes in ap-solvable group

IfG is ap-solvable group, it is conjectured that k(G/O _P (G) ≤ |G| _p ′. The conjecture is easily obtained for solvable groups as a consequence of R. Knörr’s work on the k(GV) problem. Also, a related result is obtained: k(G/F(G)) is bounded by the index of a nilpotent injector ofG.     

Conjugacy class sizes and solvability of finite groups

Let G be a finite group and let G* be the set of elements of primary, biprimary and triprimary orders of G. We show that suppose that the conjugacy class sizes of G* are exactly {1, p ^a , n, p ^a n} with (p, n)?=?1 and a??? 0, then G is solvable.     

Length of Longest Cycles in a Graph Whose Relative Length is at Least Two

Let G be a graph. We denote p(G) and c(G) the order of a longest path and the order of a longest cycle of G, respectively. Let κ(G) be the connectivity of G, and let σ ₃(G) be the minimum degree sum of an independent set of three vertices in G. In this paper, we prove that if G is a 2-connected graph with p(G) ? c(G) ≥ 2, then either (i) c(G) ≥ σ ₃(G) ? 3 or (ii) κ(G)?=?2 and p(G) ≥ σ ₃(G) ? 1. This result implies several known results as corollaries and gives a new lower bound of the circumference.     

The Fourier transform of Herz spaces on certain groups

LetG be a locally compact abelian topological group containing a suitable sequence of compact open subgroups and let Γ be its dual group. LetK (α,p, q; G) andK (α,p, q; Γ) denote the so-called Herz spaces onG and Γ, respectively. In this paper we shall prove that for 1<p≤2 and 0≤α<1/p′=1?1/p, the Fourier transform mapsK (α,p, p; G) continuously intoK (?α,p′, 2; Γ). The proof requires two results that are of independent interest: an extension of the Hausdorff-Young inequality to certain weightedL _p-spaces onG and a Littlewood-Paley theorem for certain weightedL _p-spaces onG.     

The influence of minimal subgroups of focal subgroups on the structure of finite groups

A subgroup H of a finite group G is said to be complemented in G if there exists a subgroup K of G such that G=HK and H∩K=1. In this paper, it is proved that a finite group G is p-nilpotent provided p is the smallest prime number dividing the order of G and every minimal subgroup of the p-focal subgroup of G is complemented in N_G(P), where P is a Sylow p-subgroup of G. As some applications, some interesting results related with complemented minimal subgroups of focal subgroups are obtained.     

Cohen-Host type idempotent theorems for representations on Banach spaces and applications to Figà-Talamanca-Herz algebras

Let G be a locally compact group, and let R(G) denote the ring of subsets of G generated by the left cosets of open subsets of G. The Cohen-Host idempotent theorem asserts that a set lies in R(G) if and only if its indicator function is a coefficient function of a unitary representation of G on some Hilbert space. We prove related results for representations of G on certain Banach spaces. We apply our Cohen-Host type theorems to the study of the Figà-Talamanca-Herz algebras Ap(G) with p∈(1,∞). For arbitrary G, we characterize those closed ideals of Ap(G) that have an approximate identity bounded by 1 in terms of their hulls. Furthermore, we characterize those G such that Ap(G) is 1-amenable for some—and, equivalently, for all—p∈(1,∞): these are precisely the abelian groups.     

On the Sylow graph of a group and Sylow normalizers

Let G be a finite group and G _p be a Sylow p-subgroup of G for a prime p in π(G), the set of all prime divisors of the order of G. The automiser A _p (G) is defined to be the group N _G (G _p )/G _p C _G (G _p ). We define the Sylow graph Γ _A (G) of the group G, with set of vertices π(G), as follows: Two vertices p, q ∈ π(G) form an edge of Γ _A (G) if either q ∈ π(A _p (G)) or p ∈ π(A _q (G)). The following result is obtained Theorem: Let G be a finite almost simple group. Then the graph Γ _A (G) is connected and has diameter at most 5. We also show how this result can be applied to derive information on the structure of a group from the normalizers of its Sylow subgroups.