Топологический модуль
Топологи́ческий мо́дуль (левый), абелева топологическая группа , являющаяся модулем над топологическим кольцом , при этом требуется, чтобы отображение умножения , переводящее в , было непрерывно. Аналогичным образом определяются правые топологические модули. Любой подмодуль топологического модуля сам является топологическим модулем. Если модуль отделим и замкнут в , то – отделимый модуль. Прямое произведение топологических модулей является топологическим модулем. Пополнение модуля как абелевой топологической группы можно наделить естественной структурой топологического модуля над пополнением кольца .
Топологическим -модулем, где – некоторая топологическая группа, называется топологическая абелева группа , являющаяся -модулем, причём требуется, чтобы отображение умножения было непрерывно.