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