Ideals in a Principal Ideal Domain