We prove a Noether–Deuring theorem for the derived category of bounded complexes of modules over a Noetherian algebra.

For each k ≥ 2, we determine the asymptotic behaviour of the sequence of cardinalities of finitely generated free objects in , the variety consisting of all k-testable semigroups.

A coassociative Lie algebra is a Lie algebra equipped with a coassociative coalgebra structure satisfying a compatibility condition. The enveloping algebra of a coassociative Lie algebra can be viewed as a coalgebraic deformation of the usual universal enveloping algebra of a Lie algebra. This new enveloping algebra provides interesting examples of non-commutative and non-cocommutative Hopf algebras and leads to the classification of connected Hopf algebras of Gelfand–Kirillov dimension four in Wang et al. (Trans. Amer. Math. Soc., to appear).

We obtain a necessary and sufficient condition on a polynomial P(s, t) so that the (global) double Hilbert transforms along polynomial surfaces (s, t, P(s, t)) in R3 are bounded on Lp for 1 < p < ∞.

The first non-abelian cohomology of groups introduced by Guin is extended to any dimensions and for a substantially wider class of coefficients called G-partially crossed P-modules. The first and the second non-abelian cohomologies of groups are described in terms of torsors and extensions of groups respectively. Higher non-abelian cohomology pointed sets are described in terms of cotriple right derived functors of the group of derivations with respect to the first contravariant variable. For any short exact coefficient sequence a long exact cohomology sequence is obtained extending the well-known exact cohomology sequences and higher cohomology of groups with coefficients in any G-group is introduced.

Let H be a Hopf algebra, A/B be an H-Galois extension. Let D(A) and D(B) be the derived categories of right A-modules and of right B-modules, respectively. An object M⋅ ∈ D(A) may be regarded as an object in D(B) via the restriction functor. We discuss the relations of the derived endomorphism rings EA(M⋅) = ⊕i∈ℤHomD(A)(M⋅, M⋅[i]) and EB(M⋅) = ⊕i∈ℤHomD(B)(M⋅, M⋅[i]). If H is a finite-dimensional semi-simple Hopf algebra, then EA(M⋅) is a graded sub-algebra of EB(M⋅). In particular, if M is a usual A-module, a necessary and sufficient condition for EB(M) to be an H*-Galois graded extension of EA(M) is obtained. As an application of the results, we show that the Koszul property is preserved under Hopf Galois graded extensions.

Le diagrams and Grassmann necklaces both index the collection of positroids in the nonnegative Grassmannian Gr≥0(k, n), but they excel at very different tasks: for example, the dimension of a positroid is easily extracted from its Le diagram, while the list of bases of a positroid is far more easily obtained from its Grassmann necklace. Explicit bijections between the two are, therefore, desirable. An algorithm for turning a Le diagram into a Grassmann necklace already exists; in this note, we give the reverse algorithm.

Groups that can be represented as the product of two proper subgroups have been studied extensively; one of the latest contributions is a paper by Wielandt (8), in which references to previous work can be found. In the case where the two proper subgroups have only the unit element in common, we adopt the term ‘general product’introduced by Neumann (1).

We study quantum Schubert varieties from the point of view of regularity conditions. More precisely, we show that these rings are domains that are maximal orders and are AS-Cohen-Macaulay and we determine which of them are AS-Gorenstein. One key fact that enables us to prove these results is that quantum Schubert varieties are quantum graded algebras with a straightening law that have a unique minimal element in the defining poset. We prove a general result showing when such quantum graded algebras are maximal orders. Finally, we exploit these results to show that quantum determinantal rings are maximal orders.

Let (S, ≤) be a poset (partially ordered set), A(S) = Aut(S, ≤) its automorphism group and G ⊆ A(S) a subgroup. In the literature, various authors have studied sufficient conditions on G and the structure of (S, ≤) which imply that G is simple or perfect. Let us call (S, ≤) doubly homogeneous if each isomorphism between two 2-subsets of 5 extends to an isomorphism of (S, ≤). Higman [8] proved that if (S, ≤) is a doubly homogeneous chain then B(S), the group of all automorphisms of (S, ≤) with bounded support, is simple, and each element of B(S) is a commutator in B(S). Droste, Holland and Macpherson [5] showed that if (S, ≤) is a doubly homogeneous tree then its automorphism group again contains a unique simple normal subgroup in which each element is a commutator. Dlab [3] established similar results for various groups of locally linear automorphisms of the reals. Further results in this direction are contained in Glass [7]. It is the aim of this note to establish a common generalization and sharpening of the previously mentioned results.

A compact hyperbolic surface of genus g is called an extremal surface if it admits an extremal disc, a disc of the largest radius determined by g. Our problem is to find how many extremal discs are embedded in non-orientable extremal surfaces. It is known that non-orientable extremal surfaces of genus g > 6 contain exactly one extremal disc and that of genus 3 or 4 contain at most two. In the present paper we shall give all the non-orientable extremal surfaces of genus 5, and find the locations of all extremal discs in those surfaces. As a consequence, non-orientable extremal surfaces of genus 5 contain at most two extremal discs.

The space S of spinors associated to a 2m-dimensional real inner product space (V, B) carries a canonical Hermitian form 〈 〉 determined uniquely up to real multiples. This form arises as follows: the complex Clifford algebra C(V) of (V, B) is naturally provided with an antilinear involution; this induces an involution on End S via the spin representation; this is the adjoint operation corresponding to 〈 〉.

Let H be a complex Hilbert space and denote by B(H) the Banach algebra of all bounded linear operators on H. In [5; 6] J. Ph. Labrousse proved that every operator S∈B(H) which is spectral in the sense of N. Dunford (see [3]) is similar to a T∈B(H) with the following property

Conversely, he showed that given an operator S∈B(H) such that its essential spectrum (in the sense of [5; 6]) consists of at most one point and such that S is similar to a T∈B(H) with the property (1), then S is a spectral operator. This led him to the conjecture that an operator S∈B(H) is spectral if and only if it is similar to a T∈B(H) with property (1). The purpose of this note is to prove this conjecture in the case of operators which are decomposable in the sense of C. Foias (see [2]).

Let A be a commutative Noetherian ring (with non-zero identity). The Cousin complex C(A) for A is described in [19, Section 2]: it is a complex of A-modules and A-homomorphisms

with the property that, for each n ∈ N0 (we use N0 to denote the set of non-negative integers),

Cohen–Macaulay rings can be characterized in terms of the Cousin complex: A is a Cohen–Macaulay ring if and only if C(A) is exact [19, (4.7)]. Also, the Cousin complex provides a natural minimal injective resolution for a Gorenstein ring (see [19,(5.4)]).

A longstanding open question in low dimensional topology was raised by J. H. C. Whitehead in 1941 [9]: “Is any subcomplex of an aspherical, two-dimensional complex itself aspherical?” The asphericity of classical knot complements [7] provides evidence that the answer to Whitehead's question might be “yes”. Indeed, each classical knot complement has the homotopy type of a two-complex which can be embedded in a finite contractible two-complex. This property is shared by a large class of four-manifolds; these are the ribbon disc complements, whose asphericity has been conjectured, and even claimed, but never proven. (See [4] for a discussion.) It is reasonable and convenient to formulate the following.

In this paper we shall derive for function fields in one variable over finite constant fields results analogous to [1], where algebraic number fields were considered. The ground field P will be the set of all rational functions in a given transcendent X, with coefficients in k = GF(q), q = pr, p a prime; thus P = k(X).

We provide ℕ-filtrations on the negative part Uq($\mathfrak{n}$−) of the quantum group associated to a finite-dimensional simple Lie algebra $\mathfrak{g}$, such that the associated graded algebra is a skew-polynomial algebra on $\mathfrak{n}$−. The filtration is obtained by assigning degrees to Lusztig's quantum PBW root vectors. The possible degrees can be described as lattice points in certain polyhedral cones. In the classical limit, such a degree induces an ℕ-filtration on any finite-dimensional simple $\mathfrak{g}$-module. We prove for type An, Cn, B3, D4 and G2 that a degree can be chosen such that the associated graded modules are defined by monomial ideals, and conjecture that this is true for any $\mathfrak{g}$.

Let (M, g(t)) be a compact Riemannian manifold and the metric g(t) evolve by the Ricci flow. In the paper, we prove that the eigenvalues of geometric operator −Δφ + $\frac{R}{2}$ are non-decreasing under the Ricci flow for manifold M with some curvature conditions, where Δφ is the Witten Laplacian operator, φ ∈ C2(M), and R is the scalar curvature with respect to the metric g(t). We also derive the evolution of eigenvalues under the normalized Ricci flow. As a consequence, we show that compact steady Ricci breather with these curvature conditions must be trivial.

W. A. Bogley and M. A. Gutierrez [2] have recently obtained an eight-term exact homology sequence that relates the integral homology of a quotient group Г/MN, where M and N are normal subgroups of the group Г, to the integral homology of the free product Г/M * Г/N in dimensions ≤3 by means of connecting terms constructed from commutator subgroups of Г, M, N and M ∩ N. In this paper we use the methods of [4] to recover this exact sequence under weaker hypotheses and for coefficients in /q for any non-negative integer q. Further, for q = 0 we extend the sequence by three terms in order to capture the relation between the fourth homology groups.

Let n(≥ 3) be an odd integer. Let k:= be the imaginary quadratic field and k′:= the real quadratic field. In this paper, we prove that the class number of k is divisible by 3 unconditionally, and the class number of k′ is divisible by 3 if n(≥ 9) is divisible by 3. Moreover, we prove that the 3-rank of the ideal class group of k is at least 2 if n(≥ 9) is divisible by 3.