Shimshon Amitsur

Early life and education Amitsur was born Shimshon Kaplan in Jerusalem, in what was then British-ruled Palestine. His family moved to Tel Aviv when he was a few years old, and he attended a commercial school there. The principal of his school, himself a mathematician who had authored mathematics textbooks, recognized the boy's exceptional ability. Since Amitsur's parents could not afford university tuition, the principal established a fund to finance his studies at the Hebrew University of Jerusalem. Amitsur changed his surname from Kaplan to the Hebrew name Amitsur around the time of Israeli independence in 1948. A paper he published in Hebrew in 1949 already bears the name Amitsur, though Levitzki's report on his doctoral thesis (1950) uses both names. He spent nearly his entire career at the Hebrew University of Jerusalem, retiring in 1989 but remaining mathematically active until his death. He was a visiting scholar at the Institute for Advanced Study in Princeton from 1952 to 1954. Amitsur was an Invited Speaker at the International Congress of Mathematicians in 1970 in Nice. He was a member of the Israel Academy of Sciences and Humanities, where he served as Head of the Exact Sciences Section. He was one of the founding editors of the Israel Journal of Mathematics and served as the mathematical editor of the Hebrew Encyclopedia. == Mathematical contributions ==

The editors of Amitsur's collected papers divide his work into four main areas: general ring theory, structure theory of PI-rings, combinatorial PI-theory, and the theory of division algebras. Polynomial identity rings In 1950, Amitsur and Jacob Levitzki proved the Amitsur–Levitzki theorem, which establishes the standard identity of degree 2n as a minimal polynomial identity satisfied by the ring of n×n matrices over a commutative ring. This result became a cornerstone of the theory of PI-rings and quickly gained widespread recognition; it earned both authors the inaugural Israel Prize in Exact Sciences in 1953. Amitsur subsequently proved that every PI-algebra satisfies a power of the standard identity, and he established the primeness of the T-ideal of polynomial identities of matrix algebras. His work on the embedding of PI-rings into matrix rings over commutative rings, and his results on noncommutative algebras in the spirit of Hilbert's Nullstellensatz, extended the structural understanding of PI-rings from algebras over fields to arbitrary rings. The question of whether every division algebra is a crossed product had been a major open problem in algebra for decades. Amitsur's construction used universal (generic) division algebras and resolved the problem in the negative, opening an entirely new direction of research in the theory of division algebras and the Brauer group. Amitsur complex In a 1959 paper, Amitsur introduced a natural cochain complex associated to a ring homomorphism, now known as the Amitsur complex. When the homomorphism is faithfully flat, the Amitsur complex is exact, a fact that provides the algebraic foundation for the theory of faithfully flat descent. The construction has become a standard tool in commutative algebra and algebraic geometry, appearing in the study of descent, étale cohomology, and stacks. == Awards and honours ==

• Israel Prize in Exact Sciences (1953), shared with Jacob Levitzki, in the prize's inaugural year • Honorary Member of the London Mathematical Society (1989) • Honorary doctorate from Ben-Gurion University (1990) == Students ==

Amitsur's doctoral students include several mathematicians who went on to make major contributions of their own: • Avinoam Mann • Amitai Regev • Eliyahu Rips • Aner Shalev == Legacy ==

An annual Amitsur Memorial Symposium has been held at the Hebrew University of Jerusalem since his death. In 2021, on the occasion of his centenary, the American Mathematical Society published a proceedings volume, Amitsur Centennial Symposium, documenting the broad ongoing impact of his work across group theory, algebraic groups, PI-algebras, quadratic forms, division algebras, Hopf algebras, and invariant theory. == See also ==

• • • • • • • • == References ==