Я не сразу ответил, потому что писал ответ.
Куратовского-Мостовского я пока оставил, хотел получить представление об идеале на конкретных примерах (или хоть на одном).
Цитата:
Простейшим примером идеала может служить подкольцо чётных чисел в кольце целых чисел. (Википедия
Вообще же любое подкольцо кольца целых чисел, все элементы которого кратны некоторому целому числу, является идеалом --главным, потому что порождается одним элементом -- минимальным по модулю элементом подкольца.
Или, может быть, вообще любое подкольцо кольца целых чисел это идеал (и главный)?
Но я не собираюсь очень углубляться в тему идеала, чтобы не слишком отклоняться от курса, например, в не главные идеалы или в то, что бывают идеалы
Цитата:
полугрупп, алгебр и некоторых других алгебраических структур
Сейчас также -- для ликбеза -- получаю представление о действии группы на множество.
Цитата:
Пусть

конечная группа, а

конечное множество. Действием группы

на множестве

называется произвольный гомоморфизм:

. При этом действие элемента группы

на элемент множества

определяется как

Т.е.

определяет перестановку

, и для

верно

(ссылку боюсь давать, так как она такая, что из-за нее можно угодить в карантин)
Здесь

это элемент, в который идет

?