Concept

Fundamental theorem on homomorphisms

Summary
In abstract algebra, the fundamental theorem on homomorphisms, also known as the fundamental homomorphism theorem, or the first isomorphism theorem, relates the structure of two objects between which a homomorphism is given, and of the kernel and of the homomorphism. The homomorphism theorem is used to prove the isomorphism theorems. Given two groups G and H and a group homomorphism f : G → H, let N be a normal subgroup in G and φ the natural surjective homomorphism G → G/N (where G/N is the quotient group of G by N). If N is a subset of ker(f) then there exists a unique homomorphism h: G/N → H such that f = h∘φ. In other words, the natural projection φ is universal among homomorphisms on G that map N to the identity element. The situation is described by the following commutative diagram: h is injective if and only if N = ker(f). Therefore, by setting N = ker(f) we immediately get the first isomorphism theorem. We can write the statement of the fundamental theorem on homomorphisms of groups as "every homomorphic image of a group is isomorphic to a quotient group". The proof follows from two basic facts about homomorphisms, namely their preservation of the group operation, and their mapping of the identity element to the identity element. We need to show that if is a homomorphism of groups, then: is a subgroup of . is isomorphic to . The operation that is preserved by is the group operation. If , then there exist elements such that and . For these and , we have (since preserves the group operation), and thus, the closure property is satisfied in . The identity element is also in because maps the identity element of to it. Since every element in has an inverse such that (because preserves the inverse property as well), we have an inverse for each element in , therefore, is a subgroup of . Construct a map by . This map is well-defined, as if , then and so which gives . This map is an isomorphism. is surjective onto by definition. To show injectiveness, if , then , which implies so . Finally, hence preserves the group operation.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (14)
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
MATH-215: Rings and fields
C'est un cours introductoire dans la théorie d'anneau et de corps.
MATH-310: Algebra
This is an introduction to modern algebra: groups, rings and fields.
Show more
Related lectures (102)
Group Theory - Part 2
Explores Cayley tables, group operations, homomorphisms, Lie groups, and differentiable groups.
Seifert van Kampen: the point
Focuses on the Seifert van Kampen theorem, demonstrating an isomorphism between fundamental groups using a three-dimensional diagram.
Isometries and Group Homomorphisms
Explores isometries, group homomorphisms, linear transformations, and group generation by similarities.
Show more
Related publications (26)

Relative plus constructions

Jérôme Scherer

Let h be a connective homology theory. We construct a functorial relative plus construction as a Bousfield localization functor in the category of maps of spaces. It allows us to associate to a pair (X,H), consisting of a connected space X and an hperfect ...
2023

Moments of the number of points in a bounded set for number field lattices

Maryna Viazovska, Nihar Prakash Gargava, Vlad Serban

We examine the moments of the number of lattice points in a fixed ball of volume VV for lattices in Euclidean space which are modules over the ring of integers of a number field KK. In particular, denoting by ωKω_K the number of roots of unity in KK, we ...
arXiv2023

A decomposition of multicorrelation sequences for commuting transformations along primes

Florian Karl Richter

A decomposition of multicorrelation sequences for commuting transformations along primes, Discrete Analysis 2021:4, 27 pp. Szemerédi's theorem asserts that for every positive integer kk and every δ>0\delta>0 there exists nn such that every subset of ${1, ...
2021
Show more
Related concepts (7)
Ring (mathematics)
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.
Kernel (algebra)
In algebra, the kernel of a homomorphism (function that preserves the structure) is generally the of 0 (except for groups whose operation is denoted multiplicatively, where the kernel is the inverse image of 1). An important special case is the kernel of a linear map. The kernel of a matrix, also called the null space, is the kernel of the linear map defined by the matrix. The kernel of a homomorphism is reduced to 0 (or 1) if and only if the homomorphism is injective, that is if the inverse image of every element consists of a single element.
Group isomorphism
In abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.
Show more