Artin - domains don't seem to match

In summary, the conversation discusses the interpretation of matrices as maps between lattices and modules. The confusion lies in interpreting the matrices A, P, and Q as changes of basis in different spaces. Ultimately, the resolution is that A is to be interpreted as a map from M to L, while P and Q are changes of basis in M and L respectively.
  • #1
Whovian
652
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
  • #2
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.
 

1. What is an Artin-domain?

An Artin-domain is a type of commutative ring in abstract algebra that satisfies certain properties. These properties include being Noetherian (meaning every ideal is finitely generated) and having the ascending chain condition (meaning there is no infinite chain of ideals that are properly contained in each other).

2. How do Artin-domains differ from other types of commutative rings?

Unlike other types of commutative rings, Artin-domains have the property that every prime ideal is also a maximal ideal. This means that these rings have a unique prime factorization property, similar to the integers.

3. What does it mean for an Artin-domain to "match"?

In the context of abstract algebra, two Artin-domains are said to "match" if they have the same properties and structure. This means that they have the same number of prime and maximal ideals, and these ideals are related in the same way.

4. Why is it important for an Artin-domain to have the ascending chain condition?

The ascending chain condition is important because it guarantees that every ideal in an Artin-domain is finitely generated. This allows for easier computation and manipulation of ideals, making Artin-domains useful in many areas of mathematics and science.

5. Can Artin-domains be used in real-world applications?

Yes, Artin-domains have various applications in fields such as coding theory, cryptography, and algebraic geometry. They also have connections to number theory and algebraic number theory. Overall, Artin-domains are a fundamental concept in abstract algebra and have many practical uses.

Similar threads

  • Linear and Abstract Algebra
Replies
8
Views
799
Replies
27
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
967
  • Linear and Abstract Algebra
Replies
3
Views
831
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
19
Views
2K
  • Linear and Abstract Algebra
Replies
5
Views
945
  • Linear and Abstract Algebra
Replies
5
Views
1K
  • Linear and Abstract Algebra
Replies
3
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
1K
Back
Top