MDLD/principal ideal

Start=principal ideal Target=Commutative ring/Principal ideal/Definition