In a topological vector space, duality invariant is a very important property, some famous theorems, such as the Mackey-Arens theorem, the Mackey theorem, the Mazur theorem and the Orlicz-Pettis theorem, all show some duality invariants.

In this paper we would like to show an important improvement of the invariant results, which are related to sequential evaluation convergence of function series. Especially, a very general invariant result is established for an abstract mapping pair (Φ, B(Φ, X)) consisting of a nonempty set Φ and B(Φ, X) = {f ∈ XΦ: f (Φ) is bounded}, where X is a locally convex space.

Forms which are reduced in the sense of Minkowski satisfy the “fundamental inequality” a11a22 hellipann≤λnD; the best possible value of λn is known for n≤5. A more precise result for the minimum value of D in terms of the diagonal coefficients has been stated by Oppenheim for ternary forms. The corresponding precise result for quaternary forms is established here by considering a convex polytope D(α), defined as the intersection of the cone of reduced forms with the hyperplanes aii = αi (i = 1, hellip n).

The object of this paper is to consider the existence of the double-six over GF(2n) and particularly over GF(4).

Generalised k-statistics associated with multi-indexed arrays of random variables satisfying a generalised form of exchangeability are studied. By showing that they form multi-indexed reversed martingales and that the associated family of σ-fields possesses certain conditional independence properties, conditions for the a.s. convergence of generalised k-statistics are obtained. When the arrays of random variables are sums of independent arrays of independent effects, as is the case with the standard random effects anova models, the limits are identified as the associated generalixed cumulants.

The variety of quasigroups is universal for varieties of algebras of the most general kind in the sense that each such variety can be interpreted in a natural way in a suitably chosen subvariety of quasigroups. More precisely, for any algebra 〈A, f0, f1, f2, …〉 where f0, f1, f2, … is an arbitrary finite or infinite sequence of operations of finite rank, there exists a quasigroup 〈B,.〉 and polynormial operations F0, F1, F2, … over 〈B,·〉 such that 〈A, f0, f1, …〉 is a subalgebra of 〈B, F0, F1, …〉 satisfying exactly the same identities. Moreover, if there are only finitely many f0, f1, …, then 〈B1〉 can be taken so that its identities are recursive in those of 〈A, f0, f1, …〉, If 〈A, f0, f1, …〉 is a free algebra with an infinite number of free generators, then B can also be taken to coincide with A. This universal property of quasigroups has a number of consequences for their equational metatheory.

Mrowka and Engleking [1] have recently introduced a notion more general than that of compactness. Perhaps the most convenient direction at departure is the following: for spaces X and E, X is said to be E-compact if X is topologically embeddable as a closed subset of a product Em for some cardinal m, in which case we write X ⊂cl Em. More generally, X is said to be E-completely regular if X is topologically embeddable in a product Em for some m. For example, if we take E to be the unit interval I, we obtain the class of compact spaces and completely regular spaces, respectively, as is well-known. The question then arises, of course, given a space E, what spaces are compact with respect to it? A related question, to which we address ourselves in this note, is the following. Denote by K[E] all those topological spaces which are E-compact. Then we ask: are there very many distinct E-compact classes? It will develop that there are indeed quite a large number of such classes.

The concept of a permutation polynomial function over a commutative ring with 1 can be generalized to multiplace functions in two different ways, yielding the notion of a k-ary permutation polynomial function (k > 1, k ∈ N) and the notion of a strict k-ary permutation polynomial function respectively. It is shown that in the case of a residue class ring Zm of the integers these two notions coincide if and only if m is squarefree.

In this paper, we focus on the multivariate Hausdorff operator of the form

$$\begin{eqnarray}\mathbf{H}_{\unicode[STIX]{x1D6F7}}(f)(x)=\int _{(0,+\infty )^{n}}{\displaystyle \frac{\unicode[STIX]{x1D6F7}\big(\frac{x_{1}}{t_{1}},\frac{x_{2}}{t_{2}},\ldots ,\frac{x_{n}}{t_{n}}\big)}{t_{1}t_{2}\cdots t_{n}}}f(t_{1},t_{2},\ldots ,t_{n})\,\mathbf{dt},\end{eqnarray}$$

$\mathbf{dt}=dt_{1}\,dt_{2}\cdots \,dt_{n}$

$\mathbf{dt}=d_{q}t_{1}\,d_{q}t_{2}\cdots d_{q}t_{n}$

$q$

$L^{p}$

$p\in \mathbb{R}\backslash \{0\}$

The purpose of this note is to prove the following result. Theorem A. Let G be a finite group with the following properties (i) V▵ G, &V& = 2n and V is elementary abelian, (ii) G/V ≃ GL(n, 2), (iii) CG(V) ⊆ V. If n ≧ 6 then G splits over V.

Spitzbart [1] has considered a generalization of Hermite's interpolation formula in one variable and has obtained a polynomial p(x) of degree n + Σnj=0 = rj in x which interpolates to the values of a function and its derivatives up to order rj at xj, j = 0, 1,···n. Ahlin [2] has considered a bivariate generalization of Hermite's interpolation formula. He has developed a bivariate osculatory interpolation polynomial which agrees with f(x, y) and its partial and mixed partial derivatives up to a specified order at each of the nodes of a Cartesian grid. However, the above interpolation problem considered by Ahlin assumes that the values of partial and mixed partial derivatives of the same fixed order k – 1 are available at every point of the rectangular grid. It may also be observed that Ahlin's formula is essentially a Cartesian product of a special case of Spitzbart's formula in one variable.

Let be a non-cyclic free presentation of a group G, the lower central series of R. Then Rn/Rn+1, n ≧ 1, can be regarded as a right G-module by defining the action of G via conjugation in F. We wish to investigate the annihilators of these modules which we call higher relation modules.

We prove that the p-adic zeta-function constructed by Kubota and Leopoldt has the Dirichlet series expansion Where the convergence of the first summation is for the p-adic topology. The proof of this formula relates the values of p(–s, ω1+σ) for s ∈ Zp, with a branch of the ‘sth-fractional derivative’, of a suitable generating function.

We provide a wedge decomposition of the homotopy type of the p-subgroup complex in the case of a finite solvable group G. In particular, this includes a new proof of the result of Quillen which says that this complex is contractible if and only if there is a non-trivial normal p-subgroup in G. We also provide reduction formulas for the G-module structure of the homology groups. Our results are obtained with diagram-methods by gluing the p-subgroup complex of G along the p-subgroup complex of = G/N for a normal p′-subgroup of G.

The Lebesgue measure, λ (E + F), of the algebraic sum of two Borel sets, E, F of the classical “middle-thirds’ Cantor set on the circle can be estimated by evaluating the Cantor meaure, μ of the summands. For example log λ (E + F) exceeds a fixed scalar multiple of log μ (E)+ log μ (F). Several numerical inequalities which are required to prove this and related results look tantalizingly simple and basic. Here we isolate them from the measure theory and present a common format and proof.

Let Lp(Ω, K) denote the Banach space of weakly measurable functions F defined on a finite measure space and taking values in a separable Hilbert space K for which ∥ F ∥p = ( ∫ | F(ω) |p)1/p < + ∞. The bounded Hermitian operators on Lp(Ω, K) (in the sense of Lumer) are shown to be of the form , where B(ω) is a uniformly bounded Hermitian operator valued function on K. This extends the result known for classical Lp spaces. Further, this characterization is utilized to obtain a new proof of Cambern's theorem describing the surjective isometries of Lp(Ω, K). In addition, it is shown that every adjoint abelian operator on Lp(Ω, K) is scalar.

The problem of finding the most economical coverings of n-dimensional Euclidean space by equal spheres whose centres form a lattice, which is equivalent to a problem concerning the inhomogeneous minima of positive definite quadratic forms, has been discussed recently by Barnes and Dickson [1]. The reader is referred to [1] for a complete background on the problem. Terms and notations used will be as in that paper.

In this paper, we deduce new conditions for the existence of ground state solutions for the $p$-Laplacian equation

$$\begin{equation*} \left \{ \begin{array}{@{}ll} -\mathrm {div}(|\nabla u|^{p-2}\nabla u)+V(x)|u|^{p-2}u=f(x, u), \quad x\in {\mathbb {R}}^{N},\\[5pt] u\in W^{1, p}({\mathbb {R}}^{N}), \end{array} \right . \end{equation*}$$

$t\mapsto f(x, t)/|t|^{p-1}$

$tf(x, t)$

$tf(x, t)-pF(x, t)$

We prove a conjecture of Lennox and Wiegold that a finitely generated soluble group, in which every infinite subset contains two elements generating a supersoluble group, is finite-by-supersoluble.

Let X be a finite set and S a semigroup of transformations of X. We investigate the trace on X of a random walk on S. We relate the structure of the trace process, which turns out to be a Markov chain, to that of the random walk. We show, for example, that all periods of the trace process divide the period of the random walk.

In this paper we give some algorithms for determining αw(T) and βw(T), the generalized internal and external stability numbers respectively, of a finite directed tree graph T whose nodes are weighted by a function w. We define αw(T) and βw in section 2. When w gives every node of T the weight 1 then αw(T) = α(T) and βw(T) = β(T) where α(T) and β(T) are the usual stability numbers.