Lecture

Universal Property of G*H

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In course

MATH-225: Topology II - fundamental groups

On étudie des notions de topologie générale: unions et quotients d'espaces topologiques; on approfondit les notions de revêtements et de groupe fondamental,et d'attachements de cellules et on démontre le Théorème de Seifert-van Kampen. Des exemples de surf ...

Description

This lecture covers the universal property of the product of two groups, showing how homomorphisms pass through the quotient. The proof involves defining a homomorphism that ensures the existence and uniqueness of the property. Examples are provided to illustrate the concept.

Instructors (2)

Jérôme Scherer

Teaching & PhD PhD Students Virgile Simon Constantin Past EPFL PhD Students Samuel Lavenir Past EPFL PhD Students as codirector Kay Remo Werndli, Lyne Moser Courses Topology IV.a - Cohomology rings MATH-506 Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative algebra. We study an algebraic version, namely group cohomology, and compare both approa

Dimitri Stelio Wyss

I did my PhD under the supervision of Tamas Hausel at EPFL and the Institue of Science and Technology Austria . From 2017-2019 I was a postdoctoral researcher at the Sorbonne University Paris 6 with François Loeser. Since September 2019 I hold the chair of arithmetic geometry at EPFL as a tenure track assistant professor. For more information see my CV.I work in algebraic and arithmetic geometry. My research uses ideas from p-adic and motivic integration to study the interplay between geometric and arithmet

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra

Related concepts (32)

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".

Mathematical proof

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".

Free product

In mathematics, specifically group theory, the free product is an operation that takes two groups G and H and constructs a new group G ∗ H. The result contains both G and H as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from G and H into a group K factor uniquely through a homomorphism from G ∗ H to K. Unless one of the groups G and H is trivial, the free product is always infinite.

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.

Proof theory

Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.

Related lectures (64)

Induced Homomorphisms on Relative Homology Groups

Covers induced homomorphisms on relative homology groups and their properties.

Group Homomorphisms

Explores group homomorphisms, Euler's phi function, and group products.

Fundamental Groups

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

Zig Zag Lemma

Covers the Zig Zag Lemma and the long exact sequence of relative homology.

Isomorphism Theorems: Third Isomorphism Theorem