Horace Yomishi Mochizuki

Born: 18 May 1937 in California, USA
Died: 9 June 1989 in Santa Barbara, California, USA

Horace Mochizuki's father was Edward Mochizuki. Horace was brought up on a farm in the Great Central Valley, in California, U.S.A. Horace was only four years old when over 180 Japanese aircraft attacked Pearl Harbour on 7 December 1941. The United States then entered World War II and the immediate consequence for the Mochizuki family was that, as United States citizens of Japanese ancestry, they were interned. When the war ended Horace was eight years old and for a short while the family lived in New York. However they soon returned to the farm near Madera, California.

Mochizuki was very musical and while at high school he also attended the Music Academy of the West in Santa Barbara where he played the violin. After graduating from high school he entered the University of Redlands in Redlands, San Bernardino county, southern California. After graduating with a B.A. he went to University of Washington where he studied ring theory for his doctorate under the supervision of James P Jans. He received his Ph.D. in 1963 for his thesis Finitistic homological dimensions and duality theory for rings. Appointed to the University of California at Berkeley in 1963 he spent two years there undertaking postgraduate work before being appointed to University of California at Santa Barbara in 1965.

Mochizuki's first three papers were on ring theory. Finitistic global dimension for rings was published in the Pacific Journal of Mathematics in 1965. In the same year On the double commutator algebra of QF-3 algebras was published and in the following year A characterization of QF-3 rings appeared written jointly with L E T Wu and his former doctoral supervisor James P Jans. For anyone interested let us record that a QF-3 ring is defined as a ring R which, considered as a left R-module, can be imbedded in a projective injective left R-module Q. When Mochizuki arrived in Santa Barbara he soon met another young mathematician Seymour Bachmuth and in December 1965 they began a collaboration. From this time on Mochizuki contributed to the theory of groups. Bachmuth writes [1]:-

In many of Horace's papers one finds theorems or crucial computations in rings be they group rings, Lie rings, polynomial rings, matrix rings, rings of characteristic zero, rings of prime characteristic, rings of one sort or another. But apart from his thesis and first three papers, most, if not all, were motivated and established to prove results about groups.
After beginning his collaboration with Seymour Bachmuth their first papers together were Cyclotomic ideals in group rings (1966) and Automorphisms of a class of metabelian groups II (1967). This last paper is typical of the interplay between rings and groups to which Bachmuth referred in the above quote, for in it the units of the group rings of free abelian groups of finite rank over the integers modulo m are completely described and then used as a tool to obtain results on the automorphism group of the free metabelian group with derived group of exponent m.

Mochizuki's work on Burnside groups received special recognition when he received a special award from the National Science Foundation for:-

... projects of high scientific merit involving scientists with a record of outstanding research accomplishments ...
We should make special mention of Mochizuki's paper Unipotent matrix groups over division rings (1978) where he presented a non-commutative version of "Kolchin's Theorem" which solved a famous problem of Kaplansky. Perhaps his most famous work, however, was on automorphism groups. He visited the University of St Andrews in 1981 for the first of the four-yearly International Groups St Andrews meetings. This was when I [EFR] met Horace for the first time. He gave an outstanding lecture at the conference and he wrote (jointly with Seymour Bachmuth) a survey paper for the conference proceedings. Four years later Mochizuki did not attend the Groups St Andrews conference but contributed an important survey paper Automorphisms of solvable groups II. This paper presented a thorough survey of results concentrating on the automorphism groups of free soluble groups. He was an invited speaker for the Groups St Andrews 1989 conference but sadly became ill in March of that year. The paper [1] is a record of the memorial lecture given by Bachmuth at that conference reviewing the outstanding contribution made by Mochizuki. It was a highly emotional occasion with many of us greatly affected by the loss of our friend and colleague.

Seymour Bachmuth, Kenneth Millett, and James Robertson in an obituary, describe the contributions of their colleague at Santa Barbara:-

Horace was one of the most unselfish and valued members of the Mathematics Department at Santa Barbara. He was recently vice chair of the department, an extremely time consuming task, for a four-year period. The junior faculty especially appreciated Horace's advice and encouragement. He was also an excellent teacher who gave very generously of his time to students. Horace loved teaching and doing mathematical research and felt fortunate to be able to do these things.
They also write of his interests outside mathematics:-
Horace was devoted to his garden, which became a vivid expression of his love of beauty. He also enjoyed athletic activities such as mountain hiking and swimming. In Santa Barbara he took up running and enjoyed competing in marathons and other long-distance races.
The obituary ends with this tribute:-
His friends and colleagues cherish Horace for his warmth and humanity. His inner strength formed the basis of his extraordinary personal integrity. He asked total honesty of himself and of his students, his colleagues, and others. He treated others with the same respect and consideration that he desired for himself. The faithfulness of his friendship leaves an enduring legacy in the lives of those who knew him. The loss to all who knew him is indescribable.

Article by: J J O'Connor and E F Robertson

November 2004
MacTutor History of Mathematics