![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicРазвитие постинга http://posic.livejournal.com/938974.html
Есть две формулы, одна из которых использует, условно говоря, контравариантную двойственность, а вторая -- ковариантную.
Во-первых, для конечных абелевых групп A и B котензорное произведение A□B можно определить как группу Hom(Hom(A,Q/Z)⊗Hom(B,Q/Z), Q/Z), где ⊗ обозначает тензорное произведение Z-модулей. После этого котензорное произведение произвольных абелевых групп кручения A и B определяется исходя из условия, что функтор этот должен коммутировать с направленными индуктивными пределами. Если A -- конечная абелева группа, а B -- произвольная абелева группа кручения, то A□B = Hom(Hom(A,Q/Z), B).
Во-вторых, для делимых абелевых групп кручения A и B котензорное произведение A□B можно определить как группу Q/Z ⊗ Hom(Q/Z,A) ⊗ Hom(Q/Z,B), где тензорное произведение берется над ∏p Zp. После этого котензорное произведение произвольных абелевых групп кручения A и B определяется исходя из условия, что функтор этот должен быть точным слева. Если A -- делимая, а B -- произвольная абелева группа кручения, то A□B = Hom(Q/Z,A) ⊗ B.
Первый абзац обобщается на случай, когда на месте ∏p Zp стоит произвольное про-артиново топологическое коммутативное кольцо, на месте абелевых групп кручения -- дискретные модули, а на месте Q/Z -- произвольно выбранная инъективная оболочка прямой суммы всех неприводимых дискретных модулей.
Второй абзац имеет смысл в случае, когда на месте ∏p Zp стоит нетерово коммутативное кольцо, на месте делимых абелевых групп кручения -- инъективные модули, а на месте Q/Z -- дуализирующий комплекс. Дальше, hopefully, это можно обобщить на случай про-нетерова топологического коммутативного кольца и дискретных модулей. (Впрочем, наверное, и первому абзацу можно придать смысл для нетерового кольца и дуализирующего комплекса...)
Есть две формулы, одна из которых использует, условно говоря, контравариантную двойственность, а вторая -- ковариантную.
Во-первых, для конечных абелевых групп A и B котензорное произведение A□B можно определить как группу Hom(Hom(A,Q/Z)⊗Hom(B,Q/Z), Q/Z), где ⊗ обозначает тензорное произведение Z-модулей. После этого котензорное произведение произвольных абелевых групп кручения A и B определяется исходя из условия, что функтор этот должен коммутировать с направленными индуктивными пределами. Если A -- конечная абелева группа, а B -- произвольная абелева группа кручения, то A□B = Hom(Hom(A,Q/Z), B).
Во-вторых, для делимых абелевых групп кручения A и B котензорное произведение A□B можно определить как группу Q/Z ⊗ Hom(Q/Z,A) ⊗ Hom(Q/Z,B), где тензорное произведение берется над ∏p Zp. После этого котензорное произведение произвольных абелевых групп кручения A и B определяется исходя из условия, что функтор этот должен быть точным слева. Если A -- делимая, а B -- произвольная абелева группа кручения, то A□B = Hom(Q/Z,A) ⊗ B.
Первый абзац обобщается на случай, когда на месте ∏p Zp стоит произвольное про-артиново топологическое коммутативное кольцо, на месте абелевых групп кручения -- дискретные модули, а на месте Q/Z -- произвольно выбранная инъективная оболочка прямой суммы всех неприводимых дискретных модулей.
Второй абзац имеет смысл в случае, когда на месте ∏p Zp стоит нетерово коммутативное кольцо, на месте делимых абелевых групп кручения -- инъективные модули, а на месте Q/Z -- дуализирующий комплекс. Дальше, hopefully, это можно обобщить на случай про-нетерова топологического коммутативного кольца и дискретных модулей. (Впрочем, наверное, и первому абзацу можно придать смысл для нетерового кольца и дуализирующего комплекса...)
no subject
Date: 2013-04-27 05:36 pm (UTC)no subject
Date: 2013-04-27 07:27 pm (UTC)Позже я обнаружил, что люди на самом деле уже привыкли к квадратику для котензорного произведения, и что новые значки мне нужны для новых операций, которые будут впервые определяться в моих текстах. Тогда котензорное произведение стало обозначаться квадратиком, полутензорное -- ромбиком, контратензорное (над кокольцом) -- кружочком с точкой посередине, и (полу)контратензорное (над полуалгеброй) -- кружочком с маленьким кружочком внутри.
no subject
Date: 2013-04-28 12:15 pm (UTC)