Вполне́ приводи́мый мо́дуль, модуль $A$ над ассоциативным кольцом $R$, представимый в виде суммы своих неприводимых $R$-подмодулей. Эквивалентные определения: $A$ является суммой минимальных подмодулей; $A$ изоморфен прямой сумме неприводимых модулей; $A$ совпадает со своим цоколем. Подмодуль и фактормодуль вполне приводимого модуля также вполне приводимы. Решётка подмодулей модуля $M$ является решёткой с дополнениями тогда и только тогда, когда модуль $M$ вполне приводим.

Если всякий правый $R$-модуль вполне приводим, то и всякий левый $R$-модуль вполне приводим, и обратно; в этом случае $R$ называется вполне приводимым кольцом, или классически полупростым кольцом. Для того чтобы кольцо $R$ было вполне приводимо, достаточно, чтобы оно, рассматриваемое как левый (правый) модуль над собой, было вполне приводимо.