Mitchell's embedding theorem states every abelian category arises as a full subcategory of the category of modules.
Согласно теореме Фрейда - Митчелла о вложении, любая абелева категория эквивалентна полной подкатегории категории модулей.
In this paper Sergei Sobolev proved his embedding theorem, introducing and using integral operators very similar to mollifiers, without naming them.
Статья, в которой Сергей Соболев даёт доказательство своей теоремы о вложении, вводит и использует интегральные операторы, которые очень похожи на сглаживающие операторы, но не называет их.
Previously, Sergei Sobolev used mollifiers in his epoch making 1938 paper, which contains the proof of the Sobolev embedding theorem: Friedrichs himself acknowledged Sobolev's work on mollifiers stating that:-"These mollifiers were introduced by Sobolev and the author...".
До этой статьи сглаживающие операторы использовал Сергей Львович Соболев в своей эпохальной статье 1938 года, которая содержит доказательство теоремы о вложении Соболева, и Фридрихс сам признал работу Соболева по сглаживающим операторам, написав: «Эти сглаживающие операторы были введены Соболевым и автором...».
Among the audience at his talk at Princeton were John Ball, Andrew Wiles, John Forbes Nash, Jr., who had proved the Riemannian embedding theorem, and John Conway, the inventor of the cellular automaton game Life.
На лекции в Принстоне присутствовали Джон Болл, Эндрю Уайлс, Джон Форбс Нэш-младший (John Forbes Nash, Jr.), доказавший теорему вложения Римана и Джон Конвей, изобретший клеточный автомат-игру "Жизнь".