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

Lecture

Push-out and Quotients

Description

This lecture explores the concept of push-out and quotients in group theory from a categorical perspective, focusing on homomorphisms, normal subgroups, and the unique homomorphisms between groups. The instructor presents Proposition 2.5, which establishes the push-out of a group homomorphism. Various proofs are provided to demonstrate the properties of push-outs and their relation to normal subgroups. The lecture concludes with a discussion on the categorical study of quotients and previews the upcoming exploration of isomorphism theorems.

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra

Related concepts (21)

Homomorphism

In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός () meaning "same" and μορφή () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).

Group homomorphism

In mathematics, given two groups, (G, ∗) and (H, ·), a group homomorphism from (G, ∗) to (H, ·) is a function h : G → H such that for all u and v in G it holds that where the group operation on the left side of the equation is that of G and on the right side that of H. From this property, one can deduce that h maps the identity element eG of G to the identity element eH of H, and it also maps inverses to inverses in the sense that Hence one can say that h "is compatible with the group structure".

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.

Module homomorphism

In algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring R, then a function is called an R-module homomorphism or an R-linear map if for any x, y in M and r in R, In other words, f is a group homomorphism (for the underlying additive groups) that commutes with scalar multiplication. If M, N are right R-modules, then the second condition is replaced with The of the zero element under f is called the kernel of f.

Group theory

In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as groups endowed with additional operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right.

Related lectures (35)

Group Theory Basics: Subgroups and Homomorphisms

Introduces subgroups and homomorphisms in group theory, with examples for illustration.

Pushouts in Group Theory: Universal Properties Explained

Covers the construction and universal properties of pushouts in group theory.

Isomorphism Theorems: Third Isomorphism Theorem

Explores the third isomorphism theorem in group theory, focusing on quotient groups and a categorical perspective.

Fundamental Groups

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

Group Homomorphisms