MHB Direct Products and Sums of Modules - Notation

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading John Dauns book "Modules and Rings". I am having problems understanding the notation in section 1-2 (see attachment)

My issue is understanding the notation on Section 1-2, subsection 1-2.1 (see attachment).

Dauns is dealing with the product \Pi \{ M_i | i \in I \} \equiv \Pi M_i and states in (ii) - see attachment

------------------------------------------------------------------------------------------------------
Alternatively, the product can be viewed as consisting of all strings or sets

x = \{ x_i | i \in I \} \equiv (x_i)_{i \in I} \equiv (x_i) \equiv ( \_ \_ \_ \ , x_i , \_ \_ \_ ) , x_i \in M_i; i-th

-----------------------------------------------------------------------------------------------------------

I am not sure of the meaning of the above set of equivalences. Can someone briefly elaborate ... preferably with a simple example

If we take the case of I = {1,2,3} and consider the product M_1 \times M_2 \times M_3 then does Dauns notation mean

x = (x_1, x_2, x_3) where order in the triple matters (mind you if it does what are we to make of the statement x = \{ x_i | i \in I \}Can someone confirm that x = (x_1, x_2, x_3) is a correct interpretation of Dauns notation?

===============================================================================================

Dauns then goes on to define the direct sum as follows:

The direct sum \oplus \{ M_i | i \in I \} \equiv \oplus M_i is defined as the submodule \oplus M_i \subseteq \Pi M_i consisting of those elements x = (x_i) \in \Pi M_i having at most a finite number of non-zero coordinates or components. Sometimes \oplus M_i , \Pi M_i are called the external direct sum and the external direct product respectively.================================================================================================

Can someone point out the difference between \oplus M_i , \Pi M_i in the case of the example involving M_1, M_2, M_3 - I cannot really see the difference! For example, what elements exactly are in \Pi M_i that are not in \oplus M_i

I would be grateful if someone can clarify these issues.

Peter

This has also been posted on MHF
 
Physics news on Phys.org
Peter said:
If we take the case of I = {1,2,3} and consider the product M_1 \times M_2 \times M_3 then does Dauns notation mean

x = (x_1, x_2, x_3) where order in the triple matters (mind you if it does what are we to make of the statement x = \{ x_i | i \in I \}
Yes, if $x\in M_1 \times M_2 \times M_3$, then $x$ is an ordered triple $(x_1,x_2,x_3)$ such that $x_i\in M_i$ for $i=1,2,3$. The notation $x = \{ x_i\mid i \in I \}$ is perhaps unfortunate. It would be valid if $x_i$ carried the information of the module they came from, e.g., $x = \{ (x_i,i)\mid i \in I \}$. Then it is possible to order such set according to the second component of its elements.

Alternatively, $x$ may be viewed as a function from $\{1,2,3\}$ to $M_1\cup M_2\cup M_3$ with the restriction that $x(i)$ is always in the correct module $M_i$. Such construction is called dependent product in programming (type theory).

Peter said:
Can someone point out the difference between \oplus M_i , \Pi M_i in the case of the example involving M_1, M_2, M_3 - I cannot really see the difference! For example, what elements exactly are in \Pi M_i that are not in \oplus M_i
For finite products and sums (i.e., when the index set is finite), direct product and direct sum are exactly the same. See Wikipedia.
 
Thanks Evgeny ... A most helpful post ...

Peter
 
Back
Top