Summary
Highlights
The video introduces the sixth part of the course on algebraic structures, focusing on the properties of group homomorphisms. It revisits previous parts and sets the stage for understanding how homomorphisms interact with group properties.
The video discusses key propositions related to group homomorphisms. It states that if a function 'f' is a homomorphism from a group (G, *) to another set (F, T), then the image of G under f, denoted as f(G) equipped with operation T, is also a group. Furthermore, if (G, *) is a commutative group, then (f(G), T) is also commutative. The proof relies on properties previously covered in part 4 of the course concerning stable parts and the associativity of operations, identity element, and inverse elements.
A crucial remark is made: if 'f' is a surjective homomorphism from (G, *) to (F, T), then if (G, *) is a group, (F, T) is also a group. This highlights how homomorphisms can 'transfer' the group structure from one set to another. This concept is particularly important for national exams, where demonstrating that a set forms a group or is commutative can be simplified by proving a relevant homomorphism and its surjectivity.
The video defines an isomorphism as a bijective homomorphism. If 'f' is an isomorphism, then the groups (G, *) and (F, T) are said to have the same structure. This means if (G, *) is a group (or a commutative group), then (F, T) will also be a group (or a commutative group), and vice-versa. This property is crucial for simplifying group structure proofs.
Several examples are provided to illustrate homomorphisms and isomorphisms. These include the natural logarithm function from (R+, *) to (R, +), the exponential function from (R, +) to (R+, *), complex conjugation for multiplication, and complex conjugation for addition. The video demonstrates how to verify if these functions are indeed homomorphisms and bijections, thus classifying them as isomorphisms or automorphisms.
The first application exercise involves defining a new internal composition law '*' on R² and an application 'f' from C* to R². The task is to prove that 'f' is a homomorphism from (C*, *) to (R², *). The video guides through the detailed calculation of f(z1 * z2) and f(z1) * f(z2) to show their equality, thereby proving the homomorphism.
Building on the previous part, the video demonstrates how the proved homomorphism (which is also shown to be a bijection, making it an isomorphism) implies that (R² \ {(0,0)}, *) has the same group structure as (C*, *). Since (C*, *) is a known commutative group, (R² \ {(0,0)}, *) is also a commutative group, without needing to verify all group axioms directly.
This section illustrates how to find the inverse of an element (a, b) in (R² \ {(0,0)}, *) by leveraging the isomorphism 'g'. The approach involves expressing (a, b) as the image of a complex number z under 'g', finding the inverse of z in (C*, *), and then applying 'g' to that inverse. This avoids complex calculations with the new operation '*' defined on R².
The video explains how to solve the equation (a,b) * (a,b) * (a,b) = (0,0) in (R² \ {(0,0)}, *) by translating it into an equivalent equation in (C*, *). By finding the complex cube roots of unity and applying the inverse homomorphism, the solutions in R² are determined. This again highlights the power of isomorphism in simplifying complex problems.
Exercise 2 introduces the set L(R, R) of linear functions from R to R. The goal is to prove that (L(R, R), +) is a commutative group using a homomorphism. A homomorphism 'phi' from (R, +) to (L(R, R), +) is defined. Showing 'phi' is surjective is sufficient, as (R, +) is a known commutative group.
This part focuses on proving that (L(R, R) \ {theta}, o) (linear functions excluding the zero function under composition) is a commutative group. A homomorphism 'psi' from (R*, *) to (L(R, R) \ {theta}, o) is defined. Similar to the previous section, the surjectivity of 'psi' is demonstrated, establishing the group structure of (L(R, R) \ {theta}, o).
Exercise 3 introduces a set 'E' of 3x3 matrices. The first step is to show that E is a subgroup of (M3(R), *) (the group of invertible 3x3 matrices under multiplication). This involves showing E is non-empty, and for any two matrices M_alpha and M_beta in E, their product M_alpha * M_beta is also in E. The calculations demonstrate that the product maintains the specific form of matrices in E, thus proving closure.
The final part of the exercise leverages a homomorphism 'f' from (R, +) to (E, *), where f(alpha) = M_alpha. By showing 'f' is a surjective homomorphism, and since (R, +) is a commutative group, it directly implies that (E, *) is also a commutative group. A concluding remark explains why 'f' is not an isomorphism (because it's not injective) but still suffices for determining the group structure.