[(a,b)] + [(c,d)] ) + [(e,f)] 定義Z 上的乘法`*` 為[(a,b)] ×[(c,d)] := [(ac+bd,bc+ad)] 驗證這是well-defined 同樣乘法交換律、結合律從N 的交換 ...
確定! 回上一頁