イデアルだったら
so idearudattara

Noun
Da Copula

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

1. If it were a prime ideal.; When it is a prime ideal.

Tara Conditional
Mathematics