От школьной арифметики до теории групп за один вопрос от пятиклассника

Для того чтобы разнести мозг пятикласснику в ответ на его безобидный вопрос о том, почему мы пишем 5x=20, а не x5=20, можно увести рассуждение в тему о классах смежности. Причём их, как и всего главного в этой жизни, два: левый и правый.

Для элемента 𝑔∈𝐺, левый смежный класс по подгруппе 𝐻 — это множество 𝑔𝐻={𝑔ℎ∣ℎ∈𝐻}, а правый смежный класс по подгруппе 𝐻 — множество 𝐻𝑔={ℎ𝑔∣ℎ∈𝐻}. Ну ещё есть двойной смежный класс по подгруппам 𝐻,𝐾 — множество 𝐻𝑔𝐾={ℎ𝑔*𝑘∣ℎ∈𝐻,𝑘∈𝐾}. Здесь вот эта звёздочка * — это всё ещё какая-то бинарная операция нашей группы G. Математики — ленивые жопы, поэтому часто пишут вообще без звёздочек, типа 𝐻𝑔𝐾={ℎ𝑔𝑘∣ℎ∈𝐻,𝑘∈𝐾}. По-английски такой стиль записи (и сама операция) называется juxtaposition, но в русской речи я не знаю как принято (аналог стопудово есть, просто я почти не читал на русском про алгебру, сорри вот такой я невежда)

При этом если 𝑔𝐻 = 𝐻𝑔 (да, я тоже ленивая жопа), то эта подгруппа 𝐻 называется нормальной. Мы обычно оперируем с нормальными числами в пятом классе, поэтому для нас и этого пятиклассника числа — это нормальная подгруппа, и если очень хочется, можно писать, конечно, x5 = 20, но надо быть готовым отхватить леща за эстетику. В прочем, в современном мире всегда надо быть готовым к неожиданностям особенно в области эстетики, так что вы так ему только помогаете.

Ну и тут да, ловите его, пока тёпленький, что говорится — если пятиклассник уже поплыл, но ещё не убежал, как раз самое время напомнить, что такое группа, рисовать те самые треугольники и поработать проводником в мир абстрактной алгебры. Очень увлекательно, рекомендую, если уверены в своих силах. Не стоит недооценивать силу детского почемучканья. Сегодня он спрашивает про 5x=20, а завтра уже доказывает теоремы в абстрактной алгебре. Главное, не забудьте взять с собой карту групп — в стране смежных классов легко заблудиться. Но сюжет точно увлекательнее, чем в "Хрониках Нарнии".