>>835
>>なぜ「行列式が0でない」と「行列が逆行列をもつ」が論理的に同値か
>≠0と可逆性が同値な可換環すなわち可換体に成分をもつときの話

線形代数なので「行列の成分が可換体」という条件は設定されている、とする