Изоморфи́зм в математике, одно из основных понятий математики, описывающее схожесть систем объектов с заданными в них операциями или отношениями. Примером двух изоморфных систем является система $\mathbb{R}$ всех действительных чисел с операцией сложения и система $\mathbb{R}_+$ положительных действительных чисел с операцией умножения. Внутреннее строение этих двух систем чисел одинаково в следующем смысле. Отобразим систему $\mathbb{R}$ в систему $\mathbb{R}_+$, поставив в соответствие числу $x$ из $\mathbb{R}$ число $y = a^x$, $a>1$, из $\mathbb{R}_+$. Тогда сумме $x = x_1+x_ 2$ будет соответствовать произведение $y = y_1y_2$ чисел $y_1=a^{x1}$ и $y_2 =a^{x2}$. Обратное отображение $\mathbb{R}_+$ на $\mathbb{R}$ имеет при этом вид $x =\log_ay$. Любому предложению, относящемуся к сложению чисел системы $\mathbb{R}$, соответствует предложение, относящееся к умножению чисел из системы $\mathbb{R}_+$. Например, в $\mathbb{R}$ сумма $s_n = x_1 + x_2+ \ldots+ x_n$ членов арифметической прогрессии выражается формулой $s_n = (n(x_1+x_n))/2$. Для произведения $p_n = y_1y_2\ldots y_n$ членов геометрической прогрессии в $\mathbb{R}_+$ этой формуле соответствует формула $p_n=\sqrt{(y_1y_n)^n}$ (умножению на $n$ в системе $\mathbb{R}$ соответствует возведение в $n$-ю степень в системе $\mathbb{R}_+$, а делению на два – извлечение квадратного корня).

Изучение свойств одной из изоморфных систем в значительной мере (с абстрактно-математической точки зрения – полностью) можно свести к изучению свойств другой. Любую систему объектов $S'$, изоморфную системе $S$, можно рассматривать как модель системы $S$ и сводить изучение свойств системы $S$ к изучению свойств модели $S'$.

Общее определение изоморфизма систем объектов с заданными в них отношениями таково. Пусть даны две системы объектов $S$ и $S'$, причём в первой определены отношения $F_k(x_1,x_2,\ldots)$, $k=1,2,\ldots,n$, а во второй – отношения $F'_k(x'_1,x'_2,\ldots)$, $k=1,2,\ldots,n$, причём для каждого $k$ число объектов в отношениях $F_k$ и $F'_k$ одинаково (оно может зависеть от $k$). Системы $S$ и $S'$ с указанными на них отношениями называются изоморфными (в этом случае пишут $S\cong S'$), если существует такое взаимно однозначное соответствие $x'=φ(x),\, x=ψ(x')$ (в первом равенстве $x$ – произвольный элемент системы $S$, а во втором $x'$ – произвольный элемент системы $S'$), что из отношения $F_k(x_1,x_2,\ldots)$ вытекает отношение $F'_k(x'_1,x'_2,\ldots)$ и наоборот. Отображение $φ$ называется изоморфным отображением или изоморфизмом системы $S$ в $S'$, а обратное ему отображение $ψ$ – изоморфным отображением или изоморфизмом системы $S'$ в $S$.

В приведённом выше примере в системе $\mathbb{R}$ определено отношение $F(x,x_1,x_2)$, где $x=x_1+x_2$, а в системе $\mathbb{R}_+$ – отношение $F'(y,y_1,y_2)$, где $y=y_1y_2$; взаимно однозначное соответствие устанавливается формулами $y=a^x$, $x=\log_ay$.

Понятие изоморфизма возникло в алгебре, точнее в теории групп, где впервые был понят тот факт, что изучение внутренней структуры двух изоморфных систем объектов представляет собой одну и ту же задачу. Это свойство отметил Р. Декарт (1637), он предвидел возможность отождествлять изоморфные отношения или операции (называл их подобными). Современная терминология утвердилась после работ Э. Нётер (1918). Понятие изоморфизма находит применение во многих разделах математики.

Аксиомы любой математической теории определяют систему объектов, изучаемую этой теорией, всегда только с точностью до изоморфизма: аксиоматически построенная математическая теория, применимая к какой-либо одной системе объектов, всегда полностью применима к другой, изоморфной ей. Поэтому каждая аксиоматическая математическая теория допускает не одну, а много интерпретаций, или моделей.

Понятие изоморфизма включает в себя как частный случай понятие гомеоморфизма. Частным случаем изоморфизма является автоморфизм – взаимно однозначное отображение $x'=φ(x)$, $x=ψ(x')$ системы объектов с заданными отношениями $F_k(x_1,x_2,\ldots)$ на самоё себя, при котором из $F_k(x_1,x_2,\ldots)$ вытекает$F'_k(x'_1,x'_2,\ldots)$, $k=1,2,\ldots,n$, и наоборот. Это понятие также возникло в теории групп, но потом оказалось существенным в различных разделах математики.