Some new characterizations of solvable PST-groups

A subgroup H of a finite group G is said to be ??-semipermutable in G if it permutes with all the Sylow subgroups Q of G such that (|H|, |Q|) = 1 and (|H|, |Q ^G |) ?? 1. A rather remarkable result of Lukyanenko and Skiba (Rend Semin Mat Univ Padova, 124:231?C246, 2010) is: a finite solvable group G is a PST-group if and only if every subgroup of Fit(G) is ??-semipermutable. A local version of this result is established in this paper. A subgroup H of G is said to be ??-seminormal provided that it is normalized by all Sylow subgroups Q such that (|H|, |Q|) =?1 and (|H|, |Q ^G |) ???1. It is shown that a finite solvable group is a PST-group if and only if every subgroup of Fit(G) is ??-seminormal in G.     

Complete precones on noncommutative integral domains

A subgroup H is called Q-supplemented in a finite group G, if there exists a subgroup K of G such that G = HK and H ∩ K is contained in H _QG , where H _QG is the maximal quasinormal subgroup of G contained in H. In this article, we investigate the influence of Q-supplementation of some primary subgroups in finite groups. Some recent results are generalized.     

Subword complexes and edge subdivisions

For a finite Coxeter group, a subword complex is a simplicial complex associated with a pair (Q, π), where Q is a word in the alphabet of simple reflections and π is a group element. We discuss the transformations of such a complex that are induced by braid moves of the word Q. We show that under certain conditions, such a transformation is a composition of edge subdivisions and inverse edge subdivisions. In this case, we describe how the H- and γ-polynomials change under the transformation. This case includes all braid moves for groups with simply laced Coxeter diagrams.     

Stabilized finite element method for the viscoelastic Oldroyd fluid flows

In this paper, a new stabilized finite element method based on two local Gauss integrations is considered for the two-dimensional viscoelastic fluid motion equations, arising from the Oldroyd model for the non-Newtonian fluid flows. This new stabilized method presents attractive features such as being parameter-free, or being defined for non-edge-based data structures. It confirms that the lowest equal-order P ₁???P ₁ triangle element and Q ₁???Q ₁ quadrilateral element are compatible. Moreover, the long time stabilities and error estimates for the velocity in H ¹-norm and for the pressure in L ²-norm are obtained. Finally, some numerical experiments are performed, which show that the new method is applied to this model successfully and can save lots of computational cost compared with the standard ones.     

On semicomplete multipartite digraphs whose king sets are semicomplete digraphs

Reid [Every vertex a king, Discrete Math. 38 (1982) 93-98] showed that a non-trivial tournament H is contained in a tournament whose 2-kings are exactly the vertices of H if and only if H contains no transmitter. Let T be a semicomplete multipartite digraph with no transmitters and let K_r(T) denote the set of r-kings of T. Let Q be the subdigraph of T induced by K₄(T). Very recently, Tan [On the kings and kings-of-kings in semicomplete multipartite digraphs, Discrete Math. 290 (2005) 249-258] proved that Q contains no transmitters and gave an example to show that the direct extension of Reid's result to semicomplete multipartite digraphs with 2-kings replaced by 4-kings is not true. In this paper, we (1) characterize all semicomplete digraphs D which are contained in a semicomplete multipartite digraph whose 4-kings are exactly the vertices of D. While it is trivial that K₄(Q)⊆K₄(T), Tan [On the kings and kings-of-kings in semicomplete multipartite digraphs, Discrete Math. 290 (2005) 249-258] showed that K₃(Q)⊆K₃(T) and K₂(Q)=K₂(T). Tan [On the kings and kings-of-kings in semicomplete multipartite digraphs, Discrete Math. 290 (2005) 249-258] also provided an example to show that K₃(Q) need not be the same as K₃(T) in general and posed the problem: characterize all those semicomplete multipartite digraphs T such that K₃(Q)=K₃(T). In the course of proving our result (1), we (2) show that K₃(Q)=K₃(T) for all semicomplete multipartite digraphs T with no transmitters such that Q is a semicomplete digraph.     

Conjugacy Classes and Characters for Extensions of Finite Groups

Let H be an extension of a finite group Q by a finite group G. Inspired by the results of duality theorems for tale gerbes on orbifolds, the authors describe the number of conjugacy classes of H that map to the same conjugacy class of Q. Furthermore, a generalization of the orthogonality relation between characters of G is proved.     

An algebraic version of a theorem of Kurihara

Let E/Q be an elliptic curve and let p be an odd supersingular prime for E. In this article, we study the simplest case of Iwasawa theory for elliptic curves, namely when E(Q) is finite, ш(E/Q) has no p-torsion and the Tamagawa factors for E are all prime to p. Under these hypotheses, we prove that E(Q_n) is finite and make precise statements about the size and structure of the p-power part of ш(E/Q_n). Here Q_n is the n-th step in the cyclotomic Z_p-extension of Q.     

Finite factorizable groups with solvable ℙ2-subnormal subgroups

A subgroup H of a finite group G is called ?²-subnormal whenever there exists a subgroup chain H = H ₀ ≤ H ₁ ≤ ... ≤ H _n = G such that |H _i+1: H _i | divides prime squares for all i. We study a finite group G = AB on assuming that A and B are solvable subgroups and the indices of subgroups in the chains joining A and B with the group divide prime squares. In particular, we prove that a group of this type is solvable without using the classification of finite simple groups.     

Upper spectral bounds and a posteriori error analysis of several mixed finite element approximations for the Stokes eigenvalue problem

This paper discusses conforming mixed finite element approximations for the Stokes eigenvalue problem. Firstly, several mixed finite element identities are proved. Based on these identities, the following new results are given: (1) It is proved that the numerical eigenvalues obtained by mini-element, P1-P1 element and Q1-Q1 element approximate the exact eigenvalues from above. (2) As for the P1-P1 , Q1-Q1 and Q1-P0 element eigenvalues, the asymptotically exact a posteriori error indicators are presented. (3) The reliable and efficient a posteriori error estimator proposed by Verfürth is applied to mini-element eigenfunctions. Finally, numerical experiments are carried out to verify the theoretical analysis.     

Graphs whose signless Laplacian spectral radius does not exceed the Hoffman limit value

For a graph matrix M, the Hoffman limit value H(M) is the limit (if it exists) of the largest eigenvalue (or, M-index, for short) of M(H_n), where the graph H_n is obtained by attaching a pendant edge to the cycle C_n-1 of length n-1. In spectral graph theory, M is usually either the adjacency matrix A or the Laplacian matrix L or the signless Laplacian matrix Q. The exact values of H(A) and H(L) were first determined by Hoffman and Guo, respectively. Since H_n is bipartite for odd n, we have H(Q)=H(L). All graphs whose A-index is not greater than H(A) were completely described in the literature. In the present paper, we determine all graphs whose Q-index does not exceed H(Q). The results obtained are determinant to describe all graphs whose L-index is not greater then H(L). This is done precisely in Wang et al. (in press) [21].     

Rational matrix groups of a special type

Let G be a finite group having a faithful irreducible character χ for which χ(1) is prime to ¦G¦/χ(1). Let n=[$\text{Q}$(χ):$\text{Q}$]χ(1), and assume that the factors are not both even. Then G can be embedded in GL_n($\text{Q}$) in such a way that its normalizer therein splits over its centralizer.     

Linear quivers, generic extensions and Kashiwara operators

In the present paper, we introduce the generic extension graph G of a Dynkin or cyclic quiver Q and then compare this graph with the crystal graph C for the quantized enveloping algebra associated to Q via two maps ℘_Q, _Q : Ω → Λ_Q induced by generic extensions and Kashiwara operators, respectively, where Λ_Q is the set of isoclasses of nilpotent representations of Q, and Ω is the set of all words on the alphabet I, the vertex set of Q. We prove that, if Q is a (finite or infinite) linear quiver, then the intersection of the fibres ℘_Q⁻¹ (λ) and KQ⁻¹ (λ) is non-empty for every λ ∈ Λ _Q. We will also show that this non-emptyness property fails for cyclic quivers.     

Main Q-eigenvalues and generalized Q-cospectrality of graphs

Let Q ^G denote the signless Laplacian matrix of a graph G. An eigenvalue μ of Q ^G is said to be a main Q-eigenvalue of G if μ has an eigenvector which is not orthogonal to an all-ones vector e. We give some basic properties of main Q-eigenvalues. For a graph G of order n, G is called Q-controllable if G has n distinct main Q-eigenvalues. We show that a graph H is generalized Q-cospectral with a Q-controllable G if and only if H is Q-controllable and there exists a unique rational orthogonal matrix R such that R _e = e, Q _H = R ^? Q _G R.     

On the lipschitz property of a class of mappings

Open discrete annular Q-mappings with respect to the p-modulus in ? ⁿ , n ≥ 2, are considered in this paper. It is established that such mappings are finite Lipschitz for n ? 1 < p < n if the integral mean value of the function Q(x) over all infinitesimal balls B(x ₀, ?) is finite everywhere.     

Cube intersection concepts in median graphs

In this paper, we study different classes of intersection graphs of maximal hypercubes of median graphs. For a median graph G and k≥0, the intersection graph Q_k(G) is defined as the graph whose vertices are maximal hypercubes (by inclusion) in G, and two vertices H_x and H_y in Q_k(G) are adjacent whenever the intersection H_x∩H_y contains a subgraph isomorphic to Q_k. Characterizations of clique-graphs in terms of these intersection concepts when k>0, are presented. Furthermore, we introduce the so-called maximal 2-intersection graph of maximal hypercubes of a median graph G, denoted , whose vertices are maximal hypercubes of G, and two vertices are adjacent if the intersection of the corresponding hypercubes is not a proper subcube of some intersection of two maximal hypercubes. We show that a graph H is diamond-free if and only if there exists a median graph G such that H is isomorphic to . We also study convergence of median graphs to the one-vertex graph with respect to all these operations.     

A characterization of reflexive spaces of operators

We show that for a linear space of operators M ? B(H₁, H₂) the following assertions are equivalent. (i) M is reflexive in the sense of Loginov-Shulman. (ii) There exists an order-preserving map Ψ = (ψ₁, ψ₂) on a bilattice Bil(M) of subspaces determined by M with P ≤ ψ₁(P,Q) and Q ≤ ψ₂(P,Q) for any pair (P,Q) ∈ Bil(M), and such that an operator T ∈ B(H₁, H₂) lies in M if and only if ψ₂(P,Q)Tψ₁(P,Q) = 0 for all (P,Q) ∈ Bil(M). This extends the Erdos-Power type characterization of weakly closed bimodules over a nest algebra to reflexive spaces.     

The complete reducibility of some <Emphasis Type="Italic">GF</Emphasis>(2)<Emphasis Type="Italic">A</Emphasis><Subscript>7</Subscript>-modules

It is proved that, if G is a finite group with a nontrivial normal 2-subgroup Q such that G/Q ～= A ₇ and an element of order 5 from G acts freely on Q, then the extension G over Q is splittable, Q is an elementary abelian group, and Q is the direct product of minimal normal subgroups of G each of which is isomorphic, as a G/Q-module, to one of the two 4-dimensional irreducible GF(2)A ₇-modules that are conjugate with respect to an outer automorphism of the group A ₇.     

Periodic Groups Saturated with the Linear Groups of Degree 2 and the Unitary Groups of Degree 3 over Finite Fields of Odd Characteristic

Let M denote the set of the simple 3-dimensional unitary groups U₃ and the simple linear groups L₂ over finite fields of odd characteristic.We prove that each periodic group saturated with groups in M is locally finite and isomorphic to either U₃(Q) or L₂(Q) for a suitable locally finite field Q of odd characteristic.     

On Nearly SS-Embedded Subgroups of Finite Groups

Let H be a subgroup of a finite group G. H is nearly SS-embedded in G if there exists an S-quasinormal subgroup K of G, such that HK is S-quasinormal in G and H ∩ K ≤ HseG, where HseG is the subgroup of H, generated by all those subgroups of H which are S-quasinormally embedded in G. In this paper, the authors investigate the influence of nearly SS-embedded subgroups on the structure of finite groups.     

Quasisimple classical groups and their complex group algebras

Let H be a finite quasisimple classical group, i.e., H is perfect and S:= H/Z(H) is a finite simple classical group. We prove that, excluding the open cases when S has a very exceptional Schur multiplier such as PSL₃(4) or PSU₄(3), H is uniquely determined by the structure of its complex group algebra. The proofs make essential use of the classification of finite simple groups as well as the results on prime power character degrees and relatively small character degrees of quasisimple classical groups.