En la firma (+, 0,-), la clase de grupos es variados, ya que puede ser definidos por un conjunto de ecuaciones universales. ¿Pero es ya una variedad de la firma (+), por sí mismo? ¿La más importante pregunta es, existe una terminología estándar en la literatura de Álgebra universal para una clase de funciones y constantes que no son necesariamente una variedad por sí mismos, pero son por lo tanto cuando aumentada por otras funciones o constantes?
Respuesta
¿Demasiados anuncios?
Pedro Sánchez Terraf
Puntos
854
No va a ser de una variedad. Como se observa, con la firma de (+,0,−) (o incluso sin el constante) puede axiomatize la clase de los grupos a través de universal frases, pero con + no es posible: Z es un grupo, pero su subestructura N no lo es. Y universal frases son conservados por tomar subestructuras.
Respecto a la terminología, el concepto general de reduct es aplicable. Así que podemos decir que la clase de todos los grupos en la firma de + es un reducto de una variedad.