Esta pregunta es similar a otra anterior: <a href="https://math.stackexchange.com/questions/36010/gauss-elimination-with-constraints">Eliminación de Gauss con restricciones</a>
Dado un $n \times n$ matriz $M$ y un número $1 \leq m \leq n-1$ la particionamos como una matriz de bloques:
$$M = \begin{bmatrix} A & B \\ C & D \end{bmatrix}$$
donde $A$ es un $m \times m$ matriz y $D$ es un $(n-m) \times (n-m)$ matriz. Decimos entonces que $M$ es $m$ -bien si ambos $A$ et $D$ son invertibles.
Dada cualquier matriz invertible $M \in GL_n(\mathbb{F})$ y un número $1 \leq m \leq n-1$ ¿es siempre posible permutar las filas de $M$ para hacerlo $m$ -bien ?
Nota: Sólo me importa el caso $\mathbb{F}=\mathbb{Z}_p$ Pero he formulado la pregunta en términos más generales porque creo que no importa cuál sea el ámbito.
0 votos
Por cierto, si estás haciendo estas cosas algorítmicamente, me interesaría saber cómo encuentras las permutaciones reales, etc. PLU es común, y tengo código para Bruhat, y sospecho que este problema es importante para el preacondicionamiento de bloques, así que podrías estar desarrollando una colección de rutinas razonablemente útil.
0 votos
@Jack: La respuesta de Robert es suficiente para mis necesidades actuales, pero si encuentro algún dato algorítmico útil lo actualizaré.