When a disc rotates in a fluid at rest, fluid near the disc acquires azimuthal momentum because of the viscous torque of the disc and outwards radial momentum under the action of centrifugal forces. The resultant flow is essentially a swirling jet. Away from the disc continuity requires the existence of an axial flow towards the disc to compensate for the fluid which has been thrown outwards. If the disc is finite there is a discontinuity in the boundary conditions at the edge of the disc where the no-slip condition is suddenly replaced by a condition of zero stress in the plane of the disc. The flow discharged from the edge of the disc is essentially a wake embedded in a swirling radial jet. It appears that no investigation of this wake has yet been made.

Let (G, +) be an arbitrary group and let T0(G) = {f∈ Map(G, G): 0f = 0}; the system composed of T0(G) and the operations of pointwise addition and composition of functions form a (left) near-ring. Berman and Silverman, in their investigation of near-rings of transformations [3], found that for every group G the associated near-ring of transformations T0(G) has no proper ideals. In the present paper left and right ideals of T0(G) are considered.

Following on from the work of T. P. Speed [1], we will deal with some obvious conjectures, using particularly results 3.3 and 8.5 of [1].

Let H be a group, let {G1: i ∈ I} be a set of groups and, for each i, let θi be a a monomorphism: H → G1, with Hθ1 = H1. We call such a system of groups and monomorphisms an amalgam and denote it by [G1; H; θi; Hi]. By an embedding of the amalgam into a group G is meant a set of monomorphisms ϕi: G1 → G such that θiϕi= θjϕjfor all i, j and G1ϕi = Hθϕk, for all i, j, k.

Associated with each uniform space (S, U) there is a uniform lattice (P, V, ≦) called the scale of (S, U). The scale was first introduced by D. Bushaw (see [2] and [3]) for the purpose of studying stability in topological dynamics. Further properties of the scale were investigated in [4], and this paper pursues one of the research problems suggested in the latter paper.

Let B be an associative ring with identity, A a subring of B containing the identity of B. If B is commutative then it is customary to define an element b of B to be integral over A if it satisties an equation of the form for some a1, a2, …, an A. This definition does not generalize readily to the case when B is non-commutative. Van der Waerden ([11], p. 75) defines b ∈ B to be integral over A if all powers of b belong to a finite A-module. This definition is quite satisfactory when A satisfies the ascending chain condition for left ideals, but in the general case this type of integrity is not necessarily transitive, even when B is commutative. Krull [6] calls an element b ∈ B which satisfies the above condition almost integral over A (but he only considers the commutative case). The subset Ā of B consisting of all almost integral elements over A is called the complete integral closure of A in B. If Ā = A, A is said to be completely integrally closed in B. More recently (in [3]), Gilmer and Heinzer (see also Bourbaki, [1]) have discussed these properties in the commutative case and have shown that the complete integral closure of A in B need not be completely integrally closed in B. If B is not commutative, the set A of elements of B almost integral over A, may not even form a ring. In [5] p. 122, Jacobson uses a definition equivalent to Van der Waerden's for the non-commutative case but the definition applies only for a very restricted class of rings.

It is well known that every compact topological semigroup has an idempotent and every compact bicancellative semigroup is a topological group. Also every locally compact semigroup which is algebraically a group, is a topological group. In this note we extend these results to the case of countably compact semigroups satisfying the Ist axiom of countability. Some of our results are valid under the weaker condition of sequential compactness.

In this paper solutions of the generalized metaharmonic equation in several independent variables where λ > 0 are uniquely decomposed into the sum of a solution regular in the entire space and one satisfying a generalized Sommerfeld radiation condition. Due to the singular nature of the partial differential equation under investigation it is shown that the radiation condition in general must hold uniformly in a domain lying in the space of several complex variables. This result indicates that function theoretic methods are not only the correct and natural avenue of approach in the study of singular ordinary differential equations, but are basic in the investigation of singular partial differential equations as well.

The study of complemented Banach*-algebras taken up in [1] was confined mainly to B*-algebras. In the present paper we extend this study to (right) complemented Banach*-algebras in which x*x = 0 implies x = 0. We show that if A is such an algebra then every closed two-sided ideal of A is a *-ideal. Using this fact we obtain a structure theorem for A which states that if A is semi-simple then A can be expressed as a topological direct sum of minimal closed two sided ideals each of which is a complemented Banach*-algebra. It follows that A is an A*-algebra and is a dense subalgebra of a dual B*-algebra U, which is determined uniquely up to *-isomorphism.

In an earlier paper, the author has obtained a solution [8] to Birkhoff's problem No. 105 [1]: Is there a common abstraction which includes Boolean algebras (Rings) and lattice ordered groups as special cases? The solution actually turns out to be the direct product of a Boolean ring and a lattice ordered group. Birkhoff's problem has also been solved by Swamy, Wyler, and Nakano by presenting respectively i) Dually Residuated Lattice Ordered Semigroups (D.R.1. semigroups) [2, 3, 4, 5], ii) Clans [6], and iii) Multirings [7].

Let M be an n-dimensional (n = 2m + 1, m ≦ 1) real differentiable manifold. if on M there exist a tensor field , a contravariant vector field ξi and a convariant vector field ηi such that then M is said to have an almost contact structure with the structure tensors (φ,ξ, η) [1], [2]. Further, if a positive definite Riemannian metric g satisfies the conditions then g is called an associated Riemannian metric to the almost contact structure and M is then said to have an almost contact metric structure. On the other hand, M is said to have a contact structure [2], [4] if there exists a 1-form η over M such that η ∧ (dη)m ≠ 0 everywhere over M where dη means the exterior derivation of η and the symbol ∧ means the exterior multiplication. In this case M is said to be a contact manifold with contact form η. It is known [2, Th. 3,1] that if η = ηidxi is a 1-form defining a contact structure, then there exists a positive definite Riemannian metric in gij such that and define an almost contact metric structure with and ηi where the symbol ∂i standing for ∂/∂xi.

The present paper on functions of bounded variation relative to a set has its point of departure in the work of R. L. Jeffery [10]. Below we recapitulate Jeffery's class U of functions of bounded variation relative to a set, we state and prove a number of preliminary lemmas and theorems, we introduce a suitable pseudo- metric space (X, d) of such functions, and the analogous space , and prove that (X, d) is separable, that every closed sphere in (X, d) is compact and that is complete. These results extend known results of C. R. Adams, and C. R. Adams and A. P. Morse for the space of usual BV functions.

In this note we define a rather pathological connectedness property of Hausdorff spaces which is stronger than ordinary connectedness. We obtain a few basic properties of such spaces and derive a method for constructing them. It turns out that countable Hausdorff spaces having the connectedness property are as easily constructed as uncountable ones. Hence we have still another method for constructing countable connected Hausdorff spaces.

In [1]R. G. Douglas proved that if A and B are continuous linear operators on a Hilbert space X, the following three conditions are equivalent:

In 1946 Baer (Polarities infinite projective planes, Bull. Am. Math. Soc. 52, 77–93) showed that the absolute points of a polarity in a finite projective plane of odd non-square order always form an oval, that is, in a plane of order n there are exactly n+ 1 absolute points and no three are collinear. It is well known that the absolute points of polarities in planes of odd square order form ovals in some cases.

If the oval is a subset of the set of absolute points, then the oval itself determines the polarity, and this makes it appear unlikely that the oval could be a proper subset. Among other results in the paper it is to be proved that in the regular Hughes plane there is a polarity which is determined by an oval which is a relatively small subset of the set of absolute points. Explicitly, if Ω is the Hughes plane of order q2 and A is the central subplane of order q, then every conic in Δ can be extended to an oval in Ω, and this oval determines a polarity in which there are ½(q3–q) additional absolute points.

For a semigroup S let I(S) be the set of idempotents in S. A natural partial order of I(S) is defined by e ≦ f if ef = fe = e. An element e in I(S) is called a primitive idempotent if e is a minimal non-zero element of the partially ordered set (I(S), ≦). It is easy to see that an idempotent e in S is primitive if and only if, for any idempotent f in S, f = ef = fe implies f = e or f is the zero element of S. One may also easily verify that an idempotent e is primitive if and only if the only idempotents in eSe are e and the zero element. We let П(S) denote the set of primitive idempotent in S.

In 1942, Burgers [1] observed that in cylindrical polar coordinates, the steady Navier-Stokes equation governing viscous incompressible fluid motion can be reduced to a set of ordinary differential equations if the velocity components vr, vo and vz are assumed to have a special form.

Let f(x) be continuous in (-π, π) and periodic with period 2π and let , The aim of this paper is to prove the following theorem.

Throughout this paper any matrix is square and of order q unless otherwise specified. I and J will represent an identity matrix and a square matrix with every element + 1 respectively; if necessary, the size will be indicated by a subscript. The Kronecker product of matrices A = (aij) and B is the block matrix whose (i, j)-th block is aijB, and is written A x B.

J. C. Kelly [2] introduced the concept of a bitopological space. Lane [3], Patty [4] and Pervin [5] have continued his work. Our purpose in this paper is to identify the projective objects in a suitable category of bitopological spaces after the manner of Gleason [1] and generalize his theorem that in the category of compact Hausdoriff topological spaces, the projective spaces are precisely the extremally disconnected ones.