Reconstructing finite group actions and characters from subgroup information

A finite group G is said to be action reconstructible if, for any action of G on a finite set, the numbers of orbits under restriction to each subgroup always give enough information to reconstruct the action up to equivalence. G is character reconstructible if, given any matrix representation of G, the mean value of the character on each subgroup always gives enough information to reconstruct the character. The conjugacy matrix of G is the matrix whose (ij) entry is the number of elements of the jth conjugacy class belonging to a typical subgroup of the ith subgroup conjugacy class. It is shown that G is action reconstructible if and only if the rows of this matrix are linearly independent (which is in turn true if and only if G is cyclic), and is character reconstructible if and only if the columns are linearly independent (which is true if and only if any two elements of G which generate conjugate cyclic subgroups are themselves conjugate).     

The chromatic difference sequence of the Cartesian product of graphs

The chromatic difference sequence cds(G) of a graph G with chromatic number n is defined by cds(G) = (a(1), a(2),…, a(n)) if the sum of a(1), a(2),…, a(t) is the maximum number of vertices in an induced t-colorable subgraph of G for t = 1, 2,…, n. The Cartesian product of two graphs G and H, denoted by G□H, has the vertex set V(G□H = V(G) x V(H) and its edge set is given by (x₁, y₁)(x₂, y₂) ε E(G□H) if either x₁ = x₂ and y₁ y₂ ε E(H) or y₁ = y₂ and x₁x₂ ε E(G).

We obtained four main results: the cds of the product of bipartite graphs, the cds of the product of graphs with cds being nondrop flat and first-drop flat, the non-increasing theorem for powers of graphs and cds of powers of circulant graphs.     

Numerical linear algorithms and group theory

Most methods for solving linear systems Ax=b are founded on the ability to split up the matrix A in the form of a product A=G·R with G belonging to a subgroup of the general linear group Gl(n,R) and R being a regular upper triangular matrix. In the same way, the calculation of the eigenvalues of a matrix by the use of an algorithm of the Rutishauser type is based on a G·R decomposition for the matrix. Our aim in this article will be to show the importance of the notion of splitting up, to set out the conditions under which it may be used and to show how it enables us to generate new algorithms.     

On index of total boundedness of (strictly) o-bounded groups

Let G be a metrizable topological group. Denote by itb(G) the smallest cardinality of a cover of G by totally bounded subsets of G. A group G is defined to be σ-bounded if itb(G)₀. The group G is called o-bounded if for every sequence (U_n)_nω of neighborhoods of the identity in G there exists a sequence (F_n)_nω of finite subsets in G such that G=_nωF_n·U_n; G is called strictly o-bounded (respectively OF-determined) if the second player (respectively one of the players) has a winning strategy in the following game OF: two players, I and II, choose at every step n an open neighborhood U_n of the identity in G and a finite subset F_n of G, respectively. The player II wins if G=_nωF_n·U_n.

For a second countable group G the following results are proven. . If G is strictly o-bounded, then itb(G)₁ and G is σ-bounded or meager. If the space G is analytic, then the group is OF-determined and satisfies . G is σ-bounded if it is strictly o-bounded and one of the following conditions holds: (i) G is analytic; (ii) ; (iii) (MA+¬CH) holds; (iv) analytic games are determined; (v) there exists a measurable cardinal. Also we show that under (MA) every non-locally compact Polish Abelian divisible group contains a Baire o-bounded OF-undetermined subgroup.     

Nonsolvable groups whose irreducible character degrees have special 2-parts

Let G be a nonsolvable group and Irr(G) the set of irreducible complex characters of G. We consider the nonsolvable groups whose character degrees have special 2-parts and prove that if χ(1)₂ = 1 or |G|₂ for every χ ∈ Irr(G), then there exists a minimal normal subgroup N of G such that N ≅ PSL(2, 2ⁿ) and G/N is an odd order group.     

Normal Sylow subgroups and monomial Brauer characters

Let G be a finite group, p be a prime divisor of |G|, and P be a Sylow p-subgroup of G. We prove that P is normal in a solvable group G if |G : ker φ|p' = φ(1)p' for every nonlinear irreducible monomial p-Brauer character φ of G, where ker φ is the kernel of φ and φ(1)p' is the p'-part of φ(1).     

Invariant Hamming graphs in infinite quasi-median graphs

It is shown that a quasi-median graph G without isometric infinite paths contains a Hamming graph (i.e., a cartesian product of complete graphs) which is invariant under any automorphism of G, and moreover if G has no infinite path, then any contraction of G into itself stabilizes a finite Hamming graph.     

The exponent of the primitive Cayley digraphs on finite Abelian groups

Let G be finite group and let S be a subset of G. We prove a necessary and sufficient condition for the Cayley digraph X_{(G, S)} to be primitive when S contains the central elements of G. As an immediate consequence we obtain that a Cayley digraph X_{(G, S)} on an Abelian group is primitive if and only if S^−1S is a generating set for G. Moreover, it is shown that if a Cayley digraph X_{(G, S)} on an Abelian group is primitive, then its exponent either is or is not exceeding . Finally, we also characterize those Cayley digraphs on Abelian groups with exponent . In particular, we generalize a number of well-known results for the primitive circulant matrices.     

ContributionsOn optimal orientations of cartesian products of graphs (I)

For a graph G, let D(G) be the family of strong orientations of G, and define [ovbar|d] (G) = min[d(D) vb D ] D(G), where d(D) denotes the diameter of the digraph D. Let G × H denote the cartesian product of the graphs G and H. In this paper, we determine completely the values of and , except , where K_n, P_n and C_n denote the complete graph, path and cycle of order n, respectively.     

Semipermutable subgroups and s-semipermutable subgroups in finite groups

Suppose that H is a subgroup of a finite group G. We call H is semipermutable in G if HK = KH for any subgroup K of G such that (|H|, |K|) = 1; H is s-semipermutable in G if HG_p = G_pH, for any Sylow p-subgroup G_p of G such that (|H|, p) = 1. These two concepts have been received the attention of many scholars in group theory since they were introduced by Professor Zhongmu Chen in 1987. In recent decades, there are a lot of papers published via the application of these concepts. Here we summarize the results in this area and gives some thoughts in the research process.     

On <Emphasis Type="Italic">σ</Emphasis>-semipermutable Subgroups of Finite Groups

Let σ={σ_i|i∈I} be some partition of the set of all primes P, G a finite group and σ(G)={σ_i|σ_i ∩ π(G)≠∅}. A set H of subgroups of G is said to be a complete Hall σ-set of G if every member≠1 of H is a Hall σ_i-subgroup of G for some σ_i ∈ σ and H contains exactly one Hall σ_i-subgroup of G for every σ_i ∈ σ(G). A subgroup H of G is said to be:σ-semipermutable in G with respect to H if HH_i^x=H_i^xH for all x ∈ G and all H_i ∈ H such that (|H|,|H_i|)=1; σ-semipermutable in G if H is σ-semipermutable in G with respect to some complete Hall σ-set of G. We study the structure of G being based on the assumption that some subgroups of G are σ-semipermutable in G.     

Extension of irreducible characters from normal subgroups

Let G = NH(NΔG) be a finite group and let x be an invariant irreducible character of N. A sufficient condition is provided for x to be extended to a character of G.     

路的字典积的邻和可区别边染色

图G的正常[k]-边染色σ是指颜色集合为[k]={1,2,…,k}的G的一个正常边染色.用w_σ（x）表示顶点x关联边的颜色之和,即w_σ（x）=∑_e∋x σ（e）,并称w_σ（x）关于σ的权.图G的k-邻和可区别边染色是指相邻顶点具有不同权的正常[k]-边染色,最小的k值称为G的邻和可区别边色数,记为χ'_∑（G）.现得到了路P_n与简单连通图H的字典积P_n[H]的邻和可区别边色数的精确值,其中H分别为正则第一类图、路、完全图的补图.     

Solvable block transitive automorphism groups of 2−(v,5,1) designs

Let G be a solvable block transitive automorphism group of a 2−(v,5,1) design and suppose that G is not flag transitive. We will prove that

(1) if G is point imprimitive, then v=21, and GZ₂₁:Z₆;

(2) if G is point primitive, then GAΓL(1,v) and v=p^a, where p is a prime number with p≡21 (mod 40), and a an odd integer.

     

Generalized tangent representations for groups and symmetric spaces of matrices

Any two representations of dimensions n resp. r of a given group G allow the construction of a third representation φ in the space of rectangular n × r matrices K^n,r over the same ground field K. The φ-semidirect product of K^n,r and G then has (n + r) dimensional representation. The inhomogenizations of G and in case of matrix Lie groups G the tangent groups are special cases of this construction. The contragredient as well as the Lie algebraical versions of these results are included. In the final section the construction is generalized to symmetric spaces and their local algebraical structures, the Lie triples, by defining semidirect products resp. semidirect sums with respect to a representation     

Multilinear enumerative techniques

When S is a finite set and G a finite group acting on S, we consider the problem of rejecting isomorphs in a G-stable subset of S. In previous work we developed a linear algebraic context for this problem by constructing the finite dimensional vector spaceF^s whereF is a field of characteristic zero. When S is a finite function space, or a finite direct product of finite function spacesF^s acquires a multilinear structure By various specializations ofG and S and by applications of results which have appeared elsewhere, identities of Sheehan, deBruijn and P61ya are obtained. Furthermore, these same techniques are applied to examples which do not have a clear resolution using the more common formulas     

Marked length rigidity of rank one symmetric spaces and their product

In this paper we show that if two Zariski dense representations, from a group G into Iso(X) where X is rank one symmetric space, have the proportional marked length spectrum, then they are conjugate. As a generalization we show that a Zariski dense representation into the isometry group of the product of rank one symmetric spaces is determined by the marked cross ratio.     

On Some Families of Smooth Affine Spherical Varieties of Full Rank

Let G be a complex connected reductive group. Losev has shown that a smooth affine spherical G-variety X is uniquely determined by its weight monoid, which is the set of irreducible representations of G that occur in the coordinate ring of X. In this paper we use a combinatorial characterization of the weight monoids of smooth affine spherical varieties to classify:(a) all such varieties for G = SL(2) × C~×and(b) all such varieties for G simple which have a G-saturated weight monoid of full rank. We also use the characterization and Knop's classification theorem for multiplicity free Hamiltonian manifolds to give a new proof of Woodward's result that every reflective Delzant polytope is the moment polytope of such a manifold.