Deje $R$ integrante de dominio. Deje $R_0=R-\{0\}$ $R^*$ ser el grupo de la unidad de $R$. Una orientación de $R$ (mi terminología) es un submonoid $N\subseteq R_0$ que se cruza cada uno de los socios de equivalencia de la clase en exactamente un punto. Es decir, si $x\sim y$ ($x=uy$algunos $u\in R^*$) donde$x,y\in N$$x=y$, y si $x\in R_0$ existe $y\in N$ tal que $x\sim y$.
Por ejemplo, $\Bbb Z^+$ es una orientación de $\Bbb Z$, y si $k$ es un campo, entonces el conjunto de monic polinomios es una orientación de $k[X]$.
Cada integrante de dominio tienen una orientación?
Para PIDs, la respuesta es sí: Para cada uno de los prime ideal $P$, elige un primer generador de $P=(p)$, y deje $N$ el conjunto de los productos de estos generadores. Desde $R$ es un UFD, no hay dos productos diferentes, puede ser asociado, y por otra parte si $x\in R_0$ $x$ es un producto de números primos, y para cada uno de los prime $q_i$ si $p_i$ es el elegido generador de $(q_i)$ $p_i\sim q_i$ $x$ está asociado a $\sum_ip_i$.
Hay no-orientable conmutativa anillos que no son una parte integral de los dominios. Por ejemplo, en $\Bbb Z/6\Bbb Z$, sólo hay dos unidades, por lo que cada cuadrado debe ser en $N$ (desde cualquiera de las $x\in N$ o $-x\in N$ implica $x^2\in N$), por lo que la única estructura posible es $\{1,3,4\}$; pero $3\cdot 4=0$ así que esto no es un submonoid.