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.

ຕົວຢ່າງ​ທີ່​ໄດ້​ເຮັດ · divisors of 12

Divisors of 12

12

ຂັ້ນ​ຕອນ​ຕໍ່​ຂັ້ນ​ຕອນ

  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.

ເປີດ​ເຜີຍ​ຄຳ​ຕອບ
1, 2, 3, 4, 6, 12

ປັດຈຸບັນ​ທ່ານ ເລືອກ​ບັນຫາ ຫຼື ພິມ ຫຼື ແຕ້ມ​ເອງ. ທຸກ​ບາດກ້າວ, ຮູບ, ຄໍາຕອບ​ຖືກ​ລົບ​ຈົນ​ກວ່າ​ເຈົ້າ​ຈະ​ຖາມ​ມັນ.

ຮັກສາ​ການ​ເຮັດວຽກ​ຂອງ​ທ່ານ​ໄວ້

ບັນຊີຟຣີ ເພີ່ມ​ຂໍ້​ມູນ​ໃສ່​ບົດຮຽນ​ທຸກ​ບົດ, ບັນທຶກ​ຂອງ​ສິ່ງທີ່​ທ່ານ​ໄດ້​ເຮັດ​ແລ້ວ, ບັນຫາ​ທີ່​ທ່ານ​ໄດ້​ແກ້​ໄຂ​ໄວ້​ໃນ​ບ່ອນ​ດຽວ ແລະ ຄູ​ສອນ​ທີ່​ທ່ານ​ສາມາດ​ຖາມ​ກ່ຽວກັບ​ໜ້າ​ນີ້. ຄະນິດສາດ​ເອງ​ແມ່ນ​ເປີດ​ໃຫ້​ທຸກ​ຄົນ, ບໍ່​ວ່າ​ຈະ​ໄດ້​ເຂົ້າ​ສູ່​ລະບົບ ຫຼື ບໍ່.

ລົງທະບຽນ ចូល

ຕົວ​ສະ​ແດງ​ທີ່​ໃຊ້​ຢູ່​ທີ່​ນີ້

ກົດ​ຕົວ​ອັກສອນ​ໃດ​ໜຶ່ງ​ເພື່ອ​ເບິ່ງ​ຄວາມ​ໝາຍ​ເຕັມ, ຮູບ ແລະ ຕົວອັກສອນ​ແຕ່ລະ​ຕົວ​ໃນ​ມັນ​ໝາຍ​ຄວາມ​ວ່າ​ແນວໃດ.

ວິທີການ: 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.

ຄໍາຖາມທີ່ຄົນຖາມ

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.

ເພີ່ມເຕີມໃນ Abstract Algebra