MHB How Do You Interpret Rowen's Notation in Matrix Rings?

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Louis Rowen's book, "Ring Theory"(Student Edition) ...

I have a problem interpreting Rowen's notation in Section 1.1 Matrix Rings and Idempotents ...

The relevant section of Rowen's text reads as follows:View attachment 6069
View attachment 6070In the above text from Rowen, we read the following:
" ... ... We obtain a more explicit notation by defining the $$n \times n$$ matric unit $$e_{ij}$$ to be the matrix whose $$i-j$$ entry is $$1$$, with all other entries $$0$$.Thus $$( r_{ij} ) = \sum_{i,j =1}^n r_{ij} e_{ij}$$ ; addition is componentwise and multiplication is given according to the rule $$( r_1 e_{ij} ) ( r_2 e_{uv} ) = \delta_{ju} (r_1 r_2) e_{iv} $$

... ... ...
I am having trouble understanding the rule $$( r_1 e_{ij} ) ( r_2 e_{uv} ) = \delta_{ju} (r_1 r_2) e_{iv}$$ ... ...

What are $$r_1$$ and $$r_2$$ ... where exactly do they come from ... ?

Can someone please explain the rule to me ...?To take a specific example ... suppose we are dealing with $$M_2 ( \mathbb{Z} )$$ and we have two matrices ...$$P = \begin{pmatrix} 1 & 3 \\ 5 & 4 \end{pmatrix}$$

and

$$Q = \begin{pmatrix} 2 & 1 \\ 3 & 3 \end{pmatrix}$$ ...In this specific case, what are $$r_1$$ and $$r_2$$ ... ... and how would the rule in question work ...?
Hope someone can help ...

Peter
 
Physics news on Phys.org
Peter said:
I am having trouble understanding the rule $$( r_1 e_{ij} ) ( r_2 e_{uv} ) = \delta_{ju} (r_1 r_2) e_{iv}$$ ... ...

What are $$r_1$$ and $$r_2$$ ... where exactly do they come from ... ?
$r_1$ and $r_2$ are numbers, or, more precisely, elements of the ring $R$. They are also coefficients, or coordinates, of a matrix in the basis consisting of $e_{ij}$. If one matrix is $\displaystyle\sum_{i,j=1}^nr^{(1)}_{ij}e_{ij}$ and another is $\displaystyle\sum_{i,j=1}^nr^{(2)}_{ij}e_{ij}$, then when you multiply them, you apply distributivity and get $\displaystyle\sum_{i,j,u,v=1}^nr^{(1)}_{ij}e_{ij}r^{(2)}_{uv}e_{uv}$, and the formula in your quote says how to compute $r^{(1)}_{ij}e_{ij}r^{(2)}_{uv}e_{uv}$.
 
Evgeny.Makarov said:
$r_1$ and $r_2$ are numbers, or, more precisely, elements of the ring $R$. They are also coefficients, or coordinates, of a matrix in the basis consisting of $e_{ij}$. If one matrix is $\displaystyle\sum_{i,j=1}^nr^{(1)}_{ij}e_{ij}$ and another is $\displaystyle\sum_{i,j=1}^nr^{(2)}_{ij}e_{ij}$, then when you multiply them, you apply distributivity and get $\displaystyle\sum_{i,j,u,v=1}^nr^{(1)}_{ij}e_{ij}r^{(2)}_{uv}e_{uv}$, and the formula in your quote says how to compute $r^{(1)}_{ij}e_{ij}r^{(2)}_{uv}e_{uv}$.
Thanks Evgeny ... your post was very clear ... and most helpfu ...

Peter
 
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...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
Back
Top