Ideales fraccionarios: definiciones, operaciones e invertibilidad