Finite Groups with S-permutable n-maximal Subgroups

Let G be a finite group and M _n (G) be the set of n-maximal subgroups of G, where n is an arbitrary given positive integer. Suppose that M _n (G) contains a nonidentity member and all members in M _n (G) are S-permutable in G. Then any of of the following conditions guarantees the supersolvability of G: (1) M _n (G) contains a nonidentity member whose order is not a prime; (2) all nonidentity members in M _n (G) are of prime order, and all cyclic members in M _n?1(G) of order 4 are S-permutable in G.     

Undirected power graphs of semigroups

The undirected power graph G(S) of a semigroup S is an undirected graph whose vertex set is S and two vertices a,b∈S are adjacent if and only if a≠b and a ^m =b or b ^m =a for some positive integer m. In this paper we characterize the class of semigroups S for which G(S) is connected or complete. As a consequence we prove that G(G) is connected for any finite group G and G(G) is complete if and only if G is a cyclic group of order 1 or p ^m . Particular attention is given to the multiplicative semigroup ℤ _n and its subgroup U _n , where G(U _n ) is a major component of G(ℤ _n ). It is proved that G(U _n ) is complete if and only if n=1,2,4,p or 2p, where p is a Fermat prime. In general, we compute the number of edges of G(G) for a finite group G and apply this result to determine the values of n for which G(U _n ) is planar. Finally we show that for any cyclic group of order greater than or equal to 3, G(G) is Hamiltonian and list some values of n for which G(U _n ) has no Hamiltonian cycle.     

Inverse-preserving Linear Maps Between Spaces of Matrices over Fields

Suppose F is a field different from F2, the field with two elements. Let Mn（F） and Sn（F） be the space of n × n full matrices and the space of n ×n symmetric matrices over F, respectively. For any G1, G2 ∈ {Sn（F）, Mn（F）}, we say that a linear map f from G1 to G2 is inverse-preserving if f（X）^-1 = f（X^-1） for every invertible X ∈ G1. Let L （G1, G2） denote the set of all inverse-preserving linear maps from G1 to G2. In this paper the sets .L（Sn（F）,Mn（F））, L（Sn（F）,Sn（F））, L （Mn（F）,Mn（F）） and L（Mn （F）, Sn （F）） are characterized.     

On the first pontrjagin class of homotopy complex projective spaces

Let M ²ⁿ be a closed smooth manifold homotopy equivalent to the complex projective space ℂP(n). It is known that the first Pontrjagin class p ₁(M) of M ²ⁿ has the form (n+1+24α(M))u ² for some integer α(M) where u is a generator of H ²(M; ℤ). We prove that α(M) is even when n is even but not divisible by 64.     

Cycles in a random graph near the critical point

Let G(n, M) be a graph chosen at random from the family of all labelled graphs with n vertices and M(n) = 0.5n + s(n) edges, where s³(n)n^?2→∞ but s(n) = o(n). We find the limit distribution of the length of shortest cycle contained in the largest component of G(n, M), as well as of the longest cycle outside it. We also describe the block structure of G(n, M) and derive from this result the limit probability that G(n, M) contains a cycle with a diagonal. Finally, we show that the probability tending to 1 as n-→∞ the length of the longest cycle in G(n, M) is of the order s²(n)/n.     

Multiplicative mappings at some points on matrix algebras

Let M_n be the algebra of all n×n matrices, and let φ:M_n→M_n be a linear mapping. We say that φ is a multiplicative mapping at G if φ(ST)=φ(S)φ(T) for any S,T∈M_n with ST=G. Fix G∈M_n, we say that G is an all-multiplicative point if every multiplicative linear bijection φ at G with φ(I_n)=I_n is a multiplicative mapping in M_n, where I_n is the unit matrix in M_n. We mainly show in this paper the following two results: (1) If G∈M_n with detG=0, then G is an all-multiplicative point in M_n; (2) If φ is an multiplicative mapping at I_n, then there exists an invertible matrix P∈M_n such that either φ(S)=PSP^-1 for any S∈M_n or φ(T)=PT^trP^-1 for any T∈M_n.     

The Hilbert function of a maximal Cohen-Macaulay module

We study Hilbert functions of maximal CM modules over CM local rings. When A is a hypersurface ring with dimension d>0, we show that the Hilbert function of M with respect to is non-decreasing. If A=Q/(f) for some regular local ring Q, we determine a lower bound for e₀(M) and e₁(M) and analyze the case when equality holds. When A is Gorenstein a relation between the second Hilbert coefficient of M, A and S^A(M)= (Syz^A₁(M*))* is found when G(M) is CM and depthG(A)≥d−1. We give bounds for the first Hilbert coefficients of the canonical module of a CM local ring and analyze when equality holds. We also give good bounds on Hilbert coefficients of M when M is maximal CM and G(M) is CM.     

Structure of augmentation quotients of finite homocyclic abelian groups

Let G be a finite abelian group and its Sylow p-subgroup a direct product of copies of a cyclic group of order p~r,i.e.,a finite homocyclic abelian group.LetΔ~n (G) denote the n-th power of the augmentation idealΔ(G) of the integral group ring ZG.The paper gives an explicit structure of the consecutive quotient group Q_n(G)=Δ~n(G)/Δ~(n 1)(G) for any natural number n and as a consequence settles a problem of Karpilovsky for this particular class of finite abelian groups.     

Non-microstates free entropy dimension for groups

We show that for any discrete finitely-generated group G and any self-adjoint n-tuple X₁,...,X_n of generators of the group algebra Voiculescu’s non-microstates free entropy dimension δ^*(X₁,...,X_n) is exactly equal to β₁(G) − β₀(G) + 1 where β_i are the ℓ²-Betti numbers of G.Received: January 2004 Revision: October 2004 Accepted: January 2005     

Graphs whose every transitive orientation contains almost every relation

Given a graphG onn vertices and a total ordering ≺ ofV(G), the transitive orientation ofG associated with ≺, denotedP(G; ≺), is the partial order onV(G) defined by settingx<y inP(G; ≺) if there is a pathx=x ₁ x ₂…x _r=y inG such thatx ₁ ≺x _j for 1≦i<j≦r. We investigate graphsG such that every transitive orientation ofG contains ₂ ⁿ −o(n ²) relations. We prove that almost everyG _n,p satisfies this requirement if , but almost noG _n,p satisfies the condition if (pn log log logn)/(logn log logn) is bounded. We also show that every graphG withn vertices and at mostcn logn edges has some transitive orientation with fewer than ₂ ⁿ −δ(c)n ² relations. Partially supported by MCS Grant 8104854.     

On the maximal subgroup of the sandwich semigroup of generalized circulant Boolean matrices

Let n be a positive integer, and C _n (r) the set of all n × n r-circulant matrices over the Boolean algebra B = {0, 1}, . For any fixed r-circulant matrix C (C ≠ 0) in G _n , we define an operation “*” in G _n as follows: A * B = ACB for any A, B in G _n , where ACB is the usual product of Boolean matrices. Then (G _n , *) is a semigroup. We denote this semigroup by G _n (C) and call it the sandwich semigroup of generalized circulant Boolean matrices with sandwich matrix C. Let F be an idempotent element in G _n (C) and M(F) the maximal subgroup in G _n (C) containing the idempotent element F. In this paper, the elements in M(F) are characterized and an algorithm to determine all the elements in M(F) is given.     

Circular Chromatic Number and Mycielski Graphs

As a natural generalization of graph coloring, Vince introduced the star chromatic number of a graph G and denoted it by ^*(G). Later, Zhu called it circular chromatic number and denoted it by _c(G). Let (G) be the chromatic number of G. In this paper, it is shown that if the complement of G is non-hamiltonian, then _c(G)=(G). Denote by M(G) the Mycielski graph of G. Recursively define M^m(G)=M(M^m–1(G)). It was conjectured that if mn–2, then _c(M^m(K_n))=(M^m(K_n)). Suppose that G is a graph on n vertices. We prove that if , then _c(M(G))=(M(G)). Let S be the set of vertices of degree n–1 in G. It is proved that if |S| 3, then _c(M(G))=(M(G)), and if |S| 5, then _c(M²(G))=(M²(G)), which implies the known results of Chang, Huang, and Zhu that if n3, _c(M(K_n))=(M(K_n)), and if n5, then _c(M²(K_n))=(M²(K_n)).* Research supported by Grants from National Science Foundation of China and Chinese Academy of Sciences.     

Lefschetz Complex Conditions for Complex Manifolds

For any compact complex manifold M with a compatible symplectic form, we consider the homomorphisms L _1,0: H ^1,0(M) H ^{{n, n–1}(M) and L _{0, 1}: H ^{0, 1}(M) H ^{n – 1, n} (M) given by the cup product with [] ^{n – 1}, n being the complex dimension of M andH ^{*, *}(M) the Dolbeault cohomology of M. We say that Mhas Lefschetz complex type (1, 0) (resp. (0, 1)) if L _{1, 0} (resp.L _{0, 1}) is injective. Such conditions can be considered as complexversions of the (real) Lefschetz condition studied by Benson and Gordonin [Topology 27 (1988), 513–518]for symplectic manifolds. Within the class of compactcomplex nilmanifolds, we prove that the injectivity of L _{1, 0}characterizes those complex structures which are Abelian in the sense ofBarberis et al. [Ann. Global Anal. Geom. 13 (1995), 289–301]. In contrast, complex tori are the only nilmanifolds having Lefschetz complex type (0, 1).     

Gauge-Invariant Characterization of Yang–Mills–Higgs Equations

Let C → M be the bundle of connections of a principal G-bundle P → M over a pseudo-Riemannian manifold (M,g) of signature (n⁺, n⁻) and let E → M be the associated bundle with P under a linear representation of G on a finite-dimensional vector space. For an arbitrary Lie group G, the O(n⁺, n⁻) × G-invariant quadratic Lagrangians on J¹(C × _M E) are characterized. In particular, for a simple Lie group the Yang–Mills and Yang–Mills–Higgs Lagrangians are characterized, up to an scalar factor, to be the only O(n⁺, n⁻) × G-invariant quadratic Lagrangians. These results are also analyzed on several examples of interest in gauge theory. Submitted: May 19, 2005; Accepted: April 25, 2006     

Nonlinear and linear instability of the Rossby-Haurwitz wave

The dynamics of perturbations to the Rossby-Haurwitz (RH) wave is analytically analyzed. These waves, being of great meteorological importance, are exact solutions to the nonlinear vorticity equation describing the motion of an ideal incompressible fluid on a rotating sphere. Each RH wave belongs to a space H ₁ ⊕ H _n , where H _n is the subspace of homogeneous spherical polynomials of degree n. It is shown that any perturbation of the RH wave evolves in such a way that its energy K(t) and enstrophy η(t) decrease, remain constant, or increase simultaneously. A geometric interpretation of variations in the perturbation energy is given. A conservation law for arbitrary perturbations is obtained and used to classify all the RH-wave perturbations in four invariant sets, M ₋ ⁿ , M ₊ ⁿ , H _n , and M ₀ ⁿ − H _n , depending on the value of their mean spectral number χ(t) = η(t)/K(t). The energy cascade of growing (or decaying) perturbations has opposite directions in the sets M ₋ ⁿ and M ₊ ⁿ due to the hyperbolic dependence between K(t) and χ(t). A factor space with a factor norm of the perturbations is introduced, using the invariant subspace H _n of neutral perturbations as the zero factor class. While the energy norm controls the perturbation part belonging to H _n , the factor norm controls the perturbation part orthogonal to H _n . It is shown that in the set M ₋ ⁿ (χ(t) < n(n + 1)), any nonzonal RH wave of subspace H ₁ ⊕ H _n (n ≥ 2) is Lyapunov unstable in the energy norm. This instability has nothing in common with the orbital (Poincaré) instability and is caused by asynchronous oscillations of two almost coinciding RH-wave solutions. It is also shown that the exponential instability is possible only in the invariant set M ₀ ⁿ − H _n . A necessary condition for this instability is given. The condition states that the spectral number η(t) of the amplitude of each unstable mode must be equal to n(n + 1), where n is the RH wave degree. The growth rate is estimated and the orthogonality of the unstable normal modes to the RH wave are shown in two Hilbert spaces. The instability in the invariant set M ₊ ⁿ of small-scale perturbations (χ(t) > n(n + 1)) is still an open problem. __________ Translated from Sovremennaya Matematika. Fundamental’nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 17, Differential and Functional Differential Equations. Part 3, 2006.     

Peixoto graph of Morse-Smale diffeomorphisms on manifolds of dimension greater than three

Let M ⁿ be a closed orientable manifold of dimension greater than three and G ₁(M ⁿ ) be the class of orientation-preserving Morse-Smale diffeomorphisms on M ⁿ such that the set of unstable separatrices of every f ∈ G ₁(M ⁿ ) is one-dimensional and does not contain heteroclinic orbits. We show that the Peixoto graph is a complete invariant of topological conjugacy in G ₁(M ⁿ ).     

Non-linear Grassmannians as coadjoint orbits

For a given manifold M we consider the non-linear Grassmann manifold Gr _n (M) of n–dimensional submanifolds in M. A closed (n+2)–form on M gives rise to a closed 2–form on Gr _n (M). If the original form was integral, the 2–form will be the curvature of a principal S ¹ –bundle over Gr _n (M). Using this S ¹ –bundle one obtains central extensions for certain groups of diffeomorphisms of M. We can realize Gr _m–2 (M) as coadjoint orbits of the extended group of exact volume preserving diffeomorphisms and the symplectic Grassmannians SGr _2k (M) as coadjoint orbits in the group of Hamiltonian diffeomorphisms. Mathematics Subject Classification (2000):58B20Both authors are supported by the Fonds zur Förderung der wissenschaftlichen Forschung (Austrian Science Fund), project number P14195-MAT     

Characterization of a class of triangle-free graphs with a certain adjacency property

Let m and n be nonnegative integers. Denote by P(m,n) the set of all triangle-free graphs G such that for any independent m-subset M and any n-subset N of V(G) with M ∩ N = Ø, there exists a unique vertex of G that is adjacent to each vertex in M and nonadjacent to any vertex in N. We prove that if m ? 2 and n ? 1, then P(m,n) = Ø whenever m ? n, and P(m,n) = {K_m,n+1} whenever m > n. We also have P(1,1) = {C₅} and P(1,n) = Ø for n ? 2. In the degenerate cases, the class P(0,n) is completely determined, whereas the class P(m,0), which is most interesting, being rich in graphs, is partially determined.     

Decomposable graphs and definitions with no quantifier alternation

Let D(G) be the minimum quantifier depth of a first order sentence Φ that defines a graph G up to isomorphism. Let D₀(G) be the version of D(G) where we do not allow quantifier alternations in Φ. Define q₀(n) to be the minimum of D₀(G) over all graphs G of order n.We prove that for all n we have

log^*n−log^*log^*n−2≤q₀(n)≤log^*n+22,