5 votos

Condición para un álgebra a es finito, que no utiliza el conjunto subyacente

Me pregunto si hay alguna categórica de la propiedad que recoge exactamente lo finito álgebras de algunos teoría algebraica sin refiriéndose al conjunto subyacente.

Lo que quiero decir es: no quiero usar el de la estructura de un functor $\mathcal{A} \to \mathsf{Set}$ de mi algebraicas categoría. Esto es (obviamente) no es tan interesante, pero lo más importante es que quiero que la propiedad de tener sentido en la ausencia de dicha estructura también (obviamente, yo podría tener una interpretación diferente entonces, estoy abierto a cualquier cosa interesante).

No hay engaño permitido, por supuesto! Usted no puede referirse a la libre en un objeto singleton, ya que no tiene ningún sentido en una categoría general (por ejemplo, no puede usar $\mathcal{A}(\mathbb Z, G)$ a contar los elementos en un grupo de $G$ $\mathbb{Z}$ es determinado por alguna de las propiedades que involucran el functor $\mathcal{A} \to \mathsf{Set}$; aunque se puede caracterizar $\mathbb{Z}$ por diferentes medios, esto probablemente no tiene mucho sentido para otros tipos de álgebras además de los grupos).

Aquí están algunas de las condiciones necesarias para un álgebra $A$ a un ser finito, pero no veo cómo cualquiera de ellos es suficiente):

  • el poset de subobjetos $\operatorname{Sub} A$ es finito
  • $A$ es finitely generado ($\mathcal{A}(X,\_)$ conserva filtrada colimits de los monos)
  • el monoid de endomorphisms $\operatorname{End} A$ es finito
  • $A$ es Dedekind-finito, es decir: cada mono (inyección) $A\to A$ es un isomorfismo

También me gustaría estar interesado en una propiedad para algunos (no para los pequeños) subclase de todas las teorías o una declaración, que lo que yo estoy tratando de hacer es inviable.

5voto

Kit Ho Puntos 127

Como se menciona en la pregunta, es posible caracterizar la finitely generan álgebras de $F$ (por ejemplo, para los que el $\mathcal{A}(F,-)$ conserva filtrada colimits de monomorphisms).

Si $F$ es finitely generado, entonces, un homomorphism $F\to A$ está determinado por las imágenes de un conjunto finito de generadores, por lo que si $A$ es finito, a continuación, $\mathcal{A}(F,A)$ es finito.

Por el contrario, si $F$ es la libertad de álgebra en un generador, a continuación, $\mathcal{A}(F,A)$ tiene la misma cardinalidad como $A$.

Así lo finito álgebras $A$ son caracterizados como aquellos para los que $\mathcal{A}(F,A)$ es finito para cada finitely generado álgebra $F$.

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