Пусть есть некоторое множество Х и некоторая группа (в аддитивной записи) G. Множество всех отображений f:X→G, как обычно будем обозначать GX. Обозначение f|B означает сужение отображения f на множество В. Предполагается, что сужения всех f∈GX на подмножества Х так же принадлежат GX.
Отображение Φ:GX→G, ставящее в соответствие каждому f:X→G некий
(
Read more... )