The purpose of this article is to describe two problems which involve drawing graphs in the plane. We will discuss both complete graphs and complete bicoloured graphs. The complete graphKn with n points or vertices has a line or edge joining every pair of distinct points, as shown in fig. 1 for n = 2, 3, 4, 5, 6.

Dirac (2) and Plummer (5) independently investigated the structure of minimally 2-connected graphs G, which are characterized by the property that for any line x of G, G–x is not 2-connected. In this paper we investigate an analogous class of strongly connected digraphs D such that for any arc x, D–x is not strong. Not surprisingly, these digraphs have much in common with the minimally 2-connected graphs, and a number of theorems similar to those in (2) and (5) are proved, notably our Theorems 9 and 12.

It has been established by G. Lallement (3) that the set of idempotent-separating congruences on a regular semigroup S coincides with the set ∑() of congruences on S which are contained in Green's equivalence on S. In view of this and Lemma 10.3 of A. H. Clifford and G. B. Preston (1) it is obvious that the maximum idempotent-separating congruence on a regular semigroup S is given by

This paper is a sequel to previous papers (1, 2, 3) on the solution of axisymmetric potential problems for circular disks and spherical caps by means of integral equations and applies the methods developed in these papers to the electrostatic potential problem for a perfectly conducting thin spherical cap or circular disk between two infinite earthed conducting planes.

The algebraic methods employed are usually defective in explaining the sign to be attached to an area; while the trigonometrical method with the transformation of a trigonometrical formula has always seemed a little far fetched so early in analytical geometry.

The famous Cohen factorization theorem, which says that every Banach algebra with bounded approximate identity factors, has already been generalized to locally convex algebras with what may be termed “uniformly bounded approximate identities”. Here we introduce a new notion, that of fundamentality generalizing both local boundedness and local convexity, and we show that a fundamental Fréchet algebra with uniformly bounded approximate identity factors. Fundamentality is a topological vector space property rather than an algebra property. We exhibit some non-fundamental topological vector space and give a necessary condition for Orlicz space to be fundamental.

In this work we tackle the Cartan determinant conjecture for finite-dimensional algebras through monoid gradings. Given an adequate ∑-grading on the left Artinian ring A, where ∑ is a monoid, we construct a generalized Cartan matrix with entries in ℤ∑, which is right invertitale whenever gl.dim A < ∞. That gives a positive answer to the conjecture when A admits a strongly adequate grading by an aperiodic commutative monoid. We then show that, even though this does not give a definite answer to the conjecture, it strictly widens the class of known graded algebras for which it is true.

§1. Let

denote a linear substitution of non-vanishing determinant; and let the roots k∈ of its characteristic equation

be for the present assumed distinct. Then with each root k∈ is associated an invariant point or pole P∈, and a linear invariant, or invariant (n−2)-plane ξ∈. If the n points P∈ do not lie on an (n−2)-plane, the determinant of their coordinates,

In this paper we prove that the states of a unital Banach algebra generate the dual Banach space as a linear space (Theorem 2). This is a result of R. T. Moore (4, Theorem 1(a)) who uses a decomposition of measures in his proof. In the proof given here the measure theory is replaced by a Hahn-Banach separation argument. We shall let A denote a unital Banach algebra over the complex field, and D(1) denote {f ∈ A′: ‖f‖ = f(1) = 1} where A′ is the dual of A. The motivation of Moore's results is the theorem that in a C*-algebra every continuous linear functional is a linear combination of four states (the states are the elements of D(1)) (see (2, 2.6.4, 2.1.9, 1.1.10)).

1. If the coordinates of a point on a parabola,

he (am2, 2am), in which I call m the parameter, then the equations to the tangent and normal at the point are

and

and to the chord through (m),(m′) is

An essentially bounded function on the unit circle gives a continuous linear functional on the Hardy space H1. In this paper we study when there exists at least one function which attains its norm. We apply the results to an interpolation problem, Hankel operators and a characterization of exposed points of the closed unit ball of H1.

The functions f(t) and h(t) that occur in what follows are supposed to be integrable (L) in every finite interval in which they are defined; and the order of summability, which need not be an integer, is not negative.

For a valued field (K, v), let Kv denote the residue field of v and Gv its value group. One way of extending a valuation v defined on a field K to a simple transcendental extension K(x) is to choose any α in K and any μ in a totally ordered Abelian group containing Gv, and define a valuation w on K[x] by w(Σici(x – α)i) = mini (v(ci) + iμ). Clearly either Gv is a subgroup of finite index in Gw = Gv + ℤμ or Gw/Gv is not a torsion group. It can be easily shown that K(x)w is a simple transcendental extension of Kv in the former case. Conversely it is well known that for an algebraically closed field K with a valuation v, if w is an extension of v to K(x) such that either K(x)w is not algebraic over Kv or Gw/Gv is not a torsion group, then w is of the type described above. The present paper deals with the converse problem for any field K. It determines explicitly all such valuations w together with their residue fields and value groups.

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.

By a ring we shall mean an associative ring not necessarily containing an identity element. The fundamental definitions and properties of radicals may be found in Divinsky [2]. Similarly we refer to Howie [3] for the semigroup concepts.

If R is a ring Mn(R) will denote the ring of n × n matrices with entries from R. For many important radicals α it has been shown that α(Mn(R)) = Mn(α(R)) for all rings R and all positive integers n. However this is not the case for all radicals α. Associated with each radical α we define a set of positive integers S(α) by