maths.free › Abstract Algebra › Subgroups, cosets and Lagrange's theorem

Subgroups, cosets and Lagrange's theorem

Why the order of a subgroup divides the order of the group.

Cosets of a subgroup H tile the group in equal-sized pieces, so |H| divides |G|. Picture it: the integers mod 12 as a clock; the subgroup {0, 4, 8} and its three cosets colour the clock in three colours. Think it: Lagrange is the reason element orders divide group orders, hence the reason RSA works.

Kugwira ntchito chitsanzo · divisors of 12

Divisors of 12

12

Gawo ndi Gawo

  1. 12 = 2^{2} \times 3

    Prime-factorise first.

  2. d(n) = (2+1) \cdot (1+1) = 6

    Each divisor picks an exponent from 0 up to the prime's exponent, so multiply (exponent + 1) for each prime.

  3. 1, 2, 3, 4, 6, 12

    List them in increasing order.

Kusonyeza yankho
1, 2, 3, 4, 6, 12

Tsopano inu Sankhani vuto, kapena kulemba kapena kujambula wanu. Pakalipano, yankho limeneli lidzapezeka patsamba lino.

Kusunga ntchito yanu yokha

M’malo mwake, maakaunti aulere amawonjezera malemba pazophunzira zonse, mnda wa zomwe mwamaliza, mavuto anu omaliza m’malo limodzi, ndi m’bale amene mungafunse za nkhaniyo. Maphunziro a matekinoloje ndi otsegulira kwa aliyense, olembetsa kapena osalembetsa.

Kulembetsa Kulowa

Zithunzi

Pitani pa dzina lililonse lachifaniziro kuti mudziwe tanthauzo lake, chithunzi chake, ndi zimene limatanthauza.

Momwe mungagwiritsire ntchito: Subgroups, cosets and Lagrange's theorem

  1. Prime-factorise first.
  2. Each divisor picks an exponent from 0 up to the prime's exponent, so multiply (exponent + 1) for each prime.
  3. List them in increasing order.

Mafunso omwe anthu amafunsa

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.

Zambiri pa Abstract Algebra