単項 たんこうイデアルだったら
tankōidearudattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 単項イデアル

1. If it were a principal ideal; If it's a principal ideal

Tara Conditional
Mathematics