Suppose that G is a p-primary abelian group. The subgroup G[p] = {x∈G:px=0} is called the socle of G and any subgroup S of G[p] is called a subsocle of G. If each subsocle of G supports a pure subgroup, then G is said to be pure-complete [1]. It is well known that, if G a direct sum of cyclic groups, then G is necessarily pure-complete. Further results about pure-complete groups are contained in [1] and [3].

In this note a characterization of subnormality of operators on Hilbert space is given. The characterization is in terms of a sequence of polynomials in the operator and its adjoint reminiscent of the binomial expansion in commutative algebras. As such no external Hilbert spaces are needed, nor is it necessary to introduce forms dependent on arbitrary sequences of vectors from the Hilbert space.

In this note we observe how results of Gordon, Luecke, Feustel, and Whitten establish the precise extent to which knowledge of the knot group determines the knot, in both the oriented and the unoriented case. This enables us to say, in terms of the knot group, exactly when two spun knots are the same.

Let M be a smooth compact manifold with boundary. Under some geometric conditions on M, a homotopical model for the pair (M, ∂M) can be recovered from the configuration category of M \ ∂M. The grouplike monoid of derived homotopy automorphisms of the configuration category of M \ ∂M then acts on the homotopical model of (M, ∂M). That action is compatible with a better known homotopical action of the homeomorphism group of M \ ∂M on (M, ∂M).

In this paper, we study the poset of basic tilting kQ-modules when Q is a Dynkin quiver, and the poset of basic support τ-tilting kQ-modules when Q is a connected acyclic quiver respectively. It is shown that the first poset is a distributive lattice if and only if Q is of types $\mathbb{A}_{1}$, $\mathbb{A}_{2}$ or $\mathbb{A}_{3}$ with a non-linear orientation and the second poset is a distributive lattice if and only if Q is of type $\mathbb{A}_{1}$.

In this paper, Berger spheres are regarded as geodesic spheres with sufficiently big radii in a complex projective space. We characterize such real hypersurfaces by investigating their geodesics and contact structures from the viewpoint of submanifold theory.

Let Mn, n ≥ 3, be a complete hypersurface in $\mathbb{S}$n+1. When Mn is compact, we show that Mn is a homology sphere if the squared norm of its traceless second fundamental form is less than $\frac{2(n-1)}{n}$. When Mn is non-compact, we show that there are no non-trivial L2 harmonic p-forms, 1 ≤ p ≤ n − 1, on Mn under pointwise condition. We also show the non-existence of L2 harmonic 1-forms on Mn provided that Mn is minimal and $\frac{n-1}{n}$-stable. This implies that Mn has only one end. Finally, we prove that there exists an explicit positive constant C such that if the total curvature of Mn is less than C, then there are no non-trivial L2 harmonic p-forms on Mn for all 1 ≤ p ≤ n − 1.

We continue the investigation of tabular algebras with trace (a certain class of associative $\mathbb{z}[v, v^{-1}]$-algebras equipped with distinguished bases) by determining the extent to which the tabular structure may be recovered from a knowledge of the structure constants. This problem is equivalent to understanding a certain category (the category of table data associated to a tabular algebra) which we introduce. The main result is that this category is equivalent to another category (the category of based posets associated to a tabular algebra) whose structure we describe explicitly.

We discuss the half-liberation operation X → X*, for the algebraic submanifolds of the unit sphere, $X\subset S^{N-1}_\mathbb C$. There are several ways of constructing this correspondence, and we take them into account. Our main results concern the computation of the affine quantum isometry group G+(X*), for the sphere itself.

Let COP = 0 ∩ H∞, where 0 is the little Bloch space on the open unit disk , and A() be the disk algebra on . For non-zero functions u1,u2,. . ., uN ∈ A() and distinct analytic self-maps ϕ1,ϕ2,. . .,ϕN satisfying ϕj ∈ A() and ∥ϕj∥∞=1 for every j, it is given characterisations of which the sum of weighted composition operators ∑Nj=1ujCϕj maps COP into A().

We use a method developed by Strauss to obtain global well-posedness results in the mild sense and existence of asymptotic states for the small data Cauchy problem in modulation spaces ${M}^s_{p,q}(\mathbb{R}^d)$, where q = 1 and $s\geq0$ or $q\in(1,\infty]$ and $s>\frac{d}{q'}$ for a nonlinear Schrödinger equation with higher order anisotropic dispersion and algebraic nonlinearities.

The Horikawa index and the local signature are introduced for relatively minimal fibered surfaces whose general fiber is a non-hyperelliptic curve of genus 4 with unique trigonal structure.

Given an integer $g>2$ , we state necessary and sufficient conditions for a finite Abelian group to act as a group of automorphisms of some compact nonorientable Riemann surface of genus g. This result provides a new method to obtain the symmetric cross-cap number of Abelian groups. We also compute the least symmetric cross-cap number of Abelian groups of a given order and solve the maximum order problem for Abelian groups acting on nonorientable Riemann surfaces.

The paper deals with the sets of numbers from [0,1] such that their binary representation is almost convergent. The aim of the study is to compute the Hausdorff dimensions of such sets. Previously, the results of this type were proved for a single summation method (e.g. Cesàro, Abel, Toeplitz). This study extends the results to a wide range of matrix summation methods.

A subgroup H of a residually finite-p group G is almost p-closed in G if H has finite p′-index in H, its closure with respect to the pro-p topology on G. We characterise polycyclic residually finite-p groups in which all subgroups are almost p-closed and discuss a few conditions that are sufficient for particular subgroups H to be almost p-closed. We also present, for each prime p, an example of a polycyclic residually-p group G for which |H: H| takes on all possible values, including infinity, as H varies.

If K is a field with a non-trivial non-Archimedean absolute value (multiplicative norm) | |, we describe all non-Archimedean K-algebra norms on the polynomial algebra K[X1, . . . , Xr] which extend | |.

Type I domains are the domains of the self-adjoint operators determined by the weak formulation of formally self-adjoint differential expressions ℓ. This class of operators is defined by the requirement that the sesquilinear form q(u, v) obtained from ℓ by integration by parts agrees with the inner product 〈ℓu, v〉. A complete characterisation of the boundary conditions assumed by functions in these domains for second-order differential expressions is given in this paper. In the singular case, the boundary conditions are stated in terms of certain ‘boundary condition’ functions and in the regular case they are given in terms of classical function values.

We characterize those partially ordered sets I for which the canonical maps Mi → colim Mj into colimits of abstract sets are always injective, provided that the transition maps are injective. We also obtain some consequences for colimits of vector spaces.

We consider a 10-dimensional family of Lehn–Lehn–Sorger–van Straten hyperkähler eightfolds, which have a non-symplectic automorphism of order 3. Using the theory of finite-dimensional motives, we show that the action of this automorphism on the Chow group of 0-cycles is as predicted by the Bloch–Beilinson conjectures. We prove a similar statement for the anti-symplectic involution on varieties in this family. This has interesting consequences for the intersection product of the Chow ring of these varieties.

Let Λ be an artin algebra and $0=I_{0}\subseteq I_{1} \subseteq I_{2}\subseteq\cdots \subseteq I_{n}$ a chain of ideals of Λ such that $(I_{i+1}/I_{i})\rad(\Lambda/I_{i})=0$ for any $0\leq i\leq n-1$ and $\Lambda/I_{n}$ is semisimple. If either none or the direct sum of exactly two consecutive ideals has infinite projective dimension, then the finitistic dimension conjecture holds for Λ. As a consequence, we have that if either none or the direct sum of exactly two consecutive terms in the radical series of Λ has infinite projective dimension, then the finitistic dimension conjecture holds for Λ. Some known results are obtained as corollaries.