设R为一个Bezout整环,如果A,B均为R上的幂等矩阵,则R上矩阵(A D,O B)与(A O,O B)相似当且仅当AD+DB=D,如果A,B均为R上的对合矩阵,则R上矩阵(A D,O B)与(A O,O B)相似当且仅当AD+DB=0.
Let R be a Bezout domain. If A,B are idempotent matrices, then(A D,O B)(A O,O B)if and only if AD+DB=D. If A ,B are involutory matrices, then (A D,O B)(A O,O B)if and only if AD+DB=0.