maths.free › Abstract Algebra › Homomorphisms, normal subgroups and quotient groups

Homomorphisms, normal subgroups and quotient groups

Structure-preserving maps, kernels, and the first isomorphism theorem.

A homomorphism respects the operation; its kernel is a normal subgroup, and G/ker ≅ image. Picture it: reducing an integer mod 5 collapses the number line onto a 5-cycle. Think it: the isomorphism theorems are the group-theoretic form of "quotient by what you ignore".

Àwọn ààtò àwọn ìṣàmúlò-ètò · 12 mod 5

12 mod 5

12,\ 5

Àwọn ìṣàmúlò-ètò

  1. 12 = 2 \times 5 + 2

    Divide 12 by 5: the quotient is 2 and what is left over is the remainder.

  2. 12 \bmod 5 = 2

    The remainder is the answer (always between 0 and m − 1).

Fi àwọn àgbèwọlé hàn
12 \bmod 5 = 2

Nígbà yìí Yan àwọn àkóónú kan, tàbí tẹ̀ àtí kọ́ àwọn àkóónú rẹ̀. Àwọn ìṣàmúlò-ètò gbogbo, àwòrán, àwọn à

Fi iṣẹ́ rẹ̀ pamọ́

A free account adds notes on every lesson, a record of what you have finished, your solved problems in one place, and a tutor you can ask about this page. The maths itself is open to everyone, signed in or not.

Fikún Àwọn Ìṣàmúlò-ètò

Àwọn àmì-ìwé tí a lo níbẹ̀

Tẹ àwọn àmì-ìwé fún ìṣàfarawé fún àwọn ìṣàmúlò-ètò, àwòrán, àti àwọn àmì-ìwé àwọn àmì-ìwé.

Bii o ṣe le: Homomorphisms, normal subgroups and quotient groups

  1. Divide 12 by 5: the quotient is 2 and what is left over is the remainder.
  2. The remainder is the answer (always between 0 and m − 1).

Àwọn Àtòjọ-ẹ̀yàn

What is a group, in plain words?

A set with one operation that is associative, has an identity, and lets every element be undone. Symmetries of any object form a group. That is where the idea came from.

What is the difference between a ring and a field?

A ring has addition and multiplication that behave like the integers (you cannot always divide); a field is a ring where every non-zero element has a reciprocal, like the rationals or the reals.

Diẹ̀ nínú Abstract Algebra