In a previous paper [4] we showed that Γ3,1 = 16/. For the definition of Γr, s for an indefinite quadratic form in n = r + s variables of the type (r, s) see the above paper. Here we shall show that Γ2,2 = 16. More precisely we prove:Theorem. Let Q (x, y, z, t) be an indefinite quaternary quadratic form with determinant D > 0 and signature (2, 2). Then given any real numbers x0, y0, z0, t0 we can find integers x, y, z, t such thatEquality is necessary if and only if either where ρ ≠ 0. For Q1 equality occurs if and only if

In this paper we extend a theorem of Mallet-Paret and Sell for the existence of an inertial manifold for a scalar-valued reaction diffusion equation to new physical domains ωn ⊂ Rn, n = 2,3. For their result the Principle of Spatial Averaging (PSA), which certain domains may possess, plays a key role for the existence of an inertial manifold. Instead of the PSA, we define a weaker PSA and prove that the domains φn with appropriate boundary conditions for the Laplace operator, δ, satisfy a weaker PSA. This weaker PSA is enough to ensure the existence of an inertial manifold for a specific class of scalar-valued reaction diffusion equations on each domain ωn under suitable conditions.

We study Markov measures and p-adic random walks with the use of states on the Cuntz algebras Op. Via the Gelfand–Naimark–Segal construction, these come from families of representations of Op. We prove that these representations reflect selfsimilarity especially well. In this paper, we consider a Cuntz–Krieger type algebra where the adjacency matrix depends on a parameter q ( q=1 is the case of Cuntz–Krieger algebra). This is an ongoing work generalizing a construction of certain measures associated to random walks on graphs.

For a polynomial f(x) over a finite field Fq, denote the polynomial f(y)−f(x) by ϕf(x, y). The polynomial ϕf has frequently been used in questions on the values of f. The existence is proved here of a polynomial F over Fq of the form F = Lr, where L is an affine linearized polynomial over Fq, such that f = g(F) for some polynomial g and the part of ϕf which splits completely into linear factors over the algebraic closure of Fq is exactly φF. This illuminates an aspect of work of D. R. Hayes and Daqing Wan on the existence of permutation polynomials of even degree. Related results on value sets, including the exhibition of a class of permutation polynomials, are also mentioned.

In this paper we investigate some new sequence spaces which naturally emerge from the concept of almost convergence. Just as ordinary, absolute and strong summability, it is expected that almost convergence must give rise to almost, absolutely almost and strongly almost summability. Almost and absolutely almost summable sequences have been discussed by several authors. The object of this paper is to introduce the spaces of strongly almost summable sequences which happen to be complete paranormed spaces under certain conditions. Some topological results, characterisation of strongly almost regular matrices, uniqueness of generalized limits and inclusion relations of such sequences have been discussed.

For the class of self-similar measures in $\mathbb{R}^{d}$ with overlaps that are essentially of finite type, we set up a framework for deriving a closed formula for the $L^{q}$-spectrum of the measure for $q\geq 0$. This framework allows us to include iterated function systems that have different contraction ratios and those in higher dimension. For self-similar measures with overlaps, closed formulas for the $L^{q}$-spectrum have only been obtained earlier for measures satisfying Strichartz’s second-order identities. We illustrate how to use our results to prove the differentiability of the $L^{q}$-spectrum, obtain the multifractal dimension spectrum, and compute the Hausdorff dimension of the measure.

Semiconvex sets are objects in the algebraic variety generated by convex subsets of real linear spaces. It is shown that the fundamental notions of convex geometry may be derived from an entirely algebraic approach, and that conceptual advantages result from applying notions derived from algebra, such as ideals, to convex sets. Some structural decomposition results for semiconvex sets are obtained. An algebraic proof of the algebraic Hahn-Banach theorem is presented.

Takai duality for full C*-crossed products holds for twisted actions in the sense of Green and fails for coactions.

Let $G$ denote a finite group and $\mathrm{cd} (G)$ the set of irreducible character degrees of $G$. Huppert conjectured that if $H$ is a finite nonabelian simple group such that $\mathrm{cd} (G)= \mathrm{cd} (H)$, then $G\cong H\times A$, where $A$ is an abelian group. He verified the conjecture for many of the sporadic simple groups and we complete its verification for the remainder.

We show that for any fixed base a, a positive proportion of primes become composite after any one of their digits in the base a expansion is altered; the case where a=2 has already been established by Cohen and Selfridge [‘Not every number is the sum or difference of two prime powers’, Math. Comput.29 (1975), 79–81] and Sun [‘On integers not of the form ±pa±qb’, Proc. Amer. Math. Soc.128 (2000), 997–1002], using some covering congruence ideas of Erdős. Our method is slightly different, using a partially covering set of congruences followed by an application of the Selberg sieve upper bound. As a consequence, it is not always possible to test whether a number is prime from its base a expansion without reading all of its digits. We also present some slight generalisations of these results.

Let G be a (not necessarily finite) group and ρ a finite dimensional faithful irreducible representation of G over an arbitrary field; write ρ¯ for ρ viewed as a projective representation. Suppose that ρ is not induced (from any proper subgroup) and that ρ¯ is not a tensor product (of projective representations of dimension greater than 1). Let K be a noncentral subgroup which centralizes all its conjugates in G except perhaps itself, write H for the normalizer of K in G, and suppose that some irreducible constituent, σ say, of the restriction p↓K is absolutely irreducible. It is proved that then (ρ is absolutely irreducible and) ρ¯ is tensor induced from a projective representation of H, namely from a tensor factor π of ρ¯↓H such that π↓K = σ¯ and ker π is the centralizer of K in G.

In a recent note, M. Kuczama [5] has obtained a general result concerning real solutions φ(x) on the interval 0 ≦ x < a ≦∞ of the Schröder functional equation providing the known real function satisfies the following (quite weak) conditions: f(x) is continuous and strictly increasing in ([0 a);(0) = 0 and 0 <f(x) <x for x ∈ (0, a); limx→0+ {f(x)/x} = s; and f(x)/x is monotonic in (0, a).

Ahues (1987) and Bouldin (1990) have given sufficient conditions for the strong stability of a sequence (Tn) of operators at an isolated eigenvalue of an operator T. This paper provides a unified treatment of their results and also generalizes so as to facilitate their application to a broad class of operators.

Let (ℋ, G, U) be a continuous representation of the Lie group G by bounded operators g ↦ U(g) on the Banach space ℋ and let (ℋ, g, dU) denote the representation of the Lie algebra g obtained by differentiation. If a1,…, ad′ is a Lie algebra basis of g and Ai = dU(ai) then we examine elliptic regularity properties of the subelliptic operators where (cij) is a real-valued strictly positive-definite matrix and c0, c1,…, cd′ ∈ C. We first introduce a family of Lipschitz subspaces ℋγ, γ > 0, of ℋ which interpolate between the Cn-subspaces of the representation and for which the parameter γ is a continuous measure of differentiability. Secondly, we give a variety of characterizations of the spaces in terms of the semigroup generated by the closure of H and the group representation. Thirdly, for sufficiently large values of Re c0 the fractional powers of the closure of H are defined, and we prove that D()γ⊆γ′, for γ′ < 2γ/r where r is the rank of the basis. Further we establish that 2γ/r is the optimal regularity value and it is attained for unitary representations or for the representations obtained by restricting U to ℋγ. Many other regularity properties are obtained.

If G is a group, then K(G) is the set of commutators of elements of G. C is the class of groups such that G′ = K(G) is the minimal cardinality of any generating set of dG. We prove: Theorem A. Let G be a nilpotent group of class two such that G' is finite and d(G′) < 4.Then G < G.

Theorm B. Let G be a finite group such that G′ is elementary abelian of order p3. Then G ∈ C.

Theorem C. Let G be a finite group with an elementary abelian Sylow p-subgroup S, of order p2, such that S ⊆ K(G). Then S ⊆K(G).

This paper is concerned with version of Bernstein's inequality for Hausdroff locally compact Abelian groups. The ideas used are suggested by Exercise 12, p. 17 of Katznelson's book [4].

In the present paper we shall consider some subgroups of (increasing) autohomeomorphisms of the closed real interval <0, 1>; mainly because of brevity, we shall defer discussing possible generalizations of our results to more general ordered fields.

If ρ is a congruence on a regular semigroup S, then the kernel of ρ is defined to be the set of ρ-classes which contain idempotents of S. Preston [7] has proved that two congruences on a regular semigroup coincide if and only if they have the same kernel: this naturally poses the problem of characterizing the kernel of a congruence on a regular semigroup and reconstructing the congruence from its kernel. In some sense this problem has been resolved by the author in [5]. Using the well-known theorem of M. Teissier (see for example, A. H. Clifford and G. B. Preston [1], Vol. II, Theorem 10.6), it is possible to characterize the kernel of a congruence on a regular semigroup S as a set A = {Ai: i ∈ I} of subsets of S which satisfy the Teissier-Vagner-Preston conditions:

In this paper we use a result from graph theory on the characterization of the line graphs of the complete bigraphs to show that if n is any integer ≥ 2 then any finite linear space having p = n2 − n or p = n2 − n + 1 points, of which at least n2 − n have degree n + 1, and q ≤ n2 + n − 1 lines is embeddable in an FPP of order n unless n = 4. If n = 4 there is only one possible exception for each of the two values of p, and for p = n2 − n, this exception can be embedded in the FPP of order 5.

This article studies particular sequences satisfying polynomial recurrences, among those Apéry's sequence which is shown to be the Legendre transform of the sequence. This results in the construction of simultaneous approximations of π 2/8 and ζ(3).