Semigrupo
Sea Mn el conjunto de la matrices reales de orden
n, con la suma de matrices. En tal caso es un semigrupo conmutativo. Lo mismo, cuando se considera la multiplicacin es un semigrupo, pero no es
conmutativo.[3]
Un semigrupo es un sistema algebraico de la forma
(A, ) en la cual A es un conjunto no vaco, es una
operacin interna denida en A . Un semigrupo cumple
las dos siguientes propiedades:
Si adems se cumple la propiedad conmutativa:
Sea Pn el conjunto de matrices estocsticas con la
habitual multiplicacin de matrices; si es as es un
semigrupo.[4]
se dice que es un semigrupo conmutativo o abeliano.
Ejemplos
Sea S = {4k+1/ k N} con la multiplicacin habitual de nmeros naturales. Luego S es un semigrupo
multiplicativo.
Un ejemplo de semigrupo conmutativo es el conjunto de
los nmeros naturales, N con la operacin suma, +. Que
se representa: (N, +) . Podemos ver que '+' es:
2 Subsemigrupo
Una operacin interna, dado que la suma de dos nmeros
naturales es otro nmero natural:
a, b N :
Considerando S S donde S es un semigrupo con la
operacin , diremos que S es un subsemigrupo si xy
est en S para cualesquiera x, y elementos de S.[5]
a+bN
Una operacin asociativa:
a, b, c N :
2.1 Ejemplos
El conjunto 4Z de los mltiplos enteros de 4, con la
adicin de enteros, es un subsemigrupo del semigrupo 2Z aditivo de los pares enteros.
(a + b) + c = a + (b + c)
Y conmutativa:
a, b N :
El conjunto de las matrices diagonales de orden 2,
con la suma de matrices, es un subsemigrupo del
semigrupo aditivo de la matrices cuadradas de orden
2.[6]
a+b=b+a
Luego (N, +) es semigrupo conmutativo o abeliano.
Otros ejemplos son los formados por el conjunto Z + de
los enteros positivos junto con una cualquiera de las siguientes operaciones:
3 Cuasi grupo
Un cuasi grupo Q es un sistema de elementos Q(a,b,c,...)
en el cual est denida una operacin binaria de producto
ab tal que, en ab = c cualesquiera dos de a, b, c determina,
de modo nico, el tercero como elemento de Q.[7]
la multiplicacin
la obtencin del m.c.d.
la obtencin del m.c.m.
3.1 Proposicin
Estos tres son semigrupos abelianos,[1]
Un grupo es a la vez un semigrupo y un cuasi grupo.[8]
Consideremos el conjunto potencia de A, P(A)
= {X/ X A}; P(A) tanto con la unin cuanto
la interseccin de conjuntos es un semigrupo con 4 Lazo
unidad.[2] Unidad para la unin es el conjunto vaco;
y en este ejemplo, la unidad para la interseccin ser Un lazo es un cuasi grupo con una unidad 1 tal que 1a 0
el conjunto A.
a1 = a para cualquier elemento a.[9]
1
Vase tambin
Referencias
[1] Lecciones de lgebra moderna de P. Dubreil- Jacotin
[2] Schaumm: Algebra moderna
[3] Schaum. Matrices
[4] Schaum. Idem
[5] Cotlar- Sadoski. Introduccin al lgebra moderna
[6] Se compueban los dos casos, sobre la base de las deniciones de los respectivos conjuntos, y las operaciones
establecidas sobre ellos.
[7] Hall Jr. Op. cit.
[8] Hall Jr. Op. cit.
[9] Hall Jr. Op. cit. pg. 18.
REFERENCIAS
Origen del texto y las imgenes, colaboradores y licencias
7.1
Texto
Semigrupo Fuente: https://es.wikipedia.org/wiki/Semigrupo?oldid=90078806 Colaboradores: Moriel, Pilaf, Comae, RobotQuistnix, FlaBot, BOTpolicia, Marianov, Davius, Thijs!bot, Botones, JAnDbot, Askateth, Castelo, Muro Bot, SieBot, PaintBot, PipepBot, Dnu72,
DragonBot, Farisori, Alecs.bot, Louperibot, MastiBot, FiriBot, Diegusjaimes, Luckas-bot, Ptbotgourou, DiegoFb, Jkbw, Boatbadly, PatruBOT, Dinamik-bot, Euclides, Anne Bauval, Grillitus, ChuispastonBot, Julio grillo, MetroBot, Invadibot, Minsbot, Halingr, Addbot,
X2y3, Huesqueo y Annimos: 17
7.2
Imgenes
7.3
Licencia del contenido
Creative Commons Attribution-Share Alike 3.0
