Physical Sciences and Mathematics Commons^™

Some Remarks On Elementary Divisor Rings Ii, Melvin Henriksen

All HMC Faculty Publications and Research

A commutative ring S with identity element 1 is called an elementary divisor ring (resp. Hermite ring) if for every matrix A over S there exist nonsingular matrices P, Q such that PAQ (resp. AQ) is a diagonal matrix (resp. triangular matrix). It is clear that every elementary divisor ring is an Hermite ring, and that every Hermite ring is an F-ring (that is, a commutative ring with identity in which all finitely generated ideals are principal).

An Isomorphism Theorem For Real-Closed Fields, P. Erdös, L. Gillman, Melvin Henriksen

All HMC Faculty Publications and Research

A classical theorem of Steinitz states that the characteristic of an algebraically closed fields, together with its absolute degree of transcendency, uniquely determine the field (up to isomorphism). It is easily seen that the word real-closed cannot be substituted for the words algebraically closed in this theorem. It is therefore natural to inquire what invariants other than the absolute transcendence degree are needed in order characterize a real-closed field.

Concerning Rings Of Continuous Functions, Leonard Gillman, Melvin Henriksen

All HMC Faculty Publications and Research

The present paper deals with two distinct, though related, questions, concerning the ring C(X, R) of all continuous real-valued functions on a completely regular topological space X.

The first of these, treated in §§1-7, is the study of what we call P-spaces -- those spaces X such that every prime ideal of the ring C(X, R) is a maximal ideal. The background and motivation for this problem are set forth in §1. The results consist of a number of theorems concerning prime ideals of the ring C(X, R) in general, as well as a series of characterizations of P-spaces in …

On A Theorem Of Gelfand And Kolmogoroff Concerning Maximal Ideals In Rings Of Continuous Functions, Leonard Gillman, Melvin Henriksen, Meyer Jerison

All HMC Faculty Publications and Research

This paper deals with a theorem of Gelfand and Kolmogoroff concerning the ring C= C(X, R) of all continuous real-valued functions on a completely regular topological space X, and the subring C* = C*(X, R) consisting of all bounded functions in C. The theorem in question yields a one-one correspondence between the maximal ideals of C and those of C*; it is stated without proof in [2]. Here we supply a proof (§2), and we apply the theorem to three problems previously considered by Hewitt in [5].

Our first result (§3) consists of two simple constructions of the Q-space vX. …

On The Continuity Of The Real Roots Of An Algebraic Equation, Melvin Henriksen, John R. Isbell

All HMC Faculty Publications and Research

It is well known that the root of an algebraic equation is a continuous multiple-valued function of its coefficients [5, p. 3]. However, it is not necessarily true that a root can be given by a continuous single-valued function. A complete solution of this problem has long been known in the case where the coefficients are themselves polynomials in a complex variable [3, chap. V]. For most purposes the concept of the Riemann surface enables one to bypass the problem. However, in the study of the ideal structure of rings of continuous functions, the general problem must be met directly. …

On The Prime Ideals Of The Ring Of Entire Functions, Melvin Henriksen

All HMC Faculty Publications and Research

Let R be the ring of entire functions, and let K be the complex field. In an earlier paper [6], the author investigated the ideal structure of R, particular attention being paid to the maximal ideals. In 1946, Schilling [9, Lemma 5] stated that every prime ideal of R is maximal. Recently, I. Kaplansky pointed out to the author (in conversation) that this statement is false, and constructed a non maximal prime ideal of R (see Theorem 1(a), below). The purpose of the present paper is to investigate these nonmaximal prime ideals and their residue class fields. The author is …

On Rings Of Entire Functions Of Finite Order, Melvin Henriksen

All HMC Faculty Publications and Research

In an earlier paper, the author showed that if M is any maximal ideal of R, the residue class field R/M is isomorphic with the complex field K. In this paper, under some restrictions, this theorem is extended to the ring R_λ of all entire functions of order no greater than λ, and hence to R*.

On The Ideal Structure Of The Ring Of Entire Functions, Melvin Henriksen

All HMC Faculty Publications and Research

Let R be the ring of entire functions, and let K be the complex field. The ring R consists of all functions from K to K differentiable everywhere (in the usual sense).

The algebraic structure of the ring of entire functions seems to have been investigated extensively first by O. Helmer [1].

The ideals of R are herein classified as in [2]: an ideal I is called fixed if every function in it vanishes at at least one common point; otherwise, I is called free. The structure of the fixed ideals was determined in [1]. The structure of the …