Contenido V de Estructuras Algebraicas
Contenido V de Estructuras Algebraicas
Contenido V de Estructuras Algebraicas
i) términos primitivos:
Un objeto, que se denota con 1, un conjunto
Una función llamada “siguiente “o “sucesor “ que se simboliza con la letra “s “.
ii) Axiomas:
A1 : el objeto 1 es un elemento de , es decir
1
A2 : la función “siguiente “ es una aplicación inyectiva de en − 1
s: → − 1 es 1 − 1
1 S
h S → s ( h ) entonces S =
i ) P (1) es V
ii) P ( h ) es V → P ( s ( h ) ) es V entonces P ( h ) es V n
h S → s ( h ) entonces S =
iii) definiciones
I) de adición
a) a + 1 = s ( a ) cualesquiera que sean a .
iv) de multiplicación
probar, de acuerdo con la definición de ley interna, que la suma de dos elementos
ii ) Hipótesis) h S .
Tesis) s ( h ) S .
Demostración)
Con criterio análogo puede probarse que II) satisface la definición de ley de composición
interna.
vemos que satisfacen los axiomas de Peano, pero si los algebrizamos de acuerdo con su teoría,
se tiene
11 + 10= 12
1/3 + 1 = 1/9
siendo estos resultados distintos de los de la aritmética ordinaria. Se tienen, así, dos modelos
del sistema axiomático, los cuales son isomorfos a = 1, 2,3,..... . En última instancia son dos
representaciones distintas de .
7.4.2. Propiedades
Hay que probar que la imagen de la función sucesor es el conjunto − 1 . Sea S el
conjunto de las imágenes de los elementos de .
i ) 2 = s (1) S
ii) Si h S → s ( h ) S .
En efecto, h S → h → s ( h ) S.
2. La adición es asociativa en
( a + b ) + n = a + (b + n )
Demostración)
i) n = 1 → ( a + b ) + 1 = s ( a + b ) =
= a + s ( b ) = a + ( b + 1)
Por I b) , hipótesis, y I b) .
3. La adición es conmutativa en .
I ) n +1 = 1+ n
i) n = 1 → 1 + 1 = 1 + 1
ii ) h + 1 = 1 + h → s ( h ) + 1 = 1 + s ( h )
En efecto
1 + s ( h ) = 1 + ( h + 1) = (1 + h ) + 1
= s ( h) +1
I) a + n= n + a
i) n = 1 → a + 1 = 1 + a por I )
ii ) a + h = h + a → a + s ( h ) = s ( h ) + a
En efecto
a + s ( h ) = a + ( h + 1) = ( a + h ) + 1
= h + ( a + 1) = h + (1 + a )
= ( h + 1) + a
= s (h) + a
En efecto,
i) n = 1 → 1 1 = 1 1 = 1
ii ) h 1 = 1 h → s ( h ) 1 = 1 s ( h )
En efecto
s ( h ) 1 = s ( h ) = h + 1 = h 1 + 1
= 1 h = 1 s ( h)
Por II a ) , hipótesis, y II b) .
(a + b) n = a n + b n
i ) n = 1 → ( a + b ) 1 = a + b = a 1 + b 1 por II a )
ii ) ( a + b ) h = a h + b h → ( a + b ) s ( h ) = a s ( h ) + b s ( h )
En efecto
(a + b) s (h) = (a + b) h + a + b =
( a h + b h ) + ( a + b ) = ( a h + a ) + (b h + b )
= a s (h) + b s (h)
6. La multiplicación es asociativa.
( a b) n = a (b n )
Demostración)
i ) n = 1 → ( a b ) 1 = a b = a ( b 1)
= a + s ( b ) = a + ( b + 1) por IIa)
ii ) ( a b ) h = a ( b h )
→ ( a b ) s ( h ) = a b s ( h )
En efecto
( a b ) s ( h ) = s ( a + b ) + h
= s a + ( b + h )
= a + s (b + h )
= a + b + s ( h )
I) Adición
a) a + 0 = a
b) a + s ( b ) = s ( a + b )
II) Multiplicación
a) a 0 = 0
b) a s ( b ) = a b + b
h
ii ) Hipótesis) a h = a
i =1
h +1
Tesis) a ( h + 1) = ai =1
Demostración) '
Por definición II b) a ( h + 1) = a h + a
h
Por hipótesis a ( h + 1) = a + a
i =1
a) a1 = a
s(b)
b) a = ab a
( a b) = a n bn
n
i ) n = 1 → ( a b ) = a b = a1 b1
1
por definición a)
ii ) ( a b ) = a h b h
h
s( h )
→ (a b)
s( h ) s( h)
=a b
En efecto
( a b) ( ) = (a b) (a b)
s h h
= ah bh a b
= a h a bh b
s( h ) s( h)
=a b
a m a n = a m+n
s( m)
i ) n = 1 → a m a1 = a m a = a = a m+1
por definición de a) y de b)
ii ) a m a h = a m + h
s( h ) m+ s( h )
→ am a =a
En efecto
= am ( ah a ) = ( am ah ) a
s( h )
am a
= a m+h a
s( m + h )
=a
m+ s( h )
=a
Por la aplicación sucesiva de la definición b). asociatividad del producto, hipótesis inductiva, y
las definiciones b) de potenciación y adición.
Ejemplo 7-6.
En se define la relación de menor, mediante
a b x / b = a + x (1)
n s (n)
i ) n = 1 → s (1) = 1 + 1 → 1 s (1)
por las definiciones a ) de adición y (1)
ii ) h s ( h ) → h + 1 s ( h + 1)
En efecto
s ( h + 1) = s (1 + h ) = 1 + s ( h )
= 1 + ( h + 1) = (1 + h ) + 1
= ( h + 1) + 1
Entonces, por (1)
h + 1 s ( h + 1)
a b y b c → x, y / b = a + x c = b + y
→ c = (a + x) + y = a + ( x + y)
→a c
a) a b → a + c b + c
b) a b c d → a + c b + d
Demostramos a)
a b → x, y / b = a + x
→b + c = (a + x) + c = (a + c) + x
→a + c b + c
definidas en él. En situaciones más complicadas puede definirse más de una ley de
sean las propiedades que deban satisfacer dichas leyes de composición, se tienen los