On automorphism groups of Cayley graphs

LetX _G,H denote the Cayley graph of a finite groupG with respect to a subsetH. It is well-known that its automorphism groupA(X_G,H) must contain the regular subgroupL _G corresponding to the set of left multiplications by elements ofG. This paper is concerned with minimizing the index [A(X_G,H)L_G] for givenG, in particular when this index is always greater than 1. IfG is abelian but not one of seven exceptional groups, then a Cayley graph ofG exists for which this index is at most 2. Nearly complete results for the generalized dicyclic groups are also obtained.     

Simplicity of Skew Group Rings of Abelian Groups

Necessary and sufficient conditions for simplicity of a general skew group ring A ?_σ G are not known. In this article, we show that a skew group ring A ?_σ G, of an abelian group G, is simple if and only if its centre is a field and A is G-simple. As an application, we show that a transformation group (X, G), where X is a compact Hausdorff space acted upon by an abelian group G, is minimal and faithful if and only if its associated skew group algebra C(X) ?_σ G is simple.     

On the Conditional Variance for Scale Mixtures of Normal Distributions

For a scale mixture of normal vector, X=A^1/2G, where X, G ⁿ and A is a positive variable, independent of the normal vector G, we obtain that the conditional variance covariance, Cov(X₂ X₁), is always finite a.s. for m2, where X₁ ⁿ and m<n, and remains a.s. finite even for m=1, if and only if the square root moment of the scale factor is finite. It is shown that the variance is not degenerate as in the Gaussian case, but depends upon a function S_A, m(·) for which various properties are derived. Application to a uniform and stable scale of normal distributions are also given.     

On finite groups whose every proper normal subgroup is a union of a given number of conjugacy classes

Let G be a finite group andA be a normal subgroup ofG. We denote by ncc(A) the number ofG-conjugacy classes ofA andA is calledn-decomposable, if ncc(A)= n. SetK _G = {ncc(A)|A ⊲ G}. LetX be a non-empty subset of positive integers. A groupG is calledX-decomposable, ifK _G =X. Ashrafi and his co-authors [1-5] have characterized theX-decomposable non-perfect finite groups forX = {1, n} andn ≤ 10. In this paper, we continue this problem and investigate the structure ofX-decomposable non-perfect finite groups, forX = {1, 2, 3}. We prove that such a group is isomorphic to Z₆, D₈, Q₈, S₄, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup(m, n) denotes the mth group of ordern in the small group library of GAP [11].     

First Alexandroff Decomposition Theorem for Topological Lattice Group Valued Measures

Let (X, F) be an Alexandroff space, let A(F) be the Boolean subalgebra of 2 ^X generated by F, let G be a Hausdorff commutative topological lattice group and let rba_F(A(F), G) denote the set of all order bounded F-inner regular finitely additive set functions from A(F) into G. Using some special properties of the elements of rba_F(A(F), G), we extend to this setting the first decomposition theorem of Alexandroff.     

Distance in stratified graphs

A graph G is stratified if its vertex set is partitioned into classes, called strata. If there are k strata, then G is k-stratified. These graphs were introduced to study problems in VLSI design. The strata in a stratified graph are also referred to as color classes. For a color X in a stratified graph G, the X-eccentricity e _X(v) of a vertex v of G is the distance between v and an X-colored vertex furthest from v. The minimum X-eccentricity among the vertices of G is the X-radius rad_X G of G and the maximum X-eccentricity is the X-diameter diam_X G. It is shown that for every three positive integers a, b and k with ab, there exist a k-stratified graph G with rad_X G = a and diam_X G = b. The number s _X denotes the minimum X-eccetricity among the X-colored vertices of G. It is shown that for every integer t with rad_X G t diam_X G, there exist at least one vertex v with e _X(v) = t; while if rad_X G t s _X, then there are at least two such vertices. The X-center C _X(G) is the subgraph induced by those vertices v with e _X(v) = rad_X G and the X-periphery P _X (G) is the subgraph induced by those vertices v with e _X(G) = diam_X G. It is shown that for k-stratified graphs H ₁, H ₂,..., H _k with colors X ₁, X ₂,..., X _k and a positive integer n, there exists a k-stratified graph G such that C X _i(G) H _i (1 ; i ; k1) and for i j. Those k-stratified graphs that are peripheries of k-stratified graphs are characterized. Other distance-related topics in stratified graphs are also discussed.     

The influence of <Emphasis Type="Italic">X</Emphasis>-semipermutability of subgroups on the structure of finite groups

Let A be a subgroup of a group G and X be a nonempty subset of G. A is said to be X-semipermutable in G if A has a supplement T in G such that A is X-permutable with every subgroup of T. In this paper, we investigate further the influence of X-semipermutability of some subgroups on the structure of finite groups. Some new criteria for a group G to be supersoluble or p-nilpotent are obtained. This work was supported by National Natural Science Foundation of China (Grant Nos. 10771172, 10771180)     

On disjoint configurations in infinite graphs

For a graph A and a positive integer n, let nA denote the union of n disjoint copies of A; similarly, the union of ?₀ disjoint copies of A is referred to as ?₀A. It is shown that there exist (connected) graphs A and G such that nA is a minor of G for all n??, but ?₀A is not a minor of G. This supplements previous examples showing that analogous statements are true if, instead of minors, isomorphic embeddings or topological minors are considered. The construction of A and G is based on the fact that there exist (infinite) graphs G₁, G₂,… such that G_i is not a minor of G_j for all i ≠ j. In contrast to previous examples concerning isomorphic embeddings and topological minors, the graphs A and G presented here are not locally finite. The following conjecture is suggested: for each locally finite connected graph A and each graph G, if nA is a minor of G for all n ? ?, then ?₀A is a minor of G, too. If true, this would be a far‐reaching generalization of a classical result of R. Halin on families of disjoint one‐way infinite paths in graphs. © 2002 Wiley Periodicals, Inc. J Graph Theory 39: 222–229, 2002; DOI 10.1002/jgt.10016     

Finite groups with some given systems of Xm‐semipermutable subgroups

Let X be a nonempty subset of a group G. We call a subgroup A of G an X_m‐semipermutable subgroup of G if A has a minimal supplement T in G such that for every maximal subgroup M of any Hall subgroup T₁ of T there exists an element x ∈ X such that AM^x = M^xA. In this paper, we study the structure of finite groups with some given systems of X_m‐semipermutable subgroups (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Varieties for Modules of Quantum Elementary Abelian Groups

We define a rank variety for a module of a noncocommutative Hopf algebra A = L \rtimes GA = \Lambda \rtimes G where L = k[X₁, ..., X_m]/(X₁^l, ..., X_m^l), G = (\mathbbZ/l\mathbbZ)^m\Lambda = k[X_1, \dots, X_m]/(X_1^{\ell}, \dots, X_m^{\ell}), G = (\mathbb{Z}/\ell\mathbb{Z})^m and char k does not divide ℓ, in terms of certain subalgebras of A playing the role of “cyclic shifted subgroups”. We show that the rank variety of a finitely generated module M is homeomorphic to the support variety of M defined in terms of the action of the cohomology algebra of A. As an application we derive a theory of rank varieties for the algebra Λ. When ℓ=2, rank varieties for Λ-modules were constructed by Erdmann and Holloway using the representation theory of the Clifford algebra. We show that the rank varieties we obtain for Λ-modules coincide with those of Erdmann and Holloway.     

Error Bounds for Asymptotic Expansion of the Conditional Variance of the Scale Mixtures of the Multivariate Normal Distribution

Let X= A ^1/2 G be a scale mixture of a multivariate normal distribution with X, G ⁿ , Gis a multivariate normal vector, and A is a positive random variable independent of the multivariate random vector G. This study presents asymptotic results of the conditional variance-covariance, Cov(X ₂|X ₁), X ₁ ^m , m < n, under some moment expressions. A new representation form is also presented for conditional expectation of the scale variable on the random vector X ₁ ^m , m < n. Both the asymptotic expression and the representation are manageable and in computable form. Finally, an example is presented to illustrate how the computations are carried out.     

Gromov hyperbolicity in Cartesian product graphs

If X is a geodesic metric space and x ₁, x ₂, x ₃ ∈ X, a geodesic triangle T = {x ₁, x ₂, x ₃} is the union of the three geodesics [x ₁ x ₂], [x ₂ x ₃] and [x ₃ x ₁] in X. The space X is δ-hyperbolic (in the Gromov sense) if any side of T is contained in a δ-neighborhood of the union of the two other sides, for every geodesic triangle T in X. If X is hyperbolic, we denote by δ(X) the sharp hyperbolicity constant of X, i.e. δ(X) = inf{δ ≥ 0: X is δ-hyperbolic}. In this paper we characterize the product graphs G ₁ × G ₂ which are hyperbolic, in terms of G ₁ and G ₂: the product graph G ₁ × G ₂ is hyperbolic if and only if G ₁ is hyperbolic and G ₂ is bounded or G ₂ is hyperbolic and G ₁ is bounded. We also prove some sharp relations between the hyperbolicity constant of G ₁ × G ₂, δ(G ₁), δ(G ₂) and the diameters of G ₁ and G ₂ (and we find families of graphs for which the inequalities are attained). Furthermore, we obtain the precise value of the hyperbolicity constant for many product graphs.     

Extension of locally pseudocompact group actions

It is shown that: (1) any action of a Moscow group G on a first countable, Dieudonné complete (in particular, on a metrizable) space X can uniquely be extended to an action of the Dieudonné completion γG on X, (2) any action of a locally pseudocompact topological group G on a b _f -space (in particular, on a first countable space) X can uniquely be extended to an action of the Weil completion on the Dieudonné completion γX of X. As a consequence, we obtain that, for each locally pseudocompact topological group G, every G-space with the b _f -property admits an equivariant embedding into a compact Hausdorff G-space. Furthermore, for each pseudocompact group G, every metrizable G-space has a G-invariant metric compatible with its topology. We also give a direct construction of such an invariant metric. Received: June 22, 2000; in final form: May 22, 2001?Published online: June 11, 2002     

New characterizations of finite supersoluble groups

Let A be a subgroup of a group G and X a nonempty subset of G.A is called an X- semipermutable subgroup of G if A has a supplement T in G such that for every subgroup T_1 of T there exists an clement x∈X such that AT_i~x=T_i~xA.On the basis of this concept we obtain some new characterizations of finite supersoluble groups.     

Analyse Harmonique sur les groupes de Heisenberg généralisés

LetG=(X ₁,X ₂,X ₃) _B be the generalized Heisenberg group as defined in Commen. Math. Helv. 1974 byH. Reiter. Under some natural conditions onG involving not the separability, we classify the unitary irreducible representations ofG, and prove a Fourier inversion formula.     

Polish group actions,nice topologies,and admissible sets

Let G be a closed subgroup of S_∞ and X be a Polish G ‐space. To every x ∈ X we associate an admissible set A _x and show how questions about X which involve Baire category can be formalized in A _x . (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Varieties of strange plane curves

Abstract

Let A be a commutative ring with identity, let X, Y be indeterminates and let F(X,Y), G(X, Y) ∈ A[X, Y] be homogeneous. Then the pair F(X, Y), G(X, Y) is said to be radical preserving with respect to A if Rad((F(x, y), G(x, y))R) = Rad((x,y)R) for each A-algebra R and each pair of elements x, y in R. It is shown that infinite sequences of pairwise radical preserving polynomials can be obtained by homogenizing cyclotomic polynomials, and that under suitable conditions on a ?-graded ring A these can be used to produce an infinite set of homogeneous prime ideals between two given homogeneous prime ideals P ? Q of A such that ht(Q/P) = 2.     

Hyperspaces of nowhere topologically complete spaces

It is proved that ifX is a connected locally continuumwise connected coanalytic nowhere topologically complete space, then the hyperspace 2 ^X of all nonempty compact subsets ofX is strongly universal in the class of all coanalytic spaces. Moreover, 2 ^X is homeomorphic to Π₂ ifX is a Baire space, and toQ∖Π₁ ifX contains a dense absoluteG _δ-setG ⊂X such that the intersectionG ∩U is connected for any open connectedU ⊂X. (Here Π₁, Π₁⊂X are the standard subsets of the Hilbert cubeQ absorbing for the classes of analytic and coanalytic spaces, respectively.) Similar results are obtained for higher projective classes. Translated fromMatematicheskie Zametki, Vol. 62, No. 1, pp. 35–51, July, 1997. Translated by O. V. Sipacheva     

Quantum homogeneous spaces with faithfully flat module structures

LetA be a Hopf algebra with bijective antipode andB⊃A a right coideal subalgebra ofA. Formally, the inclusionB⊃A defines a quotient mapG→X whereG is a quantum group andX a right homogeneousG-space. From an algebraic point of view theG-spaceX only has good properties ifA is left (or right) faithfully flat as a module overB. In the last few years many interesting examples of quantumG-spaces for concrete quantum groupsG have been constructured by Podleś, Noumi, Dijkhuizen and others (as analogs of classical compact symmetric spaces). In these examplesB consists of infinitesimal invariants of the function algebraA of the quantum group. As a consequence of a general theorem we show that in all these casesA as a left or rightB-module is faithfully flat. Moreover, the coalgebraA/AB ⁺ is cosemisimple.     

The existence of invariant probability measures for a group of transformations

SupposeG is a group of measurable transformations of aσ-finite measure space (X,A, m). A setA ∈A is weakly wandering underG if there are elementsg _n ∈G such that the setsg _nA, n=0, 1,…, are pairwise disjoint. We prove that the non-existence of any set of positive measure which is weakly wandering underG is a necessary and sufficient condition for the existence of aG-invariant, probability measure defined onA and dominating the measurem in the sense of absolute continuity. This paper was written while the author was visiting the Technische Universitat Berlin as a research fellow of the Alexander von Humboldt Foundation.