Artin - domains don't seem to match

  • Context: Graduate 
  • Thread starter Thread starter Whovian
  • Start date Start date
  • Tags Tags
    domains Match
Click For Summary
SUMMARY

The discussion revolves around the interpretation of matrices in Artin's Algebra, specifically regarding the mappings between integer lattices and their bases. The matrices involved are ##Q=\begin{bmatrix}1&\\3&1\end{bmatrix}##, ##A=\begin{bmatrix}2&-1\\1&2\end{bmatrix}##, and ##P=\begin{bmatrix}1&1\\1&2\end{bmatrix}##. The user questions the correct interpretation of these matrices as maps between the lattices ##M## and ##L##, ultimately clarifying that ##M## should be viewed as the codomain of the free module homomorphism corresponding to matrix ##A##. This understanding resolves the confusion regarding the change of basis interpretations of matrices ##P## and ##Q##.

PREREQUISITES
  • Understanding of linear algebra concepts, particularly matrix transformations.
  • Familiarity with the concept of lattices and their bases in algebra.
  • Knowledge of free module homomorphisms and their representations.
  • Proficiency in interpreting matrix operations and their implications in different vector spaces.
NEXT STEPS
  • Study the properties of free modules and their homomorphisms in algebraic structures.
  • Learn about the implications of change of basis in linear transformations.
  • Explore the relationship between integer lattices and their coordinate representations.
  • Investigate advanced topics in linear algebra, such as the rank-nullity theorem and its applications.
USEFUL FOR

Students of algebra, mathematicians focusing on linear transformations, and educators teaching advanced linear algebra concepts will benefit from this discussion.

Whovian
Messages
651
Reaction score
3
This isn't a homework problem, but rather a bit of confusion regarding something in the textbook we're using; if this isn't the right place, feel free to move it.

From Artin's Algebra pages 422/423 (slightly paraphrased):

Let ##Q=\begin{bmatrix}1&\\3&1\end{bmatrix}##, ##A=\begin{bmatrix}2&-1\\1&2\end{bmatrix}##, ##P=\begin{bmatrix}1&1\\1&2\end{bmatrix}##, ##A'=Q^{-1}AP=\begin{bmatrix}1&\\&5\end{bmatrix}## (note: blank spaces are to be interpreted as zeroes.)

Let ##M## be the integer lattice with its standard basis ##{\bf C}=\left(e_1,e_2\right)##, and let ##L## be the lattice with basis ##{\bf B}=\left(v_1,v_2\right)=\left(\left(2,1\right)^t,\left(-1,2\right)^t\right)##. Its coordinate vectors are the columns of ##A##. We interpret ##P## as the matrix of a change of basis in ##L##, and ##Q## as the matrix of change of basis in ##M##.

My question is, if ##A## is interpreted as a map ##M\rightarrow L##, wouldn't we have to interpret ##P## as a map ##M\rightarrow M## and ##Q## as a map ##L\rightarrow L## to get ##A'##, which is just ##A## with different bases for ##M## and ##L##, to be ##M\rightarrow L##? Therefore ##P## would be interpreted as a change of basis in ##M## instead of ##L## and ##Q## in ##L## instead of ##M##? In fact, if we had set up the problem so ##A## was 2x3, ##Q## 2x2, and ##P## 3x3, ##M## would be ##\mathbb{R}^3## and ##L## would be ##\subseteq\mathbb{R}^2##, so ##P## could not be interpreted as a change of basis in ##L=\mathbb{R}^2## as it's 3x3.

Is there something incredibly obvious I'm missing?
 
Physics news on Phys.org
Ah, derp. There was something obvious. It turns out M is to be interpreted as the codomain of the free module homomorphism corresponding to A.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K