Proof of Maximal Left Ideal Generation in the Ring Mn(F)

  • Context: Graduate 
  • Thread starter Thread starter xixi
  • Start date Start date
  • Tags Tags
    Generator
Click For Summary
SUMMARY

The discussion focuses on the proof of maximal left ideal generation in the ring Mn(F), specifically addressing the properties of matrices of rank n-1. It establishes that every matrix of rank n-1 in any maximal left ideal generates the maximal left ideal itself. Furthermore, it confirms that the number of matrices that can act as generators in a maximal left ideal is consistent with those in the ideal generated by RE11 + ... + RE(n-1),(n-1). The proof also clarifies why any maximal left ideal must contain a rank n-1 matrix.

PREREQUISITES
  • Understanding of ring theory, specifically the structure of matrix rings.
  • Familiarity with the concept of maximal left ideals in algebra.
  • Knowledge of elementary matrices and their properties.
  • Proficiency in linear algebra, particularly concepts related to matrix rank.
NEXT STEPS
  • Study the properties of maximal left ideals in ring theory.
  • Learn about the role of elementary matrices in generating ideals.
  • Explore the implications of matrix rank on ideal generation in algebraic structures.
  • Investigate the relationship between invertible matrices and left ideals in rings.
USEFUL FOR

Mathematicians, algebraists, and graduate students specializing in abstract algebra, particularly those focusing on ring theory and linear algebra applications.

xixi
Messages
21
Reaction score
0
Let R = Mn(F) the ring consists of all n*n matrices over a field F and E = E11 + E22 + ... + En-1,n-1, where Eii is the elementary matrix( Eij is a matrix whose ij th element is 1 and the others are 0). Then the
following hold:
1.Every matrix of rank n-1 in any maximal left ideal generates the maximal left ideal itself . 2 .Moreover, the number of matrices in every maximal left ideal that can be a generator is the same as the number of matrices in the maximal left ideal RE11 +· · ·+REn−1,n−1 that can be a generator. 3.Furthermore why any maximal left ideal has a rank n-1 matrix.
what is the proof of above statements ? I really need help , it's so important for me.
Here is a hint for it but it seems incorrect as I will explain in the following.
(hint:
1. RE is a maximal left ideal.
2. If A is a rank n-1 matrix in R then A is equivalent to E, so that there are invertible matrices P and Q such that A = PEQ. Hence, RA=RPEQ=REQ=RE is a maximal left ideal. (note that if B is invertible and I is a left ideal (resp. a right ideal), then BI = I (resp. IB = I)).
From 1 and 2 we know that any rank n-1 matrix in R generates a maximal
left ideal. )
Since RE is a left ideal so for an invertible matrix Q , we have QRE=RE (as stated above) and not REQ=RE . so the red equivalence is incorrect .
So what is the correct proof?
THanks
 
Physics news on Phys.org
##1.## There cannot be a matrix of full rank, since these are units. Now given any matrix ##M## of rank ##n-1##, then we can find a regular matrix ##A## such that ##A\cdot M=A\cdot E \in RE## (invert the regular block in ##M## and shift the redundant row at the end) and ##M## generates ##RE##, which is the only maximal left ideal, and ...
##2.## ... every matrix of rank ##n-1## is a generator, which are those which generates ##RE_{1,1}+\ldots + RE_{n-1,n-1}\,.##
##3.## Say we have an ideal ##I## with matrices of rank at most ##n-2##. Then we can add a rank ##n-1## matrix ##A## such that ##I \subsetneq I +RA \subsetneq R## and ##I## cannot be maximal.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
6K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K