Cは複素数として多項式環B=C[t]とその部分環A=C[t^2,t^3]を考える
q=(t-1)B、p=q∩Aとするとq=pBが成り立つことを証明しろ
(ただしqは(t-1）で生成されるBのイデアル、pBはpで生成されるBのイデアル)
という問題がわかりませんご教示願います

自分で考えたこととしてはAは2次以上の項と定数項からなる多項式全体
pは(t-1){(2次以上の項)＋a(t+1)}の形の多項式(a∈C)であり
q⊇pBは定義から言えるものの逆は成り立たないように思えます
例えばqの元t-1は上のような多項式からは生成できないのではないかと
どこが間違っているのでしょうか