Our first main result shows that a graph product of right cancellative monoids is itself right cancellative. If each of the component monoids satisfies the condition that the intersection of two principal left ideals is either principal or empty, then so does the graph product. Our second main result gives a presentation for the inverse hull of such a graph product. We then specialize to the case of the inverse hulls of graph monoids, obtaining what we call ‘polygraph monoids’. Among other properties, we observe that polygraph monoids are F*-inverse. This follows from a general characterization of those right cancellative monoids with inverse hulls that are F*-inverse.

Some of the conjectures of Birch and Swinnerton-Dyer have been verified for curves with complex multiplication by √ — 7. The L-function LD(1) of such curves at the point s = 1 is written as a finite sum of division values of p-functions and the integer property of LD(1) is proved.

A 2-handle addition on the boundary of a hyperbolic 3-manifold M is called degenerating if the resulting manifold is not hyperbolic. There are examples that some manifolds admit infinitely many degenerating handle additions. But most of them are not ‘basic’. (See Section 1 for definitions). Our first main theorem shows that there are only finitely many basic degenerating handle additions. We also study the case that one of the handle additions produces a reducible manifold, and another produces a ∂-reducible manifold, showing that in this case either the two attaching curves are disjoint, or they can be isotoped into a once-punctured torus. A byproduct is a combinatorial proof of a similar known result about degenerating hyperbolic structures by Dehn filling.

We give a simplified proof of the complex inversion formula for semigroups and, more generally, solution families for scalar-type Volterra equations, including the stronger versions on unconditional martingale differences (UMD) spaces. Our approach is based on (elementary) Fourier analysis.

It is well known (see Latyšev [1] for finite dimensional case) that the universal envelope of Lie Alaebra g over a commutative field ť of characteristic 0 is a PI-alaebra (i.e. possesses a nontrivial identity) if and only if this Lie algebra is abelian. On the other hand the recent results due to Passman [2] describe the conditions under which the group algebra of a group over an arbitrary commutative field is a PI-algebra. A. L. Šmel'kin suggested that I should find necessary and sufficient conditions for a Lie algebra g over a field of nonzero characteristic under which its universal envelope Ug should be a PI-algebra. These conditions are given in the following theorem.

In this paper, we give a sufficient condition (Theorem) in order that one domain D1 bounded by a C2-smooth boundary can be enclosed in, or enclose, another domain D0 bounded by the same kind of boundary. A same kind of sufficient condition for convex bodies (Corollary) is also obtained.

In this paper a number of questions about locally compact groups are studied. The structure of finite dimensional connected locally compact groups is investigated, and a fairly simple representation of such groups is obtained. Using this it is proved that finite dimensional arcwise connected locally compact groups are Lie groups, and that in general arcwise connected locally compact groups are locally connected. Semi-simple locally compact groups are then investigated, and it is shown that under suitable restrictions these satisfy many of the properties of semi-simple Lie groups. For example, a factor group of a semi-simple locally compact group is semi-simple. A result of Zassenhaus, Auslander and Wang is reformulated, and in this new formulation it is shown to be true under more general conditions. This fact is used in the study of (C)-groups in the sense of K. Iwasawa.

This note is concerned with a question arising from some work of D. R. Smart (2). In the introduction we indicate the nature of the problem. Notations will be explained only in as far as they differ from those of (2).

The Voronoi region and covering radius of the lattice E*6 are determined, and the normalised second moment is calculated, confirming the estimate given by Conway and Sloane.

We prove here that if F is a finitely generated free associative algebra over the field and R is an ideal of F, then F/R2 is finitely presented if and only if F/R has finite dimension. Amitsur, [1, p. 136] asked whether a finitely generated algebra which is embeddable in matrices over a commutative f algebra is necessarily finitely presented. Let R = F′, the commutator ideal of F, then [4, theorem 6], F/F′2 is embeddable and thus provides a negative answer to his question. Another such example can be found in Small [6]. We also show that there are uncountably many two generator I algebras which satisfy a polynomial identity yet are not embeddable in any algebra of n xn matrices over a commutative algebra.

Let G be a group of order 2n and x, y ∈ G. We define the Commutator [x, y] as x−1y−1xy. Similarly, if X, Y are subsets of G, then [X, Y] denotes the sub-group genrated by all commutators of the form [x, y] where x ∈ X, y ∈ Y. Using this, we may define the lower central series of G inductively by The following results are well known.

Let R be a commutative Noetherian ring with nonzero identity and let M be a finitely generated R-module. In this paper, we prove that if an ideal I of R is generated by a u.s.d-sequence on M then the local cohomology module (M) is I-cofinite. Furthermore, for any system of ideals Φ of R, we study the cofiniteness problem in the context of general local cohomology modules.

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf{c}(H)$ of $H$ is the smallest integer $N$ with the following property: for each $a\in H$ and each pair of factorizations $z,z^{\prime }$ of $a$, there exist factorizations $z=z_{0},\dots ,z_{k}=z^{\prime }$ of $a$ such that, for each $i\in [1,k]$, $z_{i}$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. To exclude trivial cases, suppose that $|G|\geq 3$. Then the catenary degree depends only on the class group $G$ and we have $\mathsf{c}(H)\in [3,\mathsf{D}(G)]$, where $\mathsf{D}(G)$ denotes the Davenport constant of $G$. The cases when $\mathsf{c}(H)\in \{3,4,\mathsf{D}(G)\}$ have been previously characterized (see Theorem A). Based on a characterization of the catenary degree determined in the paper by Geroldinger et al. [‘The catenary degree of Krull monoids I’, J. Théor. Nombres Bordeaux23 (2011), 137–169], we determine the class groups satisfying $\mathsf{c}(H)=\mathsf{D}(G)-1$. Apart from the extremal cases mentioned, the precise value of $\mathsf{c}(H)$ is known for no further class groups.

Suppose a preliminary set of m independent observations are drawn from a population in which a random variable x has a continuous but unknown cumulative distribution function F(x). Let y be the largest observation in this preliminary sample. Now suppose further observations are drawn one at a time from this population until an observation exceeding y is obtained. Let n be the number of further drawings required to achieve this objective. The problem is to determine the distribution function of the random variable n. More generally, suppose y is the r-th from the largest observation in the preliminary sample and let n denote the number of further trials required in order to obtain k observations which exceed y. What is the distribution function of n?

From an integer-valued function f we obtain, in a natural way, a matroid Mf on the domain of f. We show that the class of matroids so obtained is closed under restriction, contraction, duality, truncation and elongation, but not under direct sum. We give an excluded-minor characterization of and show that consists precisely of those transversal matroids with a presentation in which the sets in the presentation are nested. Finally, we show that on an n-set there are exactly 2n members of .

Several morphisms of this lattice V(CR) are found, leading to decompostions of it, and various sublattices, into subdirect products of interval sublattices. For example the map V → V ∪ G (where G is the variety of groups) is shown to be a retraction of V(CR); from modularity of the lattice V(BG) of varieties of bands of groups it follows that the map V → (V ∪ V V G) is an isomorphism of V(BG).

We introduce the notion of a strong representation of a semigroup in the monoid of endomorphisms of any mathematical structure, and use this concept to provide a theoretical description of the automorphism group of any semigroup. As an application of our general theorems, we extend to semigroups a well-known result concerning automorphisms of groups, and we determine the automorphism groups of certain transformation semigroups and of the fundamental inverse semigroups.

We show that a graph G is semi-stable at vertex v if and only if the set of vertices of G adjacent to v is fixed by the automorphism group of Gv, the subgraph of G obtained by deleting v and its incident edges. This result leads to a neat proof that regular graphs are semi-stable at each vertex. We then investigate stable regular graphs, concentrating mainly on stable vertex-transitive graphs. We conjecture that if G is a non-trivial vertex-transitive graph, then G is stable if and only if γ(G) contains a transposition, offering some evidence for its truth.

We study classes of Banach spaces where every set-valued mapping from a complete metric space into subsets of the Banach space which satisfies certain minimal properties, is single-valued and norm upper semi-continuous at the points of a dense Gδ subset of its domain. Characterisations of these classes are developed and permanence properties are established. Sufficiency conditions for membership of these classes are defined in terms of fragmentability and σ-fragmentability of the weak topology. A characterisation of non membership is used to show that l∞ (N) is not a member of our classe of generic continuity spaces.

The aim of this paper is to give a characterization of the finite simple group U4(3) i.e. the 4-dimensional projective special unitary group over the field of 9 elements. More precisely, we shall prove the following result.