3 votos

Anillos no conmutativos sin identidad

Estoy buscando ejemplos (si los hay) de anillos no conmutativos sin identidad multiplicativa que tengan las siguientes propiedades:

1) finito con divisores cero

2) infinito con divisores cero

3) finito sin divisores cero

4) infinito sin divisores cero

Agradeceré cualquier ejemplo o sugerencia. Gracias de antemano.

0 votos

Para $2)$ : Matrices infinitas (sobre cualquier anillo) donde casi todas las entradas son $0$ . Para 1): $3\times 3$ matrices sobre un campo finito con la fila inferior cero.

0 votos

Casi todos nuestros anillos no conmutativos favoritos son anillos matriciales, y puedes utilizar prácticamente cualquier anillo que quieras para sus entradas (incluso anillos conmutativos)

0 votos

Nótese que un ideal es cualquier anillo es un anillo sin identidad.

2voto

htc Puntos 1

Como se indica en el comentario de Jared, se pueden encontrar ejemplos fáciles de 1), 2) y 4) tomando subrubros no unitales (como ideales de la izquierda o ideales de dos lados) de anillos con identidad.

La petición más interesante aquí es la 3). De hecho, cualquier anillo asociativo finito no nulo $R$ (posiblemente sin identidad) sin divisores cero es un campo .

Primero, demostremos que $R$ de hecho tiene una identidad. Sea $a \in R$ sea un elemento no nulo. La función $f \colon R \to R$ definido por $\phi(x) = ax$ es inyectiva, y como $R$ es finito, es una biyección. De nuevo, porque $R$ es finito, esta biyección debe tener orden finito. Por lo tanto, para algún $d$ la función $\phi^d(x) = a^d x$ es la identidad. De ello se desprende que $a^d \in R$ es un elemento de identidad.

Llegados a este punto, es un ejercicio estándar demostrar que un anillo finito con identidad y sin divisores cero es un anillo de división. (Sugerencia: piensa en la función anterior para cualquier $a \in R$ .) Y El pequeño teorema de Wedderburn afirma que cualquier anillo de división finito es un campo.

0 votos

1), 2) y 3) están claros para mí saben. Pero todavía no entiendo cómo construir el ejemplo de 4). ¿Podría ayudarme, por favor?

0 votos

¿Qué le parece el ideal $(x,y)$ en el álgebra libre $\math{Q} \langle x, y \rangle$ ?

0 votos

Intentaré trabajar con ello. Gracias.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X