Is REQ a maximal left ideal with invertible matrix Q?

  • Thread starter xixi
  • Start date
In summary, RE is a maximal left ideal in R and if Q is an invertible matrix, then REQ is also a maximal left ideal in R.
  • #1
xixi
21
0
Let R = Mn(F) be 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 matrix whose ij th element is 1 and the others are 0) .
I know that RE is a maximal left ideal . Let Q be an invertible matrix . Can we say that REQ is a maximal left ideal ?
 
Physics news on Phys.org
  • #2
[itex]E[/itex] is the identity element so [itex]RE=R[/itex]. [itex]MQ^{-1}Q=M[/itex], so [itex]REQ[/itex] is also [itex]R[/itex], which wouldn't normally be called a maximal ideal because the definition of maximal ideal requires a proper ideal.
 
  • #3
Martin Rattigan said:
[itex]E[/itex] is the identity element so [itex]RE=R[/itex]. [itex]MQ^{-1}Q=M[/itex], so [itex]REQ[/itex] is also [itex]R[/itex], which wouldn't normally be called a maximal ideal because the definition of maximal ideal requires a proper ideal.

Notice that E is not the identity element because its nth row and nth column are zero .
 
  • #4
Sorry - totally missed that. I though there was something awry.
 
  • #5
If [itex]R[/itex] is any associative ring with [itex]1[/itex] and [itex]q\in R[/itex] has a multiplicative inverse, then [itex]\phi_q:R\rightarrow R[/itex] defined by [itex]\phi_q:r\mapsto q^{-1}rq[/itex] is a ring automorphism (with inverse [itex]\phi_{q^{-1}}[/itex]).

If [itex]L\subset R[/itex] is a maximal left ideal, then so is [itex]q^{-1}Lq[/itex]. But then [itex]Lq=qq^{-1}Lq\subset q^{-1}Lq[/itex]. Because [itex]L[/itex] is a left ideal we have also [itex]q^{-1}Lq\subset Lq[/itex].

Hence [itex]Lq=q^{-1}Lq[/itex] and therefore [itex]Lq[/itex] is a maximal left ideal.

Using your assertion that [itex]RE[/itex] in your question is a maximal left ideal and that [itex]Q[/itex] is invertible, replacing [itex]L[/itex] by [itex]RE[/itex] and [itex]q[/itex] by [itex]Q[/itex] in the above gives the desired result.
 

Related to Is REQ a maximal left ideal with invertible matrix Q?

1. What is a maximal left ideal?

A maximal left ideal is a subset of a ring that is closed under addition, subtraction and left multiplication by elements in the ring, and is not properly contained in any larger left ideal.

2. How do you determine if a subset is a maximal left ideal?

To determine if a subset is a maximal left ideal, you can check if it is a left ideal and if it is not properly contained in any larger left ideal. This can be done by checking if the subset is closed under addition, subtraction, and left multiplication by elements in the ring, and if it cannot be extended to a larger left ideal.

3. What is the difference between a maximal left ideal and a prime ideal?

A maximal left ideal is a subset of a ring that is not properly contained in any larger left ideal, while a prime ideal is a subset of a ring that is not properly contained in any larger proper ideal. In other words, a maximal left ideal cannot be extended to a larger left ideal, while a prime ideal cannot be extended to a larger proper ideal.

4. Can a maximal left ideal contain more than one element?

Yes, a maximal left ideal can contain more than one element. In fact, a maximal left ideal must contain at least two elements in order to be properly contained in a larger left ideal.

5. How are maximal left ideals used in ring theory?

Maximal left ideals are important in ring theory because they provide a way to break down a ring into smaller, simpler parts. They also have many applications in algebraic geometry and representation theory, and are used to define important concepts such as simple rings and semisimple rings.

Similar threads

Replies
7
Views
2K
  • Linear and Abstract Algebra
Replies
5
Views
905
Replies
2
Views
3K
  • Linear and Abstract Algebra
Replies
1
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
5
Views
1K
  • Linear and Abstract Algebra
Replies
17
Views
4K
  • Linear and Abstract Algebra
Replies
4
Views
1K
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
5K
Back
Top