Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Dihedral Group: Symmetries and Cosets

In course

MATH-310: Algebra

This is an introduction to modern algebra: groups, rings and fields. ...

Description

This lecture covers the definition and presentation of the dihedral group, focusing on the symmetries of a regular n-gon. It explains the concept of normal subgroups and cosets, emphasizing Lagrange's theorem. The presentation includes the generators and relations of the dihedral group, as well as the properties of reflections and rotations. The lecture also discusses the number of elements in a dihedral group and the structure of left cosets relative to a given subgroup.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Instructor

Anna Lachowska

Official source

Ontological neighbourhood

Mathematics

Algebra: Representation theory

Related concepts (32)

Dihedral group

In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections. Dihedral groups are among the simplest examples of finite groups, and they play an important role in group theory, geometry, and chemistry. The notation for the dihedral group differs in geometry and abstract algebra. In geometry, D_n or Dih_n refers to the symmetries of the n-gon, a group of order 2n. In abstract algebra, D_2n refers to this same dihedral group.

Normal subgroup

In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup of the group is normal in if and only if for all and The usual notation for this relation is Normal subgroups are important because they (and only they) can be used to construct quotient groups of the given group.

Subgroup

In group theory, a branch of mathematics, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗. More precisely, H is a subgroup of G if the restriction of ∗ to H × H is a group operation on H. This is often denoted H ≤ G, read as "H is a subgroup of G". The trivial subgroup of any group is the subgroup {e} consisting of just the identity element. A proper subgroup of a group G is a subgroup H which is a proper subset of G (that is, H ≠ G).

Dihedral group of order 6

In mathematics, D3 (sometimes alternatively denoted by D6) is the dihedral group of degree 3 and order 6. It equals the symmetric group S3. It is also the smallest non-abelian group. This page illustrates many group concepts using this group as example. The dihedral group D3 is the symmetry group of an equilateral triangle, that is, it is the set of all transformations such as reflection, rotation, and combinations of these, that leave the shape and position of this triangle fixed.

Coset

In mathematics, specifically group theory, a subgroup H of a group G may be used to decompose the underlying set of G into disjoint, equal-size subsets called cosets. There are left cosets and right cosets. Cosets (both left and right) have the same number of elements (cardinality) as does H. Furthermore, H itself is both a left coset and a right coset. The number of left cosets of H in G is equal to the number of right cosets of H in G. This common value is called the index of H in G and is usually denoted by [G : H].

Related lectures (38)

Untitled

Group Homomorphisms

Explores group homomorphisms, constructing isomorphisms between groups using generators and relations.

Fundamental Groups

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.

Symmetries of Navier-Stokes Equations

Explores the symmetries of Navier-Stokes equations in periodic boxes, including translations, transformations, rotations, and scaling.

Local structure of totally disconnected locally compact groups I