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

Lecture

Relation between Direct Sum and Hom

Description

This lecture explores the isomorphism between Hom(A, B) and Hom(A, B) for any abelian group B, based on the proposition that for a given set X and {Ax | x ∈ X} in Ab, there exists a clear relationship. The proof involves showing the isomorphism between Hom(A, B) and Hom(A, B) through a specific mapping. The lecture also delves into the underlying sets of abelian groups and the importance of demonstrating specific relationships within them, leading to a deeper understanding of the connection between direct sums and Hom functors.

Official source

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra

Related concepts (32)

Forgetful functor

In mathematics, in the area of , a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure.

Abelian group

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

Finitely generated abelian group

In abstract algebra, an abelian group is called finitely generated if there exist finitely many elements in such that every in can be written in the form for some integers . In this case, we say that the set is a generating set of or that generate . Every finite abelian group is finitely generated. The finitely generated abelian groups can be completely classified. The integers, , are a finitely generated abelian group. The integers modulo , , are a finite (hence finitely generated) abelian group.

Direct sum

The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups and is another abelian group consisting of the ordered pairs where and . To add ordered pairs, we define the sum to be ; in other words addition is defined coordinate-wise.

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

Related lectures (35)

Group Cohomology

Covers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.

Functor Hom: Abelian Groups

Explores the Hom functor in Abelian groups, focusing on its construction and properties.

Free Abelian Group: Construction and Properties

Explores the construction and properties of the free abelian group FAb(X) and its categorical extensions.

Algebraic Kunneth Theorem

Covers the Algebraic Kunneth Theorem, explaining chain complexes and cohomology computations.

Classification of Finite Abelian Groups