Image Representation of Controllable Behaviors Over a Principal Ideal Domain