What are the rank conditions for consistency of a linear algebraic system?

cheesefondue
Messages
17
Reaction score
0
what are the rank conditions for consistency of a linear algebraic system?
my proffessor said that the coefficient matrix augmented with the column value matrix must have the same rank as the coefficient matrix for consistency of the system of equations. however does the term rank apply to rectangular matrices such as an augmented matrix? I if so how is it calculated also I would like to know how to deduce this condition by reasoning [the derivation].
 
Physics news on Phys.org
Well, what is your definition of "rank"? The definition I would use is that the rank of a matrix is the number of non-zero rows left after you row-reduce the matrix. Obviously, that idea applies to non-square matrices. In fact, if you append a new column to a square matrix, to form the "augmented matrix", any non-zero row, after row-reduction, for the square matrix will still be non-zero for the augmented matrix- add values on the end can't destroy non-zero values already there. The only way the rank could be changed is if you have non-zero values in the new column on a row that is all zeroes except for that, so that the augmented rank has greater rank than the original matrix. That tells you that one of your matrices has reduced to 0x+ 0y+ 0z+ ...= a where a is non-zero and that is impossible. If there is no such case, you have at least one solution to each equation. Yes, the system is consistent if and only if the rank of the coefficient matrix is the same as the rank of the augmented matrix.
 
Well my textbook says that the rank of a matrix is the dimension of the largest square sub matrix whose determinant is non-zero. we just started the chapter so I'm not sure what you mean by row reduction, could you please elaborate? I'm sorry, I konw that these are really simple questions but I'd like to know the answers nevertheless... thanx.
 
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