4
$\begingroup$

Is it true that, for any subalgebra $\cal S$ of the algebra of linear operators in a finite-dimensional vector space $V$ over a field, $$ \bigcap_{A\in\cal S}\ker A=\{0\}\hbox{ and } \bigcup_{A\in\cal S}A(V)=V \quad\hbox{implies that} \quad\hbox{some $A\in\cal S$ is non-singular? } $$

(A more naive version of this question was answered by Benjamin Steinberg.)

$\endgroup$
8
  • $\begingroup$ My updated answer to your original question shows the answer is no. $\endgroup$ Commented Jul 18, 2021 at 11:48
  • 1
    $\begingroup$ Why? ${\cal S}V\ne V$. $\endgroup$ Commented Jul 18, 2021 at 11:54
  • 2
    $\begingroup$ Sorry you are right. No answering questions before coffee. $\endgroup$ Commented Jul 18, 2021 at 12:05
  • 3
    $\begingroup$ Consider the set of 4 x 4 matrices, whose lower left 3 x 3 block is zero. $\endgroup$
    – user130903
    Commented Jul 18, 2021 at 14:44
  • 2
    $\begingroup$ @Zero, why not 3x3 matrices with 2x2 zero block? Maybe, you wish to post an answer (to make the question ``officially closed'')? Thanks! $\endgroup$ Commented Jul 18, 2021 at 18:48

1 Answer 1

4
$\begingroup$

Let $S$ b be the set of 3 x 3 matrices whose lower left 2 x 2 block equals zero. Then $S$ is an algebra satisfying the conditions, but containing no invertible matrix.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .