Automorphisms of Coxeter groups of type <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

A Coxeter system (W, S) is said to be of type K _n if the associated Coxeter graph Γ_S is complete on n vertices and has only odd edge labels. If W satisfies either of: (1) n = 3; (2) W is rigid; then the automorphism group of W is generated by the inner automorphisms of W and any automorphisms induced by Γ_S. Indeed, Aut(W) is the semidirect product of Inn(W) and the group of diagram automorphisms, and furthermore W is strongly rigid. We also show that if W is a Coxeter group of type K _n then W has exactly one conjugacy class of involutions and hence Aut(W) = Spec(W).     

Enumeration of maximal subalgebras in free restricted lie algebras

Given a finitely generated restricted Lie algebra L over the finite field \(\mathbb{F}_q \), and n ≥ 0, denote by a _n (L) the number of restricted subalgebras H ? L with \(\dim _{\mathbb{F} _q} \) L/H = n. Denote by ã _n (L) the number of the subalgebras satisfying the maximality condition as well. Considering the free restricted Lie algebra L = F _d of rank d ≥ 2, we find the asymptotics of ã _n (F _d ) and show that it coincides with the asymptotics of a _n (F _d ) which was found previously by the first author. Our approach is based on studying the actions of restricted algebras by derivations on the truncated polynomial rings. We establish that the maximal subalgebras correspond to the so-called primitive actions. This means that “almost all” restricted subalgebras H ? F _d of finite codimension are maximal, which is analogous to the corresponding results for free groups and free associative algebras.     

Polycyclic groups admitting a regular automorphism of order four

Let G be a polycyclic group and α a regular automorphism of order four of G. If the map φ: G→ G defined by g~φ= [g, α] is surjective, then the second derived group of G is contained in the centre of G. Abandoning the condition on surjectivity, we prove that C_G(α~2) and G/[G, α~2] are both abelian-by-finite.     

The Automorphism Group of a Class of Nilpotent Groups with Infinite Cyclic Derived Subgroups

The automorphism group of a class of nilpotent groups with infinite cyclic derived subgroups is determined. Let G be the direct product of a generalized extraspecial Z-group E and a free abelian group A with rank m, where E ={(1 kα_1 kα_2 ··· kα_nα_(n+1) 0 1 0 ··· 0 α_(n+2)...............000...1 α_(2n+1)000...01|αi∈ Z, i = 1, 2,..., 2 n + 1},where k is a positive integer. Let AutG G be the normal subgroup of Aut G consisting of all elements of Aut G which act trivially on the derived subgroup G of G, and AutG/ζ G,ζ GG be the normal subgroup of Aut G consisting of all central automorphisms of G which also act trivially on the center ζ G of G. Then(i) The extension 1→ Aut_(G') G→ AutG→ Aut(G')→ 1 is split.(ii) Aut_(G') G/Aut_(G/ζ G,ζ G)G≌Sp(2 n, Z) ×(GL(m, Z)■(Z~)m).(iii) Aut_(G/ζ G,ζ GG/Inn G)≌(Z_k)~(2n)⊕(Z)~(2nm).     

The Einstein-Kähler metric on the third Cartan-Hartogs domain

In this paper we discuss the Einstein-Kahler metric on the third Cartan-Hartogs domain Y111（n, q; K）. Firstly we get the complete Einstein Kahler metric with explicit form on Y111（n, q; K） in the case of K=q/2 ＋ 1/q-1. Secondly we obtain the holomorphic sectional curvature under this metric and get the sharp estimate for this holomorphic curvature. Finally we prove that the complete Einstein-Kahler metric is equivalent to the Bergman metric on Y111（n, q; K） in case of K=q/2＋1/q-1.     

Family algebras and generalized exponents for polyvector representations of simple Lie algebras of type <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We give an explicit formula for the exterior powers ∧ ^k π ₁ of the defining representation π ₁ of the simple Lie algebra ?ο(2n + 1, ?). We use the technique of family algebras. All representations in question are children of the spinor representation σ of g2ο(2n + 1, ?). We also give a survey of main results on family algebras.     

On lie algebras of affine vector fields of ideal realizations of holomorphic linear connections

We study the properties of real realizations of holomorphic linear connections over associative commutative algebras \(\mathbb{A}\) _m with unity. The following statements are proved.If a holomorphic linear connection ? on M _n over \(\mathbb{A}\) _m (m ≥ 2) is torsion-free and R ≠ 0, then the dimension over ? of the Lie algebra of all affine vector fields of the space (M _mn ^? , ?^?) is no greater than (mn)² ? 2mn + 5, where m = dim_? \(\mathbb{A}\), \(n = dim_\mathbb{A} \) M _n , and ?^? is the real realization of the connection ?.Let ?^? =¹ ? ײ ? be the real realization of a holomorphic linear connection ? over the algebra of double numbers. If the Weyl tensor W = 0 and the components of the curvature tensor ¹ R ≠ 0, ² R ≠ 0, then the Lie algebra of infinitesimal affine transformations of the space (M _2n ^? , ?^?) is isomorphic to the direct sum of the Lie algebras of infinitesimal affine transformations of the spaces ( ^a M _n , ^a ?) (a = 1, 2).     

Constructing cotorsion pairs over generalized path algebras

We introduce two adjoint pairs (e _i ^λ , ( ) _i ) and (( ) _i , e _i ^ρ ) and give a new method to construct cotorsion pairs. As applications, we characterize all projective and injective representations of a generalized path algebra and exhibit projective and injective objects of the category M _p which is a generalization of monomorphisms category.     

Characteristic modules and tensor products over quasi-hereditary algebras

Let A be a monomial quasi-hereditary algebra with a pure strong exact Borel subalgebra B.It is proved that the category of induced good modules over B is contained in the category of good modules over A;that the characteristic module of A is an induced module of that of B via the exact functor-(?)_B A if and only if the induced A-module of an injective B-module remains injective as a B-module.Moreover,it is shown that an exact Borel subalgebra of a basic quasi-hereditary serial algebra is right serial and that the characteristic module of a basic quasi-hereditary serial algebra is exactly the induced module of that of its exact Borel subalgebra.     

Pairs of Semisimple Lie Algebras and their Maximal Reductive Subalgebras

Let \(\mathfrak g\) be a semisimple Lie algebra over a field \(\mathbb K\), \(\text{char}\left( \mathbb{K} \right)=0\), and \(\mathfrak g_1\) a subalgebra reductive in \(\mathfrak g\). Suppose that the restriction of the Killing form B of \(\mathfrak g\) to \(\mathfrak g_1 \times \mathfrak g_1\) is nondegenerate. Consider the following statements: ( 1) For any Cartan subalgebra \(\mathfrak h_1\) of \(\mathfrak g_1\) there is a unique Cartan subalgebra \(\mathfrak h\) of \(\mathfrak g\) containing \(\mathfrak h_1\); ( 2) \(\mathfrak g_1\) is self-normalizing in \(\mathfrak g\); ( 3) The B-orthogonal \(\mathfrak p\) of \(\mathfrak g_1\) in \(\mathfrak g\) is simple as a \(\mathfrak g_1\)-module for the adjoint representation. We give some answers to this natural question: For which pairs \((\mathfrak g,\mathfrak g_1)\) do ( 1), ( 2) or ( 3) hold? We also study how \(\mathfrak p\) in general decomposes as a \(\mathfrak g_1\)-module, and when \(\mathfrak g_1\) is a maximal subalgebra of \(\mathfrak g\). In particular suppose \((\mathfrak g,\sigma )\) is a pair with \(\mathfrak g\) as above and σ its automorphism of order m. Assume that \(\mathbb K\) contains a primitive m-th root of unity. Define \(\mathfrak g_1:=\mathfrak g^{\sigma}\), the fixed point algebra for σ. We prove the following generalization of a well known result for symmetric Lie algebras, i.e., for m=2: (a) \((\mathfrak g,\mathfrak g_1)\) satisfies ( 1); (b) For m prime, \((\mathfrak g,\mathfrak g_1)\) satisfies ( 2).     

On the radical for some class of Banach algebras

Let A be a complex Banach algebra. It is well known that the second dual A** of A can be equipped with a multiplication that extends the original multiplication on A and makes A** a Banach algebra. We show that Rad(A) = ^⊥(A ^* · A) and Rad(A ^**) = (A ^* · A)^⊥ for some classes of Banach algebras A with scattered structure space. Some applications of these results are given.     

Generalized 3-edge-connectivity of Cartesian product graphs

The generalized k-connectivity κ _k (G) of a graph G was introduced by Chartrand et al. in 1984. As a natural counterpart of this concept, Li et al. in 2011 introduced the concept of generalized k-edge-connectivity which is defined as λ _k (G) = min{λ(S): S ? V (G) and |S| = k}, where λ(S) denotes the maximum number l of pairwise edge-disjoint trees T ₁, T ₂, …, T _l in G such that S ? V (T _i ) for 1 ? i ? l. In this paper we prove that for any two connected graphs G and H we have λ ₃(G □ H) ? λ ₃(G) + λ ₃(H), where G □ H is the Cartesian product of G and H. Moreover, the bound is sharp. We also obtain the precise values for the generalized 3-edge-connectivity of the Cartesian product of some special graph classes.     

The equivalence classes of holomorphic mappings of genus 3 Riemann surfaces onto genus 2 Riemann surfaces

Denote the set of all holomorphic mappings of a genus 3 Riemann surface S ₃ onto a genus 2 Riemann surface S ₂ by Hol(S ₃, S ₂). Call two mappings f and g in Hol(S ₃, S ₂) equivalent whenever there exist conformal automorphisms α and β of S ₃ and S ₂ respectively with f ? α = β ? g. It is known that Hol(S ₃, S ₂) always consists of at most two equivalence classes.We obtain the following results: If Hol(S ₃, S ₂) consists of two equivalence classes then both S ₃ and S ₂ can be defined by real algebraic equations; furthermore, for every pair of inequivalent mappings f and g in Hol(S ₃, S ₂) there exist anticonformal automorphisms α? and β? with f ? α? = β? ? g. Up to conformal equivalence, there exist exactly three pairs of Riemann surfaces (S ₃, S ₂) such that Hol(S ₃, S ₂) consists of two equivalence classes.     

On the Ramsey number of the triangle and the cube

The Ramsey number r(K ₃,Q _n ) is the smallest integer N such that every red-blue colouring of the edges of the complete graph K _N contains either a red n-dimensional hypercube, or a blue triangle. Almost thirty years ago, Burr and Erd?s conjectured that r(K ₃,Q _n )=2 ⁿ⁺¹?1 for every n∈?, but the first non-trivial upper bound was obtained only recently, by Conlon, Fox, Lee and Sudakov, who proved that r(K ₃,Q _n )?7000·2 ⁿ . Here we show that r(K ₃,Q _n )=(1+o(1))2 ⁿ⁺¹ as n→∞.     

Canonical Representations and Overgroups for Hyperboloids

For the hyperboloid \(X = G/H\), where G = SO₀(p, q) and H = SO₀(p, q ? 1), we define canonical representations R_λ,ν λ ∈ ?, ν = 0, 1, as the restrictions to G of representations \(\tilde R\lambda ,\nu\), associated with a cone, of the group \(\tilde G = \operatorname{SO} _0 (p + 1,q)\). They act on functions on the direct product Ω of two spheres of dimensions p ? 1 and q ? 1. The manifold Ω contains two copies of \(X\) as open G-orbits. We explicitly describe the interaction of the Lie operators of the group \({\tilde G}\) in \(\tilde R\lambda ,\nu\) with the Poisson and Fourier transforms associated with the canonical representations. These transforms are operators intertwining the representations R_λ,ν with representations of G associated with a cone.     

On the homotopy type of (<Emphasis Type="Italic">n</Emphasis>-1)-connected (3<Emphasis Type="Italic">n</Emphasis>+1)-dimensional free chain Lie algebra

Let R be a subring ring of Q. We reserve the symbol p for the least prime which is not a unit in R; if R ?Q, then p=∞. Denote by DGL _n ^np , n≥1, the category of (n-1)-connected np-dimensional differential graded free Lie algebras over R. In [1] D. Anick has shown that there is a reasonable concept of homotopy in the category DGL _n ^np . In this work we intend to answer the following two questions: Given an object (L(V), ?) in DGL _n ³ⁿ⁺² and denote by S(L(V), ?) the class of objects homotopy equivalent to (L(V), ?). How we can characterize a free dgl to belong to S(L(V), ?)? Fix an object (L(V), ?) in DGL _n ³ⁿ⁺² . How many homotopy equivalence classes of objects (L(W), δ) in DGL _n ³ⁿ⁺² such that H _* (W, d′)?H _* (V, d) are there? Note that DGL _n ³ⁿ⁺² is a subcategory of DGL _n ^np when p>3. Our tool to address this problem is the exact sequence of Whitehead associated with a free dgl.     

Solvability of finite groups

H is called an ? _p -embedded subgroup of G, if there exists a p-nilpotent subgroup B of G such that H _p ∈ Syl _p (B) and B is ? _p -supplemented in G. In this paper, by considering prime divisor 3, 5, or 7, we use ? _p -embedded property of primary subgroups to investigate the solvability of finite groups. The main result is follows. Let E be a normal subgroup of G, and let P be a Sylow 5-subgroup of E. Suppose that 1 < d ? |P| and d divides |P|. If every subgroup H of P with |H| = d is ?₅-embedded in G, then every composition factor of E satisfies one of the following conditions: (1) I/C is cyclic of order 5, (2) I/C is 5′-group, (3) I/C ? A₅.