The unitary group over the integers of a quaternion algebra

Let L be a lattice over the integers of a quaternion algebra with center K which is a $\text{B}$-adic field. Then the unitary group U(L) equals its own commutator subgroup $\text{Ω(L)}$ and is generated by the unitary transvections and quasitransvections contained in it. Let g be a tableau, U(g), U⁺(g), $\text{Ω(g)}$, T(g) be the corresponding congruence subgroups of order g. Then $\text{U(g)}\text{U}{}^{\mathrm{+}}\text{(g)}\text{? X}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{\tau }}\text{Z}{}_2$, and $\text{Ω(g) = T(g)}$ (the subgroup generated by the unitary transvections and quasitransvections with order ≤ g). Let G be a subgroup of U(L) with o(G) = g, then G is normal in U(L) if and only if U(g) ? G ? T(g).     

EQUIVARIANT SELF EQUIVALENCES OF PRINCIPAL FIBRE BUNDLES

Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal sub-group of G. For principal fibre bundle (E,p, E,/G;G) tmd (E/H,p‘,E/G;G/H), the relation between auta(E) (resp. autce (E)) and autG/H(E/H) (resp. autGe/H(E/H)) is investigated by using bundle map theory and transformation group theory. It will enable us to compute the group JG(E) (resp. SG(E)) while the group J G/u(E/H) is known.     

Bounds on smooth matrix coefficients on L 2-spaces

Let G be a semisimple Lie group with a finite number of connected components and a finite center. Let K be a maximal compact subgroup. Let X be a smooth G-space equipped with a G-invariant measure. In this paper, we give upper bounds for K-finite and ${\mathfrak k}Let G be a semisimple Lie group with a finite number of connected components and a finite center. Let K be a maximal compact subgroup. Let X be a smooth G-space equipped with a G-invariant measure. In this paper, we give upper bounds for K-finite and \mathfrak k{\mathfrak k}-smooth matrix coefficients of the regular representation L ²(X) under an assumption about supp(L²(X)) ?[^(G)]_K{{\rm supp}(L^2(X)) \cap \hat G_K}. Furthermore, we show that this bound holds for unitary representations that are weakly contained in L ²(X). Our result generalizes a result of Cowling–Haagerup–Howe (J Reine Angew Math 387:97–110, 1988). As an example, we discuss the matrix coefficients of the O(p, q) representation L²(\mathbbR^p+q){L^2(\mathbb{R}^{p+q})}.     

Groups containing a strongly embedded subgroup

An involution v of a group G is said to be finite (in G) if vv ^g has finite order for any g ∈ G. A subgroup B of G is called a strongly embedded (in G) subgroup if B and G\B contain involutions, but B ∩ B ^g does not, for any g ∈ G\B. We prove the following results. Let a group G contain a finite involution and an involution whose centralizer in G is periodic. If every finite subgroup of G of even order is contained in a simple subgroup isomorphic, for some m, to L ₂(2 ^m ) or Sz(2 ^m ), then G is isomorphic to L ₂(Q) or Sz(Q) for some locally finite field Q of characteristic two. In particular, G is locally finite (Thm. 1). Let a group G contain a finite involution and a strongly embedded subgroup. If the centralizer of some involution in G is a 2-group, and every finite subgroup of even order in G is contained in a finite non-Abelian simple subgroup of G, then G is isomorphic to L ₂(Q) or Sz(Q) for some locally finite field Q of characteristic two (Thm. 2). Supported by RFBR (project No. 08-01-00322), by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-334.2008.1), and by the Russian Ministry of Education through the Analytical Departmental Target Program (ADTP) “Development of Scientific Potential of the Higher School of Learning” (project Nos. 2.1.1.419 and 2.1.1./3023). (D. V. Lytkina and V. D. Mazurov) Translated from Algebra i Logika, Vol. 48, No. 2, pp. 190–202, March–April, 2009.     

On the exponential map of borei subgroups in a semi-simple lie group

Let G be a connected, complex, semi-simple Lie group Let g be an element in G. Let B be a Borel subgroup of G and g in B. Let m and n be the least positive integers such that the element g^m lies on a one-parameter subgroup in G and the element gⁿ lies on a one-parameter subgroup in B. We denote these integers by ind _G (g) and ind _B (g). In this note we prove the conjecture ind _G (g) = ind _B (g), if g is regular.     

ON SYMMETRIC UNITS IN GROUP ALGEBRAS

Let U(KG) be the group of units of the group ring KG of the group G over a commutative ring K. The anti-automorphism g → g ^?1 of G can be extended linearly to an anti-automorphism a → a ^* of KG. Let S _* (KG) = {x ∈ U(KG) | x ^* = x} be the set of all symmetric units of U(KG). We consider the following question: for which groups G and commutative rings K it is true that S _* (KG) is a subgroup in U(KG). We answer this question when either a) G is torsion and K is a commutative G-favourable integral domain of characteristic p≥ 0 or b) G is non-torsion nilpotent group and KG is semiprime.     

Automorphisms of Relatively Free Nilpotent Lie Algebras

Let L be a relatively free nilpotent Lie algebra over ? of rank n and class c, with n ≥ 2; freely generated by a set 𝒵. Give L the structure of a group, denoted by R, by means of the Baker–Campbell–Hausdorff formula. Let G be the subgroup of R generated by the set 𝒵 and N _Aut(L)(G) the normalizer in Aut(L) of the set G. We prove that the automorphism group of L is generated by GL _n (?) and N _Aut(L)(G). Let H be a subgroup of finite index in Aut(G) generated by the tame automorphisms and a finite subset X of IA-automorphisms with cardinal s. We construct a set Y consisting of s + 1 IA-automorphisms of L such that Aut(L) is generated by GL _n (?) and Y. We apply this particular method to construct generating sets for the automorphism groups of certain relatively free nilpotent Lie algebras.     

Intertwining operators for L 2(E)

Let (E,Q) be a finite dimensional quadratic vector space over a finite field. For the natural representation -π of the isometry group G of (E,Q) in the space L ²(E) of all complex valued functions on E, we analyse when the intertwining algebra of π is generated by just one averaging operator.     

Linear groups over a skew field of quaternions containing the group T_{n}(A, \Phi) over a subsfield

We study the subgroups of GL_n(D) (n \geqq 3) GL_{n}(D) (n \geqq 3) over a skew field of quaternions D that comprise the subgroup of the unitary group U_n(A, F) U_{n}(A, \Phi) over a subsfield A \subseteqq D A \subseteqq D generated by all transvections in U_n(A, F) U_{n}(A, \Phi) .     

A Boolean algebra of characteristic subgroups of a finite group

We construct a “natural” sublattice L(G) of the lattice of all of those subgroups of a finite group G that contain the Frattini subgroup F(G){\Phi(G)} . We show that L(G) is a Boolean algebra, and that its members are characteristic subgroups of G. If F(G){\Phi(G)} is trivial, then L(G) is exactly the set of direct factors U of G such that U and G/U have no common nontrivial homomorphic image.     

Best Simultaneous Approximation in L(I,E)

Let G be a reflexive subspace of the Banach space E and let L^p(I,E) denote the space of all p-Bochner integrable functions on the interval I=[0,1] with values in E, 1p∞. Given any norm N( , ) on R², N nondecreasing in each coordinate on the set R²₊, we prove that L^p(I,G) is N-simultaneously proximinal in L^p(I,E). Other results are also obtained.     

Remarks on Normal Generation of Special Line Bundles on Algebraic Curves

Let L be a very ample line bundle with h ¹(L) ≥2 on a curve of genus g. We prove that L is normally generated if deg(L) ≥2g ? 1 ? 4h ¹(L) for large enough genus g.     

A reciprocity theorem for unitary representations of Lie groups

LetG be a Lie group,H a closed subgroup,L a unitary representation ofH andU ^L the corresponding induced representation onG. The main result of this paper, extending Ol’ŝanskii’s version of the Frobenius reciprocity theorem, expresses the intertwining number ofU ^L and an irreducible unitary representationV ofG in terms ofL and the restriction ofV _∞ toH.     

Orthogonal factorizations of digraphs

Let G be a digraph with vertex set V(G) and arc set E(G) and let g = (g ⁻, g ⁺) and ƒ = (ƒ ⁻, ƒ ⁺) be pairs of positive integer-valued functions defined on V(G) such that g ⁻(x) ⩽ ƒ ⁻(x) and g ⁺(x) ⩽ ƒ ⁺(x) for each x ∈ V(G). A (g, ƒ)-factor of G is a spanning subdigraph H of G such that g ⁻(x) ⩽ id _H (x) ⩽ ƒ ⁻(x) and g ⁺(x) ⩽ od _H (x) ⩽ ƒ ⁺(x) for each x ∈ V(H); a (g, ƒ)-factorization of G is a partition of E(G) into arc-disjoint (g, ƒ)-factors. Let = {F ₁, F ₂,…, F _m} and H be a factorization and a subdigraph of G, respectively. is called k-orthogonal to H if each F _i , 1 ⩽ i ⩽ m, has exactly k arcs in common with H. In this paper it is proved that every (mg+m−1,mƒ−m+1)-digraph has a (g, f)-factorization k-orthogonal to any given subdigraph with km arcs if k ⩽ min{g ⁻(x), g ⁺(x)} for any x ∈ V(G) and that every (mg, mf)-digraph has a (g, f)-factorization orthogonal to any given directed m-star if 0 ⩽ g(x) ⩽ f(x) for any x ∈ V(G). The results in this paper are in some sense best possible.      

Power cocentralizing generalized derivations on prime rings

Let R be a prime ring, U the Utumi quotient ring of R, C = Z(U) the extended centroid of R, L a non-central Lie ideal of R, H and G non-zero generalized derivations of R. Suppose that there exists an integer n ≥ 1 such that (H(u)u − uG(u)) ⁿ = 0, for all u ∈ L, then one of the following holds: (1) there exists c ∈ U such that H(x) = xc, G(x) = cx; (2) R satisfies the standard identity s ₄ and char (R) = 2; (3) R satisfies s ₄ and there exist a, b, c ∈ U, such that H(x) = ax+xc, G(x) = cx+xb and (a − b) ⁿ = 0.     

A Principle for Critical Point Under Generalized Regular Constraint and Ill-Posed Lagrange Multipliers Under Nonregular Constraints

In this article, a kind of nonregular constraint and a principle for seeking critical point under the constraint are presented, where no Lagrange multiplier is involved. Let E, F be two Banach spaces, g: E → F a c ¹ map defined on an open set U in E, and the constraint S = the preimage g ^?1(y ₀), y ₀ ∈ F. A main deference between the nonregular constraint and regular constraint is that g′(x) at any x ∈ S is not surjective. Recently, the critical point theory under the nonregular constraint is a concerned focus in optimization theory. The principle also suits the case of regular constraint. Coordinately, the generalized regular constraint is introduced and the critical point principle on generalized regular constraint is established. Let f: U → ? be a nonlinear functional. While the Lagrange multiplier L in classical critical point principle is considered, its expression is given by using generalized inverse g′⁺(x) of g′(x) as follows: if x ∈ S is a critical point of f| _S , then L = f′(x) ○ g′⁺(x) ∈ F*. Moreover, it is proved that if S is a regular constraint, then the Lagrange multiplier L is unique; otherwise, L is ill-posed. Hence, in case of the nonregular constraint, it is very difficult to solve Euler equations; however, it is often the case in optimization theory. So the principle here seems to be new and applicable. By the way, the following theorem is proved: if A ∈ B(E, F) is double split, then the set of all generalized inverses of A, GI(A) is smooth diffeomorphic to certain Banach space. This is a new and interesting result in generalized inverse analysis.     

Circuits including a given set of vertices

Let G = (V, E) be a digraph of order n, satisfying Woodall's condition ? x, y ∈ V, if (x, y) ? E, then d⁺(x) + d^?(y) ≥ n. Let S be a subset of V of cardinality s. Then there exists a circuit including S and of length at most Min(n, 2s). In the case of oriented graphs we obtain the same result under the weaker condition d⁺(x) + d^?(y) ≥ n – 2 (which implies hamiltonism).     

p-Hypercyclically embedding and Π-property of subgroups of finite groups

Let G be a finite group, E a normal subgroup of G and p a fixed prime. We say that E is p-hypercyclically embedded in G if every p-G-chief factor of E is cyclic. A subgroup H of G is said to satisfy Π-property in G if |G∕K:N_G∕K((H∩L)K∕K)| is a π((H∩L)K∕K)-number for any chief factor L∕K in G; we say that H has Π*-property in G if H∩O^π(H)(G) has Π-property in G. In this paper, we prove that E is p-hypercyclically embedded in G if and only if some classes of p-subgroups of E have Π*-property in G. Some recent results are extended.