Лемма Накаямы

Лемма Накаямы — важная техническая лемма в коммутативной алгебре и алгебраической геометрии, следствие правила Крамера. Названа именем Тадаси Накаямы.

Пусть R — коммутативное кольцо с единицей 1, I — идеал в R, а M — конечнопорождённый модуль над кольцом R. Если IM = M, тогда существует a ∈ I такой, что для всякого m ∈ M am = m.

Доказательство леммы. Пусть $m_{1},m_{2},...,m_{n}$ — образующие модуля M. Так как M = IM, каждый из них представим в виде

Так как $\operatorname {det} (\delta _{ij}-a_{ij})$ представим в виде 1 − a, a из I, лемма доказана.

Следствие 1: Если в условиях леммы идеал I обладает свойством, что для каждого его элемента a элемент 1 − a обратим (например, это так, если I содержится в радикале Джекобсона), необходимо должно быть M = 0.

Доказательство. Существует элемент a идеала I, такой что aM = M, следовательно, (1 − a)M = 0, домножая слева на элемент, обратный к 1 − a, получаем, что M = 0.