In this paper, relative pictures are used to analyze a certain family of exponent-sum two equations over groups.

A group G is called Dedekindian if every subgroup ofG is normal in G.

The structure of the finite Dedekindian groups is well-known [3, Satz 7.12]. They are either abelian or direct products of the form Q × A × B, where Q is the quaternion group of order 8, Ais abelian of odd order and exp(B) ≤ 2.

We give a sharp lower bound for the supremum of the norm of the mean curvature of an isometric immersion of a complete Riemannian manifold with scalar curvature bounded from below into a horoball of a complex or real hyperbolic space. We also characterize the horospheres of the real or complex hyperbolic spaces as the only isometrically immersed hypersurfaces which are between two parallel horospheres, have the norm of the mean curvature vector bounded by the above sharp bound and have some special groups of symmetries.

Let A be an artin algebra with representation dimension not more than 3. Assuming that AV is an Auslander generator and M ∈ addAV, we show that both findim(EndAM) and findim(EndAM)op are finite, and consequently the Gorenstein symmetry conjecture, the Wakamatsu-tilting conjecture and the generalized Nakayama conjecture hold for EndAM.

In this paper we study the problem of the existence on non-inner automorphisms for the class of torsion-free supersolvable groups, answering a question raised by Robinson.

1991 Mathematics Subject Classification 20F16, 20F28.

where be an entire

function represented by a Dirichlet series whose order (R) and proximate order (R) are respectively ρ (0 < ρ < ∞) and ρ(σ). For proximate order (R) and its properties, see the paper of Balaguer [4, p. 28].

Interest in the ranges of Lyapunov transformations began with Taussky in [5]. Recently in a series of papers, Loewy has studied the ranges of Lyapunov transformations on matrices. In particular in [2] and [3], the following result was obtained.

Several properties of some quadratic elements of a unitial Banach algebra are studied. Deddens subspaces are also introduced and discussed.

In our previous paper [2], we derived an explicit representation of the integral ∫1∞t−θΔ(t)logjtdt by differentiation under the integral sign. Here, j is a fixed natural number, θ is a complex number with 1 < θ ≤ 5/4 and Δ(x) denotes the error term in the Dirichlet divisor problem. In this paper, we shall reconsider the same formula by an alternative approach, which appeals to only the elementary integral formulas concerning the Riemann zeta- and periodic Bernoulli functions. We also study the corresponding formula in the case of the circle problem of Gauss.

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.

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.

In this paper we shall examine the relationship between the numerical ranges and the spectra for semi-normal operators on uniformly smooth spaces.

Let X be a complex Banach space. We denote by X* the dual space of X and by B(X) the space of all bounded linear operators on X. A linear functional F on B(X) is called state if ∥F∥ = F(I) = 1. When x ε X with ∥x∥ = 1, we denote

D(x) = {f ε X*:∥f∥ = f(x) = l}.

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.

This brief note has the threefold purpose of improving on an earlier theorem of the author [4], gathering together some results on normal closures (with rank restrictions) which are more or less implicit in the literature and providing a few examples which indicate the impossibility of improving these results in one way or another. The proofs are mostly routine and usually omitted. Most of the relevant background material can be found in [3], and references to these results will often indicate that minoradditional details (an easy induction, for example) are required. Throughout, 〈x〉G will denote the normal closure of the subgroup 〈x〉 of the group G. The usual notation is used for upper central and derived series.

Green's relations are essential for “co-ordinatizing” semigroups. Jacqueline Klasa, in applying cognate ideas to categories [4, 5], has shown that divisibility in suitably-behaved categories may be described in terms of subobjects and quotients.

Here it is shown that adjoint functors which are onto objects preserve divisibility (in a certain sense). The inclusion functor of the category of sets into the category R of binary relations is such a functor. A slight modification of its right adjoint allows the representation of R as a full subcategory in a category CSL of complete semilattice morphisms.

In this paper all graphs will be ordinary graphs, i.e. finite, undirected, and without loops or multiple edges. For points x and y of a graph G, we shall indicate that x is adjacent to y by writing x ⊥ y, and if x is not adjacent to y we shall write xy. We shall denote the degree of a point x by δ(x) and the minimal degree of G by δ(G).

By the line graph of a graph G we shall mean the graph L(G) whose points are the edges of G, with two points of L(G) adjacent whenever they are adjacent in G. A graph G is said to be a line graph if there exists a graph H such that G = L(H).

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 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.

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.