MHB Finitely Generated Modules - Bland Problem 1(a), Problem Set 2.2

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Modules Set
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Paul E. Bland's book: Rings and Their Modules and am currently focused on Section 2.2 Free Modules ... ...

I need someone to check my solution to the first part of Problem 1(a) of Problem Set 2.2 ...

Problem 1(a) of Problem Set 2.2 reads as follows:
View attachment 8067
My solution/proof of the first part of Problem 1(a) is as follows:
We claim that $$M \bigoplus N$$ is finitely generated ... Now ...

$$M \bigoplus N$$ = the direct product $$M \times N$$ since we are dealing with the external direct sum of a finite number of modules ...

$$M$$ finitely generated $$\Longrightarrow \exists$$ a finite subset $$X \subseteq M$$ such that

$$M = \sum_X x_i R = \{x_1 r_1 + \ ... \ ... \ x_m r_m \mid x_i \in X, r_i \in R \}$$ ... ... ... ... (1)
$$N$$ finitely generated $$\Longrightarrow \exists$$ a finite subset $$Y \subseteq N$$ such that

$$N = \sum_Y y_i R = \{y_1 r_1 + \ ... \ ... \ y_n r_n \mid y_i \in Y, r_i \in R \}$$ ... ... ... ... (2)
$$M \bigoplus N$$ finitely generated $$\Longrightarrow \exists$$ a finite subset $$S \subseteq M \bigoplus N$$ such that

$$M \bigoplus N = \sum_S ( x_i, y_i ) R = \{ (x_1, y_1) r_1 + \ ... \ ... \ ( x_s, y_s) r_s \mid (x_i, y_i) \in S , r_i \in R \} $$$$= \{ (x_1 r_1, y_1 r_1) + \ ... \ ... \ + ( x_s r_s, y_s r_s) \} $$$$= \{ (x_1 r_1 + \ ... \ ... \ + x_s r_s , y_1 r_1 + \ ... \ ... \ + y_s r_s \}$$ ... ... ... ... ... (3)
Now if we take $$s \ge m, n $$ in (3) ... ...Then the sum $$x_1 r_1 + \ ... \ ... \ + x_s r_s$$ ranging over all $$x_i$$ and $$ r_i$$ will generate all the elements in $$ M$$ as the first variable in $$M \bigoplus N $$

... and the sum $$y_1 r_1 + \ ... \ ... \ + y_s r_s$$ ranging over all $$y_i $$and $$r_i $$ will generate all the elements in $$N$$ as the second variable in $$M \bigoplus N $$

Since $$s$$ is finite ... $$M \bigoplus N $$ is finitely generated ...
Can someone please critique my proof and either confirm it to be correct and/or point out the errors and shortcomings ...

Peter
 
Physics news on Phys.org
Peter said:
We claim that $$M \bigoplus N$$ is finitely generated ...

$$M \bigoplus N$$ = the direct product $$M \times N$$ since we are dealing with the external direct sum of a finite number of modules ...
$$M$$ finitely generated $$\Longrightarrow \exists$$ a finite subset $$X \subseteq M$$ such that
$$M = \sum_X x_i R = \{x_1 r_1 + \ ... \ ... \ x_m r_m \mid x_i \in X, r_i \in R \}$$ ... ... ... ... (1)

$$N$$ finitely generated $$\Longrightarrow \exists$$ a finite subset $$Y \subseteq N$$ such that
$$N = \sum_Y y_i R = \{y_1 r_1 + \ ... \ ... \ y_n r_n \mid y_i \in Y, r_i \in R \}$$ ... ... ... ... (2)
So each $x \in M$ can be written as a finite sum $x = \sum_X x_i r_i$ ($r_i \in R$).
So each $y \in N$ can be written as a finite sum $y = \sum_Y y_i s_i$ ($s_i \in R$).
Peter said:
$$M \bigoplus N$$ finitely generated $$\Longrightarrow \exists$$ a finite subset $$S \subseteq M \bigoplus N$$ such that

This must be: To prove that $M \bigoplus N$ is finitely generated, so we have to prove that there exists a finite subset $S \subseteq M \bigoplus N$ such that $M \bigoplus N = \sum_S z_i R$.

I think it has to be this way:
Define $X'=\{ (x_i, 0) | x_i \in X \}$ and $Y'=\{ (0, y_i) | y_i \in Y \}$ and $Z=X' \cup Y'$. Then $Z \subset M \bigoplus N$ and $Z$ is finite.

Take $z \in M \bigoplus N$, then $z=(m,n)$ with $m \in M$ and $n \in N$.
$m$ can be written as $m = \sum_X x_i r_i$ and $n$ can be written as $n = \sum_Y y_i s_i$.

Then $z = (m,n) = (\sum_X x_i r_i, \sum_Y y_i s_i) = (\sum_X x_i r_i, 0) + (0, \sum_Y y_i s_i) = \sum_X (x_i, 0)r_i + \sum_Y (0, y_i)s_i = \sum_{X'} x'_i r_i +\sum_{Y'} y'_i s_i = \sum_Z z_i t_i$

in which $x'_i=(x_i, 0) \in X'$ and $y'_i=(0, y_i) \in Y'$ and $t_i \in R$.

This proves that $M \bigoplus N$ is finitely generated.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top