Tetravalent Edge-transitive Cayley Graphs of PGL （2, p）

t Let F = Cay（G, S）, R（G） be the right regular representation of G. The graph Г is called normal with respect to G, if R（G） is normal in the full automorphism group Aut（F） of F. Г is called a bi-normal with respect to G if R（G） is not normal in Aut（Г）, but R（G） contains a subgroup of index 2 which is normal in Aut（F）. In this paper, we prove that connected tetravalent edge-transitive Cayley graphs on PGL（2,p） are either normal or bi-normal when p ≠ 11 is a prime.     

The trace class conjecture without the K-finiteness assumption

Let G be the group of real points of a reductive algebraic ℚ-group satisfying the same assumptions as in [5], Chapter I, and let Γ be a discrete subgroup of G. Let R_Γ be the right regular representation of G in L²(Γ\G). We prove in this Note that, for any integrable rapidly decreasing function ƒ on G, the restriction of R_Γ(ƒ) to the discrete spectrum of R_Γ is a trace class operator.     

On regular graphs,V

Let Γ₃ be an infinite regular tree of valence 3. There exist subgroups B of Aut (Γ₃) which are 5-regular on Γ₃, i.e., sharply transitive on the set of 5-arcs of Γ₃. We prove that any two such subgroups are conjugate in Aut (Γ₃). The pair (Γ₃, B) is a universal 5-regular action in the sense that if (G, A) is a pair consisting of a cubical graph G and a 5-regular subgroup A of automorphisms of G then (G, A) can be “covered” by (Γ₃, B) in a certain natural way.     

A generalization of amenability and inner amenability of groups

Let G be a locally compact group. We continue our work [A. Ghaffari: Γ-amenability of locally compact groups, Acta Math. Sinica, English Series, 26 (2010), 2313–2324] in the study of Γ-amenability of a locally compact group G defined with respect to a closed subgroup Γ of G × G. In this paper, among other things, we introduce and study a closed subspace A _Γ ^p (G) of L ^∞(Γ) and then characterize the Γ-amenability of G using A _Γ ^p (G). Various necessary and sufficient conditions are found for a locally compact group to possess a Γ-invariant mean.     

Modules over group rings of solvable groups with rank restrictions on subgroups

Let A be an R G-module over a commutative ring R, where G is a group of infinite section p-rank (0-rank), C _G (A) = 1, A is not a Noetherian R-module, and the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (0-rank). We describe the structure of solvable groups G of this type.     

On upper domination Ramsey numbers for graphs

The classical Ramsey number r(m,n) can be defined as the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, β(B)⩾m or β(R)⩾n, where β(G) denotes the independence number of a graph G. We define the upper domination Ramsey number u(m,n) as the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, Γ(B)⩾m or Γ(R)⩾n, where Γ(G) is the maximum cardinality of a minimal dominating set of a graph G. The mixed domination Ramsey number v(m,n) is defined to be the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, Γ(B)⩾m or β(R)⩾n. Since β(G)⩽Γ(G) for every graph G, u(m,n)⩽v(m,n)⩽r(m,n). We develop techniques to obtain upper bounds for upper domination Ramsey numbers of the form u(3,n) and mixed domination Ramsey numbers of the form v(3,n). We show that u(3,3)=v(3,3)=6, u(3,4)=8, v(3,4)=9, u(3,5)=v(3,5)=12 and u(3,6)=v(3,6)=15.     

On an approximation property for nondiscrete inequivalent representations of finitely generated groups

Let R(Γ, G) be the variety of representations of a finitely generated group Γ in a simple complex algebraic group G. We establish some sufficient conditions for the image of the diagonal representation ϱ = (ϱ₁, …, ϱ_t), ϱ_i ε R(Γ, G), to be dense in G^f in the complex topology (“weak approximation”).     

Orbits under actions of affine groups over GF (2)

Let G be a group (or vector space) and A a group of transformations of G. A then acts as a group of transformations of P(G), the set of subsets of G. It is meaningful to study the orbit structure of P(G) under the action of A. The question of the existence of elements of P(G) with trivial isotropy subgroup seems to be of interest in studying the action of A on G. In this paper actions of affine groups over GF (2) are considered. It is proved, by an inductive construction, that every vector space over GF (2) of dimension at least six contains a subset with trivial isotropy subgroup.     

On one class of modules that are close to Noetherian

We consider an R G-module A over a commutative Noetherian ring R. Let G be a group having infinite section p-rank (or infinite 0-rank) such that C _G (A) = 1, A/C _A (G) is not a Noetherian R-module, but the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (or infinite 0-rank, respectively). In this paper, it is proved that if G is a locally soluble group, then G is soluble. Some properties of soluble groups of this type are also obtained.     

Root Sublattices and Torus-Restriction of Prehomogeneous Vector Spaces Associated with Dynkin Quivers

For a Dynkin quiver Γ with r vertices, a subset S of the vertices of Γ, and an r-tuple d = (d⁽¹⁾, d⁽²⁾,…, d^(r)) of positive integers, we define a “torus-restricted” representation (G_S, R _d (Γ)) in natural way. Here we put G_S = G₁ × G₂ × … ×G_r, where each G_i is either SL(d⁽ⁱ⁾) or GL(d⁽ⁱ⁾) according to S containing i or not. In this paper, for a prescribed torus-restriction S, we give a necessary and sufficient condition on d that R _d (Γ) has only finitely many G_S-orbits. This can be paraphrased as a condition whether or not d is contained in a certain lattice spanned by positive roots of Γ. We also discuss the prehomogeneity of (G_S, R _d (Γ)).     

MULTIPLICATIVELY CLOSED SETS OF IDEALS AND RESIDUAL DIVISION

Let R be a ring (commutative with identity), let Γ be a multiplicatively closed set of finitely generated nonzero ideals of R, for an ideal I of R let I _Γ = ∪ {I : G; G ∈ Γ}, and for an R-algebra A such that GA ≠ (0) for all G ∈ Γ let A ^Γ = ∪ {A : _T GA; G ∈ Γ}, where T is the total quotient ring of A. Then I _Γ is an ideal in R, I → I _Γ is a semi-prime operation (on the set I of ideals I of R) that satisfies a cancellation law, and it is a prime operation on I if and only if R = R ^Γ. Also, A ^Γ is an R-algebra and A → A ^Γ is a closure operation on any set A = {A; A is an R-algebra, R ? A, and if C is a ring between R and A, then regular elements in C remain regular in A}. Finally, several results are proved concerning relations between the ideals I _Γ and (IA)_ΓA and between the R-algebras R ^Γ and A ^Γ.

     

On intransitive graph-restrictive permutation groups

Let Γ be a finite connected G-vertex-transitive graph and let v be a vertex of Γ. If the permutation group induced by the action of the vertex-stabiliser G _v on the neighbourhood Γ(v) is permutation isomorphic to L, then (Γ,G) is said to be locally L. A permutation group L is graph-restrictive if there exists a constant c(L) such that, for every locally L pair (Γ,G) and a vertex v of Γ, the inequality |G _v |≤c(L) holds. We show that an intransitive group is graph-restrictive if and only if it is semiregular.     

On the lifting of elliptic cusp forms to cusp forms on quaternionic unitary groups

Let H be a definite quaternion algebra over Q with discriminant DH and R a maximal order of H. We denote by Gn a quaternionic unitary group and put Γn=Gn(Q)∩GL2n(R). Let Sκ(Γn) be the space of cusp forms of weight κ with respect to Γn on the quaternion half-space of degree n. We construct a lifting from primitive forms in Sk(SL₂(Z)) to Sk+2n−2(Γn) and a lifting from primitive forms in Sk(Γ₀(d)) to Sk+2(Γ₂), where d is a factor of DH. These liftings are generalizations of the Maass lifting investigated by Krieg.     

On the extendability of Bi-Cayley graphs of finite abelian groups

Let G be a finite group and A a nonempty subset (possibly containing the identity element) of G. The Bi-Cayley graph X=BC(G,A) of G with respect to A is defined as the bipartite graph with vertex set G×{0,1} and edge set {{(g,0),(sg,1)}∣g∈G,s∈A}. A graph Γ admitting a perfect matching is called n-extendable if ∣V(Γ)∣≥2n+2 and every matching of size n in Γ can be extended to a perfect matching of Γ. In this paper, the extendability of Bi-Cayley graphs of finite abelian groups is explored. In particular, 2-extendable and 3-extendable Bi-Cayley graphs of finite abelian groups are characterized.     

Grundy number and products of graphs

The Grundy number of a graph G, denoted by Γ(G), is the largest k such that G has a greedyk-colouring, that is a colouring with k colours obtained by applying the greedy algorithm according to some ordering of the vertices of G. In this paper, we study the Grundy number of the lexicographic and cartesian products of two graphs in terms of the Grundy numbers of these graphs.Regarding the lexicographic product, we show that Γ(G)×Γ(H)≤Γ(G[H])≤2^Γ(G)−1(Γ(H)−1)+Γ(G). In addition, we show that if G is a tree or Γ(G)=Δ(G)+1, then Γ(G[H])=Γ(G)×Γ(H). We then deduce that for every fixed c≥1, given a graph G, it is CoNP-Complete to decide if Γ(G)≤c×χ(G) and it is CoNP-Complete to decide if Γ(G)≤c×ω(G).Regarding the cartesian product, we show that there is no upper bound of Γ(G□H) as a function of Γ(G) and Γ(H). Nevertheless, we prove that Γ(G□H)≤Δ(G)⋅2^Γ(H)−1+Γ(H).     

A duality between locally compact groups and certain Banach algebras

We make precise the following statements: B(G), the Fourier-Stieltjes algebra of locally compact group G, is a dual of G and vice versa. Similarly, A(G), the Fourier algebra of G, is a dual of G and vice versa. We define an abstract Fourier (respectively, Fourier-Stieltjes) algebra; we define the dual group of such a Fourier (respectively, Fourier-Stieltjes) algebra; and we prove the analog of the Pontriagin duality theorem in this context. The key idea in the proof is the characterization of translations of B(G) as precisely those isometric automorphisms Φ of B(G) which satisfy ∥ p ? e^iθΦp ∥² + ∥ p + e^iθΦp ∥² = 4 for all θ ∈ $\text{R}$ and all pure positive definite functions p with norm one. One particularly interesting technical result appears, namely, given x₁, x₂?G, neither of which is the identity e of G, then there exists a continuous, irreducible unitary representation π of G (which may be chosen from the reduced dual of G) such that π(x₁) ≠ π(e) and π(x₂) ≠ π(e). We also note that the group of isometric automorphisms of B(G) (or A(G)) contains as a (“large”) ^.closed, normal subgroup the topological version of Burnside's “holomorph of G.”     

Extensions and isomorphisms for the generalized Fourier algebras of a locally compact group

It is shown that for amenable groups, all finite-dimensional extensions of A_p(G) algebras split strongly. Furthermore, each extension of A_p(G) which splits algebraically also splits strongly. We also show that if G is an almost connected locally compact group, or a subgroup of GL_n(V) (V being a finite-dimensional vector space), and if for a fixed p∈(1,∞), all finite-dimensional singular extensions of A_p(G) split strongly, then G is amenable. Continuous order isomorphisms for the pointwise order of A_p(G) algebras, are characterized as weighted composition maps. Similarly, order isomorphisms for the pointwise order of B_p(G) algebras, are characterized as ∗-algebra isomorphisms followed by multiplication by an invertible positive multiplier. In addition, it is shown that for amenable groups, an order isomorphism for the pointwise order between A_p(G) algebras that preserve cozero sets is necessarily continuous, and hence induces an algebra isomorphism.     

Degree conditions and degree bounded trees

We give sufficient conditions for a graph to have degree bounded trees. Let G be a connected graph and A a vertex subset of G. We denote by σ_k(A) the minimum value of the degree sum in G of any k independent vertices in A and by w(G−A) the number of components in the induced subgraph G−A. Our main results are the following: (i) If σ_k(A)≥|V(G)|−1, then G contains a tree T with maximum degree at most k and A⊆V(T). (ii) If σ_k−w(G−A)(A)≥|A|−1, then G contains a spanning tree T such that d_T(x)≤k for every x∈A. These are generalizations of the result by Win [S. Win, Existenz von Gerüsten mit Vorgeschriebenem Maximalgrad in Graphen, Abh. Math. Sem. Univ. Hamburg 43 (1975) 263-267] and the degree conditions are sharp.     

Traces on Noncommutative Homogeneous Spaces

We study properties of C*-algebraic deformations of homogeneous spaces G/Γ which are equivariant in the sense that they preserve the natural action of G by left translation. The center is shown to be isomorphic to C(G/G⁰_ρ) for a certain subgroup G⁰_ρ of G, and there is a 1-1 correspondence between normalised traces and probability measures on G/G⁰_ρ. This makes it possible to represent the deformed algebra as operators over L²(G/Γ). Applications to K-theory are also mentioned.     

Goldschmidt’s 2-signalizer functor theorem

A solvableA-signalizer functor? assigns to any non-identity elementx of the abelian 2-subgroupA of the finite groupG anA-invariant solvable 2′-subgroupθ(C _G(x)) ofC _G(x) such thatθ(C _G(x)) ∩C _G(y) ??(C _G(y)) for allx, y ∈ A ^#.θ is called complete ifG has a solvableA-invariant 2′-subgroupK=θ(G) such thatC _k(x)=θ(C _G(x)) for everyx ∈ A#. This note contains an alternate proof of the completeness theorem below.