We discuss the problem of finding those integers which may be represented by (x + y + z)3/xyz, and also those which may be represented by x/y + y/z + z/x, where x, y, z are integers. For example,

satisfy (x + y + z)3/(xyz) = -47, and

satisfy x/y + y/z + z/x = -86.

Let R be a commutative integral domain and let S be its quotient field. The group GL2(R) acts on Ŝ = S ∪ {∞} as a group of linear fractional transformations in the usual way. Let F2(R, z) be the stabilizer of z ∈ Ŝ in GL2(R) and let F2(R) be the subgroup generated by all F2(R, z). Among the subgroups contained in F2(R) are U2(R), the subgroup generated by all unipotent matrices, and NE2(R), the normal subgroup generated by all elementary matrices.

We prove a structure theorem for F2(R, z), when R is a Krull domain. A more precise version holds when R is a Dedekind domain. For a large class of arithmetic Dedekind domains it is known that the groups NE2(R),U2(R) and SL2(R) coincide. An example is given for which all these subgroups are distinct.

In this paper we continue our study of the Frattini p-subalgebra of a Lie p-algebra L. We show first that if L is solvable then its Frattini p-subalgebra is an ideal of L. We then consider Lie p-algebras L in which L2 is nilpotent and find necessary and sufficient conditions for the Frattini p-subalgebra to be trivial. From this we deduce, in particular, that in such an algebra every ideal also has trivial Frattini p-subalgebra, and if the underlying field is algebraically closed then so does every subalgebra. Finally we consider Lie p-algebras L in which the Frattini p-subalgebra of every subalgebra of L is contained in the Frattini p-subalgebra of L itself.

We study the structure of inductive limits of weighted spaces of harmonic and holomorphic functions defined on the open unit disk of ℂ, and of the associated weighted locally convex spaces. Using a result of Lusky we prove, for certain radial weights on the open unit disk D of ℂ, that the spaces of harmonic and holomorphic functions are isomorphic to complemented subspaces of the corresponding Köthe sequence spaces. We also study the spaces of harmonic functions for certain non-radial weights on D. We show, under a natural sufficient condition for the weights, that the spaces of harmonic functions on D are isomorphic to corresponding spaces of continuous or bounded functions on ∂D.

Let be an arbitrary semigroup. A congruence γ on is a group congruence if /γ is a group. The set of group congruences on is non-empty since × is a group congruence. The lattice of congruences on a semigroup will be denoted by () and the set of group congruences on will be denoted by (). If () is a lattice then it is modular and γ ∨ ρ = γ ο ρ = ρ ο γ for all γ, ρ ε (). The main result is that γ ν ρ = γ ο ρ ο γ for any γ ε () and ρ ε () (whence every element of the set () is dually right modular in (). This result has appeared, for particular classes of semigroups, many times in the literature. Also γ ν ρ = γ ο ρ ο γ = ρ ο γ ο ρ for all γ, ρ ε () which is similar to the well known result for the join of congruences on a group. Furthermore, if γ ∩ ρ ε () then γ ν ρ = γ ο ρ = ρ ο γ.

We consider spines of spherical space forms; i.e., spines of closed oriented 3-manifolds whose universal cover is the 3-sphere. We give sufficient conditions for such spines to be homotopy or simple homotopy equivalent to 2-complexes with the same fundamental group G and minimal Euler characteristic 1. If the group ring ℤG satisfies stably-free cancellation, then any such 2-complex is homotopy equivalent to a spine of a 3-manifold. If K1(ℤG) is represented by units and K is homotopy equivalent to a spine X, then K and X are simple homotopy equivalent. We exhibit several infinite families of non-abelian groups G for which these conditions apply.

A general space curve has only a finite number of quadrisecants, and it is rare for these to be bitangents. We show that there are irreducible rational space sextics whose six quadrisecants are all bitangents. All such sextics are projectively equivalent, and they lie by pairs on diagonal cubic surfaces. The bitangents of such a related pair are the halves of the distinguished double-six of the diagonal cubic surface. No space sextic curve has more than six bitangents, and the only other types with six bitangents are certain (4,2) curves on quadrics. In the course of the argument we see that space sextics with at least six quadrisecants are either (4,2) or (5,1) quadric curves with infinitely many, or are curves which each lie on a unique, and non-singular, cubic surface and have one half of a double-six for quadrisecants.

A subalgebra U of a Lie algebra L over a field F is called modular* in L if U satisfies the dual of the modular identities in the lattice of subalgebras of L. Our aim is the study of the influence of the modular* identities in the structure of the algebra. First we prove that if the modular* conditions are imposed on an ideal of L then every element of L acts as an scalar on this ideal and if they are imposed on a non-ideal subalgebra U of L then the largest ideal of L contained in U also satisfies the modular* identities. We determine Lie algebras having a subalgebra which satisfies both the modular and modular* identities, provided that either L is solvable or char(F)≠ 2,3. As immediate consequences of this result we obtain that the existence of a co-atom satisfying the modular* identities in the lattice L(L) forces that the lattice L(L) is modular and that the modular* identities on any subalgebra U forces that U is quasi-abelian. In the case when L is supersolvable we obtain that the modular* conditions on any non-ideal of L are enough to guarantee that L(L) is modular. For arbitrary fields and any Lie algebra L, we prove that the modular* conditions on every co-atom of the lattice L(L) guarantee that L(L) is modular.

In this note we propose an effective method based on the computation of a Gröbner basis of a left ideal to calculate the Gelfand-Kirillov dimension of modules.

Let X be a rearrangement invariant function space on [0,1] in which the Rademacher functions (rn) generate a subspace isomorphic to ℓ2. We consider the space Λ(R, X) of measurable functions f such that fg∈X for every function g=∑bnrn where (bn)∈ℓ2. We show that if X satisfies certain conditions on the fundamental function and on certain interpolation indices then the space Λ(R, X) is not order isomorphic to a rearrangement invariant space. The result includes the spaces Lp, q and certain classes of Orlicz and Lorentz spaces. We also study the cases X = Lexp and X = Lψ2 for ψ2) = exp(t2) – 1.

Simple characterizations of a pseudosphere or a plane in Minkowski 3-space by the existence of pseudocircles are given.

Suppose λ is a positive number, and let , x∈Rd, denote the d-dimensional Gaussian. Basic theory of cardinal interpolation asserts the existence of a unique function , x∈Rd, satisfying the interpolatory conditions , k∈Zd, and decaying exponentially for large argument. In particular, the Gaussian cardinal-interpolation operator , given by , x∈Rd, , is a well-defīned linear map from ℓ2(Zd) into L2(Rd). It is shown here that its associated operator-norm is , implying, in particular, that is contractive. Some sidelights are also presented.

In analogy with a construction from function theory, we herein define right, left, and two-sided Bourgain algebras associated with an operator algebra A. These algebras are defined initially in Banach space terms, using the weak-* topology on A, and our main result is to give a completely algebraic characterization of them in the case where A is a nest algebra. Specifically, if A = alg N is a nest algebra, we show that each of the Bourgain algebras defined has the form A + K ∩ B, where B is the nest algebra corresponding to a certain subnest of N. We also characterize algebraically the second-order (and higher) Bourgain algebras of a nest algebra, showing for instance that the second-order two-sided Bourgain algebra coincides with the two-sided Bourgain algebra itself in this case.

We prove inequalities for convex functions, Lp norms, and sums of powers. Our results sharpen recently published inequalities of C. E. M. Pearce and J. E. Pečarić.

We prove that every partially defined derivation on a semisimple complex Banach algebra whose domain is a (non necessarily closed) essential ideal is closable. In particular, we show that every derivation defined on any nonzero ideal of a prime C*-algebra is continuous.

The notion of Arens regularity of a bilinear form on a Banach space E is extended to continuous m-linear forms, in such a way that the natural associated linear mappings, E→L (m−1E) and (m – l)-linear mappings E × … × E → E', are all weakly compact. Among other applications, polynomials whose first derivative is weakly compact are characterized.

In this paper, we obtain some characterizations for the weighted weak type (1, q) inequality to hold for the Hardy-Littlewood maximal operator in the case 0<q<1; prove that there is no nontrivial weight satisfying one-weight weak type (p, q) inequalities when 0<p≠q< ∞, and discuss the equivalence between the weak type (p, q) inequality and the strong type (p, q) inequality when p≠q.