Различия
Здесь показаны различия между двумя версиями данной страницы.
Предыдущая версия справа и слева Предыдущая версия | |||
glossary:module:free [09.01.2011 03:39:56] Ладилова Анна |
glossary:module:free [13.09.2011 21:12:16] Ладилова Анна |
||
---|---|---|---|
Строка 2: | Строка 2: | ||
<wrap hide>проверено. вообще букву K я здесь вижу впервые. в примере 3 обозначение суммы непривычное</wrap> | <wrap hide>проверено. вообще букву K я здесь вижу впервые. в примере 3 обозначение суммы непривычное</wrap> | ||
===== Определение ===== | ===== Определение ===== | ||
- | Пусть <latex> M </latex> --- [[:glossary:module:left|(левый) модуль]] над [[:glossary:ring|ассоциативным кольцом]] <latex> R </latex> и <latex> S </latex> --- [[:glossary:set|подмножество]] в <latex> M </latex>. | + | Пусть <latex> M </latex> --- [[:glossary:module#левый_модуль|(левый) модуль]] над [[:glossary:ring|ассоциативным кольцом]] <latex> R </latex> и <latex> S </latex> --- [[:glossary:set|подмножество]] в <latex> M </latex>. |
__Определение 1.__ Модуль <latex> M </latex> называется **конечно порожденным**((finitely spanned module)), или **модулем конечного типа**, если он имеет конечное число [[:glossary:dependent:linear|образующих]]. | __Определение 1.__ Модуль <latex> M </latex> называется **конечно порожденным**((finitely spanned module)), или **модулем конечного типа**, если он имеет конечное число [[:glossary:dependent:linear|образующих]]. |