Горенште́йн Дэ́ниэл, Горенстейн Дэниэл (Daniel Gorenstein) (1.1.1923, Бостон – 26.8.1992, Чилмарк, штат Массачусетс), американский математик, специалист в области общей алгебры и алгебраической геометрии.

Родился и вырос в Бостоне. С раннего детства увлекался математикой. После окончания Бостонской латинской школы поступил в Гарвардский университет, где под руководством С. Маклейна начал исследование конечных групп, в дальнейшем ставшее основным делом его жизни. В 1943 г. окончил Гарвардский университет и остался там работать преподавателем. После второй мировой войны занялся исследованиями в области алгебраической геометрии под руководством О. Зариского. Результаты этих исследований были отражены в его диссертации «Арифметическая теория сопряжённых плоских кривых» («An arithmetic theory of adjoint plane curves»), в которой он ввёл кольца, называемые ныне его именем. В 1950 г. получил докторскую степень. В 1951–1964 гг. работал в Университете Кларка, затем в Северо-Восточном университете. В 1957 г. вернулся к исследованию конечных групп. В 1960–1961 гг. работал в Чикагском университете, где познакомился с У. Фейтом и Дж. Томпсоном, доказавшими теорему о разрешимости групп нечётного порядка, которая в значительной степени стимулировала его интерес к теории конечных групп. В 1969 г. получил должность профессора в Ратгерском университете (штат Нью-Джерси), где оставался до конца жизни. В 1972–1973 гг. за научные достижения получил стипендию Гуггенхайма и грант Фулбрайта. С 1975 по 1981 гг. возглавлял математический факультет Ратгерского университета. В 1987 г. был избран членом Национальной академии наук и Американской академии искусств и наук. В 1989 г. получил премию Стила Американского математического общества. С 1989 г. возглавлял Национальный научный фонд Центра научных исследований по дискретной математике и теоретической информатике, который являлся совместным проектом Ратгерского и Принстонского университетов при участии организаций AT&T Bell Laboratories и Bell Communications Research.

Проблемой классификации конечных простых групп занимались многие математики, однако именно Горенштейну удалось довести её решение до успешного завершения. Эти результаты были опубликованы в его трудах «Конечные группы» («Finite groups», 1968); «Конечные простые группы: введение в их классификацию» («Finite simple groups: an introduction to their classification», 1982); «Локальная структура конечных групп типа характеристики 2» («The local structure of finite groups of characteristic 2 type», 1983) (написан совместно с Р. Лайонсом) и «Классификация конечных простых групп» («The Classification of the Finite Simple Groups») (опубликован посмертно; совместно с Р. Лайонсом и Р. Соломоном) (1994–2018).