Математикада Р ҳалқаси устидаги чап (мос равишда ўнг) модули М қўш модули нуқта ўнг (мос равишда чап) модул тузилиши билан М дан Р гача бўлган модул гомоморфизмлари тўпламидир[1][2]. Иккиламчи модул одатда М ∗ ёки ҲомР(М, Р) билан белгиланади.

Агар таянч ҳалқа Р майдон бўлса, у ҳолда дуал модул дуал вектор фазоси бўлади .

Ҳар бир модул ўзининг дуалининг дуалига (дуал дуал деб аталади) каноник омоморфизмга эга. Рефлексив модул, каноник ҳомоморфизм изоморфизм бўлган модулдир. Бурилишсиз модул каноник ҳомоморфизм инъэкцион бўлган модул бўлади.

Мисол : Агар Г=Спеc⁡(А){\дисплайстйле Г = \операторнаме{Спеc}(А)} — коммутатив ҳалқа к устидаги Ҳопф алгебраси А билан ифодаланган чекли коммутатив гуруҳ схемаси, кейин эса Cартиэр дуал ГД{\дисплайстйле Г^Д}билан ифодаланади. А нинг дуал к -модулининг Спеc ҳисобланади.

Манбалар

  1. ↑ Ниcолас Боурбаки. Алгебра И. Спрингер, 1974. ИСБН 9783540193739. 
  2. ↑ Серге Ланг. Алгебра. Спрингер, 2002. ИСБН 978-0387953854.