Лока́льное сво́йство в коммутати́вной а́лгебре, свойство $P$ коммутативного кольца $A$ или $A$-модуля $M$, которое верно для кольца $A$ (модуля $M$) тогда и только тогда, когда аналогичное свойство выполняется для локализаций кольца $A$ (модуля $M$) относительно всех простых идеалов кольца $A$, т. е. свойство, которое выполняется глобально тогда и только тогда, когда оно выполняется всюду локально. Часто вместо множества всех простых идеалов можно ограничиться рассмотрением всех максимальных идеалов кольца $A$. Эта терминология становится понятной, если сопоставить кольцу $A$ топологическое пространство $\operatorname{Spec} A$ (спектр кольца $A$), состоящее из всех простых идеалов $A$. Тогда утверждение «$P$ верно для $A$» эквивалентно утверждению «$P$ выполняется на всём пространстве $\operatorname{Spec}A$», а утверждение «$P$ верно для всех $A_\mathfrak{p}$» эквивалентно утверждению «каждая точка $\mathfrak{p}$ пространства $\operatorname{Spec}A$ обладает окрестностью, в которой выполняется $P$».

Примеры локальных свойств. Область целостности $A$ целозамкнута в своём поле частных тогда и только тогда, когда целозамкнуты локализации $A_{\mathfrak{p}}$ для всех максимальных идеалов кольца $A$. Гомоморфизм 
$A$-модулей $f: M \rightarrow N$ является изоморфизмом (мономорфизмом, эпиморфизмом, нулевым) тогда и только тогда, когда отображение локализованных модулей $f_{\mathfrak{p}}: M_{\mathfrak{p}} \rightarrow N_{\mathfrak{p}}$ является таковым для всех максимальных идеалов кольца $A$.

Напротив, свойство $A$-модуля $M$ быть свободным не является локальным.