Enrejado (álgebra)

Una red (anteriormente se usaba el término estructura ) es un conjunto parcialmente ordenado en el que cada subconjunto de dos elementos tiene un límite superior exacto (sup) y un límite inferior exacto (inf) . Esto implica la existencia de estas caras para cualquier subconjunto finito no vacío.

Ejemplos

  1. el conjunto de todos los subconjuntos de un conjunto dado, ordenados por inclusión; por ejemplo: , ;
  2. cualquier conjunto linealmente ordenado ; y si , entonces ;
  3. el conjunto de todos los subespacios del espacio vectorial ordenados por inclusión, donde  es la intersección y  es la suma de los subespacios correspondientes;
  4. el conjunto de todos los enteros no negativos , ordenados por divisibilidad : si para algunos . Aquí  - el mínimo común múltiplo , y  - el máximo común divisor de estos números;
  5. funciones reales definidas en el segmento [0, 1] ordenadas por la condición si para todos . Aquí
, donde .

Definición algebraica

Una red también se puede definir como un álgebra universal con dos operaciones binarias (se denotan por y o + y ∙) que satisfacen las siguientes identidades


  1. ( idempotencia )

  2. ( conmutatividad )

  3. ( asociatividad )

  4. ( absorción ).

La conexión entre estas dos definiciones se establece mediante las fórmulas:

, ,

y vuelta Además, para cualquier elemento y las siguientes declaraciones son equivalentes:

; ; .

Los conceptos de isomorfismo de redes como álgebras universales y como conjuntos parcialmente ordenados coinciden. Sin embargo, un mapa de isótonos arbitrario de un retículo a un retículo no necesita ser un homomorfismo de estos retículos como álgebras universales.

Subredes

Una subred es un subconjunto de elementos de red que se cierra bajo las operaciones y . Ejemplos de subredes son cualquier subconjunto de un elemento de la red, ideal , filtro , intervalo .

Una subred se llama convexa si se sigue de y que . Todas las subredes anteriores son convexas.

Cualquier subconjunto de elementos de la cadena es su subred (no necesariamente convexa). Todas las subredes de una red dada, ordenadas por la relación de inclusión, forman una red.

Historia

La aparición del concepto de "celosía" se refiere a mediados del siglo XIX. Fue claramente formulado por R. Dedekind en los trabajos de 1894 y 1897 . El término "celosía", traducido como "estructura", fue introducido por Birkhoff en 1933 . En la actualidad, en la terminología rusa (debido a la ambigüedad de la palabra “estructura”), ha sido suplantada por la traducción “celosía”. Históricamente, el papel de la teoría de celosías se explica por el hecho de que muchos hechos relacionados con el conjunto de ideales del anillo y el conjunto de subgrupos normales del grupo parecen similares y pueden probarse en el marco de la teoría de celosías de Dedekind . Como rama independiente del álgebra, esta teoría se formó en los años 30 del siglo XX. Las clases más importantes de retículas, además de las de Dedekind, son las retículas completas , las retículas distributivas y las álgebras booleanas .

Ejemplos de conjuntos ordenados que no son redes

Véase también

Enlaces

Monografías disponibles gratuitamente en Internet:

Textos elementales para los que tienen poca cultura matemática:

Las habituales introducciones al tema, algo más complejas que las anteriores:

Monografías avanzadas:

Sobre celosías libres:

Literatura