共用题干题设G是群，a，b，c∈G。证明 （abc）^-1=c^-1b^-1a^-1。

证明：（x，y）是Q[x，y]的一个极大理想。

问答题证明：（x，y）是Q[x，y]的一个极大理想。

（a-1）-1=a。

问答题（a^-1）^-1=a。

设P是数域，P（x）是P[x]中的不可约多项式，证明：（P（x））是P[x]的极大理想。

问答题设P是数域，P（x）是P[x]中的不可约多项式，证明：（P（x））是P[x]的极大理想。