HOME

TheInfoList



OR:

Øystein Ore (7 October 1899 – 13 August 1968) was a Norwegian
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...
known for his work in ring theory,
Galois connection In mathematics, especially in order theory, a Galois connection is a particular correspondence (typically) between two partially ordered sets (posets). Galois connections find applications in various mathematical theories. They generalize the funda ...
s,
graph theory In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
, and the history of mathematics.


Life

Ore graduated from the
University of Oslo The University of Oslo ( no, Universitetet i Oslo; la, Universitas Osloensis) is a public research university located in Oslo, Norway. It is the highest ranked and oldest university in Norway. It is consistently ranked among the top universit ...
in 1922, with a Cand.Scient. degree in mathematics. In 1924, the University of Oslo awarded him the Ph.D. for a thesis titled ''Zur Theorie der algebraischen Körper'', supervised by Thoralf Skolem. Ore also studied at
Göttingen University Göttingen (, , ; nds, Chöttingen) is a university city in Lower Saxony, central Germany, the capital of the eponymous district. The River Leine runs through it. At the end of 2019, the population was 118,911. General information The ori ...
, where he learned Emmy Noether's new approach to
abstract algebra In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The ter ...
. He was also a fellow at the Mittag-Leffler Institute in
Sweden Sweden, formally the Kingdom of Sweden,The United Nations Group of Experts on Geographical Names states that the country's formal name is the Kingdom of SwedenUNGEGN World Geographical Names, Sweden./ref> is a Nordic countries, Nordic c ...
, and spent some time at the
University of Paris , image_name = Coat of arms of the University of Paris.svg , image_size = 150px , caption = Coat of Arms , latin_name = Universitas magistrorum et scholarium Parisiensis , motto = ''Hic et ubique terrarum'' (Latin) , mottoeng = Here and a ...
. In 1925, he was appointed research assistant at the University of Oslo.
Yale University Yale University is a private research university in New Haven, Connecticut. Established in 1701 as the Collegiate School, it is the third-oldest institution of higher education in the United States and among the most prestigious in the w ...
’s James Pierpont went to Europe in 1926 to recruit research mathematicians. In 1927, Yale hired Ore as an assistant professor of mathematics, promoted him to associate professor in 1928, then to full professor in 1929. In 1931, he became a Sterling Professor (Yale's highest academic rank), a position he held until he retired in 1968. Ore gave an
American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meeting ...
Colloquium lecture in 1941 and was a plenary speaker at the International Congress of Mathematicians in 1936 in Oslo. He was also elected to the
American Academy of Arts and Sciences The American Academy of Arts and Sciences (abbreviation: AAA&S) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, a ...
and the
Oslo Academy of Science Oslo ( , , or ; sma, Oslove) is the capital and most populous city of Norway. It constitutes both a county and a municipality. The municipality of Oslo had a population of in 2022, while the city's greater urban area had a population o ...
. He was a founder of the
Econometric Society The Econometric Society is an international society of academic economists interested in applying statistical tools to their field. It is an independent organization with no connections to societies of professional mathematicians or statisticians. ...
. Ore visited Norway nearly every summer. During
World War II World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the World War II by country, vast majority of the world's countries—including all of the great power ...
, he was active in the "American Relief for Norway" and "Free Norway" movements. In gratitude for the services rendered to his native country during the war, he was decorated in 1947 with the
Order of St. Olav The Royal Norwegian Order of Saint Olav ( no, Den Kongelige Norske Sankt Olavs Orden; or ''Sanct Olafs Orden'', the old Norwegian name) is a Norwegian order of chivalry instituted by King Oscar I on 21 August 1847. It is named after King Olav II ...
. In 1930, Ore married Gudrun Lundevall. They had two children. Ore had a passion for painting and sculpture, collected ancient maps, and spoke several languages.


Work

Ore is known for his work in ring theory, Galois connections, and most of all,
graph theory In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
. His early work was on
algebraic number field In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension). Thus K is a f ...
s, how to decompose the
ideal Ideal may refer to: Philosophy * Ideal (ethics), values that one actively pursues as goals * Platonic ideal, a philosophical idea of trueness of form, associated with Plato Mathematics * Ideal (ring theory), special subsets of a ring considered ...
generated by a
prime number A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
into
prime ideal In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together wi ...
s. He then worked on noncommutative rings, proving his celebrated theorem on embedding a
domain Domain may refer to: Mathematics *Domain of a function, the set of input values for which the (total) function is defined ** Domain of definition of a partial function ** Natural domain of a partial function **Domain of holomorphy of a function * ...
into a division ring. He then examined
polynomial ring In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables ...
s over skew fields, and attempted to extend his work on factorisation to non-commutative rings. The Ore condition, which (if true) allows a ring of fractions to be defined, and the Ore extension, a non-commutative analogue of rings of polynomials, are part of this work. In more elementary
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Ma ...
, Ore's harmonic numbers are the numbers whose
divisor In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible or evenly divisible by ...
s have an integer
harmonic mean In mathematics, the harmonic mean is one of several kinds of average, and in particular, one of the Pythagorean means. It is sometimes appropriate for situations when the average rate is desired. The harmonic mean can be expressed as the recipro ...
. As a teacher, Ore is notable for teaching mathematics to two doctoral students who would make contributions to science and mathematics: Grace Hopper, who would eventually become a
United States The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country Continental United States, primarily located in North America. It consists of 50 U.S. state, states, a Washington, D.C., ...
rear admiral Rear admiral is a senior naval flag officer rank, equivalent to a major general and air vice marshal and above that of a commodore and captain, but below that of a vice admiral. It is regarded as a two star " admiral" rank. It is often rega ...
and
computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (a ...
, who was a pioneer in the development of the first
computer A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations ( computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These prog ...
s, and Marshall Hall, Jr., an American mathematician who did important research in
group theory In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen ...
and
combinatorics Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many a ...
. In 1930, the ''Collected Works of
Richard Dedekind Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a German mathematician who made important contributions to number theory, abstract algebra (particularly ring theory), and the axiomatic foundations of arithmetic. His ...
'' were published in three volumes, jointly edited by Ore and Emmy Noether. He then turned his attention to lattice theory becoming, together with Garrett Birkhoff, one of the two founders of American expertise in the subject. Ore's early work on lattice theory led him to the study of equivalence and closure relations,
Galois connection In mathematics, especially in order theory, a Galois connection is a particular correspondence (typically) between two partially ordered sets (posets). Galois connections find applications in various mathematical theories. They generalize the funda ...
s, and finally to
graph theory In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
, which occupied him to the end of his life. He wrote two books on the subject, one on the theory of graphs and another on their applications. Within graph theory, Ore's theorem is one of several results proving that sufficiently
dense graph In mathematics, a dense graph is a graph in which the number of edges is close to the maximal number of edges (where every pair of vertices is connected by one edge). The opposite, a graph with only a few edges, is a sparse graph. The distincti ...
s contain Hamiltonian cycles. Ore had a lively interest in the history of mathematics, and was an unusually able author of books for laypeople, such as his biographies of Cardano and Niels Henrik Abel.


Books by Ore

* ''Les Corps Algébriques et la Théorie des Idéaux'' (1934) * ''L'Algèbre Abstraite'' (1936) *
Number Theory and its History
' (1948) * ''Cardano, the Gambling Scholar'' (Princeton University Press, 1953) * ''Niels Henrik Abel, Mathematician Extraordinary'' (U. of Minnesota Press, 1957) * ''Theory of Graphs'' (1962) * ''Graphs and Their Uses'' (1963) * ''The Four-Color Problem'' (1967) * ''Invitation to Number Theory'' (1969)


See also

*
Deficiency (graph theory) Deficiency is a concept in graph theory that is used to refine various theorems related to perfect matching in graphs, such as Hall's marriage theorem. This was first studied by Øystein Ore. A related property is surplus. Definition of deficie ...
* Geodetic graph * Magma (algebra) * Ore algebra * Ore condition * Ore's conjecture * Ore extension * Ore number *
Ore's theorem Ore's theorem is a result in graph theory proved in 1960 by Norwegian mathematician Øystein Ore. It gives a sufficient condition for a graph to be Hamiltonian, essentially stating that a graph with sufficiently many edges must contain a Hamilt ...
*
Schwartz–Zippel lemma In mathematics, the Schwartz–Zippel lemma (also called the DeMillo–Lipton–Schwartz–Zippel lemma) is a tool commonly used in probabilistic polynomial identity testing, i.e. in the problem of determining whether a given multivariate polynomi ...
*
Universal algebra Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures. For instance, rather than take particular groups as the object of study ...


References


External links

* . The source for much of this entry. * {{DEFAULTSORT:Ore, Oeystein 20th-century Norwegian mathematicians Combinatorialists Lattice theorists Yale University faculty Historians of mathematics 1899 births 1968 deaths Yale Sterling Professors