where A, B, C, and D are p×p, p×q, q×p, and q×q blocks, respectively. It can be shown that the set of matrices in whose upper-left p×p block A has positive determinant is a subgroup. Or, to put it another way, if
