Las Operaciones Con Nmeros Binarios No Son Difciles

Y aunque la forma de realizar las operaciones con nmeros binarios sea algo
diferente a lo que se est acostumbrado, en realidad es algo bastante lgico
cuando al fin se entienda la manera de realizarlas.
Sumar Binarios
Para sumar nmeros binarios se tiene que utilizar casi el mismo sistema que para
sumar en el sistema decimal. Es decir, como se ha acostumbrado en la enseanza
tradicional. Lo mejor para poder realizar este tipo de operacin es poner los
nmeros en dos filas, alineados a la derecha, tal y como se hace para sumar
cuando se tienen cifras muy extensas en el sistema decimal, incluso cuando son
cifras pequeas en binario, porque la longitud del nmero es comnmente algo
grande en este sistema. A continuacin, tambin se inicia la suma desde la
derecha y hacia la izquierda usando esta tabla de adicin que se debe aprender si
se quiere sumar de memoria.
0
1
0
1 + 1 = 10

+
+
+

0
0
1

=
=
=

0
1
1

Es sencillo aprenderla porque los nmeros que operan estn casi todos dentro del
mismo nivel que en el sistema decimal, a excepcin del 10 que equivale al 2 si lo
traducimos al sistema decimal. Ahora, para poder sumar hay que seguir estas
reglas y si te encuentras con un 1+1, debes escribir el 0 en la columna
correspondiente y llevar el 1 para la siguiente columna donde lo sumars a la cifra
y te dar el resultado de la siguiente, as sucesivamente hasta terminar. Por
ejemplo, vamos a sumar 17 ms 13, cuyo resultado debera ser 30. Mientras que
en la suma de binarios se da de esta manera:
10001
+1101
=11110
Resta De Nmeros Binarios
Cuando se quiere restar entre nmeros binarios, se usa el mismo mtodo que en
el sistema decimal, con la misma idea de llevar uno que en la suma, pero la
diferencia es que al llevar uno, el nmero que sobra se debe restar en la siguiente
columna o posicin de la cifra binaria, y la tabla de restas viene a ser parecida
pero con una diferencia.

0
1
10=1

0
1

=
=

0
0

Sin embargo, no se puede restar 0 1 de la forma tradicional, pues en el sistema

binario, los nmeros negativos tienen un mtodo distinto para ser representados y
en una sola cifra no puede existir un nmero negativo de forma unitaria, sino que
toda la cifra deber ser convertida una vez que se la obtenga.
Entonces, para poder restar esta cifra, se tiene que pedir prestado de la columna
siguiente y luego restar el nmero aumentado en la posicin siguiente hacia la
izquierda. Por ejemplo, si se quiere restar 26 menos 12, dando como resultado 14.
En la resta de nmeros binarios, quedara de esta manera:
11010
-1100
=1110
Ntese que la primera cifra del sustraendo queda eliminada pues al llevar uno el
arrastre se proyect hasta el principio de la cifra.
Multiplicar Nmeros Binarios
Continuacin de operaciones con nmeros binarios: Para multiplicar los nmeros
binarios, es bastante sencillo, pues se utiliza el mismo mtodo del sistema decimal
en el cual se va multiplicando de derecha a izquierda cada posicin del
multiplicador (abajo) por cada posicin del multiplicando (arriba) y poniendo cada
resultado a continuacin y recorriendo una posicin hacia la izquierda hasta
terminar y luego se suman las cifras para obtener el producto. Pero al ser cifras
pequeas, no se tiene que llevar ningn nmero y el resultado se obtiene sin
mucho esfuerzo. Utilizando la siguiente tabla se puede ver lo sencillo que es:
1
1
0
0*0=0

*
*
*

1
0
1

=
=
=

1
0
0

Siempre tomando en cuenta que cualquier cifra multiplicada por cero da igual cero.
Veamos un ejemplo al multiplicar 12 por 4, cuyo resultado es 48:
1100
*100
0000
0000
1100

Se procede a sumar tomando en cuenta que cada cifra est recorrida una posicin
hacia la izquierda en relacin a la cifra superior y que se deben respetar las
columnas
para
la
suma
=110000
Otro ejemplo con una cifra ms grande, 24 por 9, cuyo resultado es 216
11000
*1001
11000
00000
00000
11000
=11011000
Divisin De Nmeros Binarios
Para la divisin de nmeros binarios, se tiene que realizar las mismas operaciones
que se hacen durante el algoritmo de la divisin larga de nmeros decimales, con
la diferencia de que el resto que se obtiene en el dividendo debe hacerse con una
sustraccin en binario, as como la divisin que se realiza entre el divisor y el resto
tienen que hacerse en binario, pero al bajar las posiciones, se debe hacer
normalmente y as se obtiene cada posicin del cociente. Por ejemplo, se divide
171 para 9, cuyo resultado es 19. Lo que en binario viene a ser:
10101011
-1001
00011
-00
110
-000

1101
-1001
01001
-1001

1001

10011

Aqu se puede ver que cada vez que el nmero obtenido del resto, es mayor que
el divisor, se anota un 1 en el cociente de izquierda a derecha, y si el resto es
menor al divisor, se anota un cero, hasta terminar con todas las posiciones del
dividendo. Aqu termina nuestra discusin de operaciones con nmeros binarios.
Conmutatividad

Vase tambin: Propiedad conmutativa

Dado un conjunto no vaco A, en el que se ha definido una ley de composicin
interna *:

se dice que * tiene la propiedad conmutativa en A si se cumple:

Para todo a, b de A, se cumple que el resultado de operar a con b es igual al de

operar b con a.
Del mismo modo podemos decir que la ley de composicin interna *, no es
conmutativa en A si:

Si existe algn a, b en A, que cumple que el resultado de operar a con b es

distinto de operar b con a.
Ejemplos

La adicin en los conjuntos N, Z, Q, R, C (1)de los naturales, enteros,

racionales, reales y complejos es conmutativa y se cumple que a+b = b+a,
siendo a y b elementos de mismo cualquier conjunto indicado

La multiplicacin es conmutativa en cualquiera de los conjuntos (1).

La divisin en Q*, racionales sin el cero, no es conmutativa; pues a:b b:a,

salvo para 1 y -1.

el producto de dos matrices cuadradas de orden n no es conmutativo.

El producto cartesiano de dos conjuntos no es conmutativo, AxB BxA.

La unin, la interseccin y la diferencia simtrica de conjuntos son

conmutativas. Los conjuntos se consideran como partes del conjunto
universal.

Lo mismo que la conjuncin y la disyuncin de proposiciones son

conmutativas, dentro de la lgica proposicional bivalente.

Anticonmutatividad
La operacin * en A es anticonmutativa si:

Para todo a, b de A, se cumple que el resultado de operar a con b es igual al

opuesto de operar b con a.

Como ejemplo si en 3-E el espacio de vectores de tres componentes,

decimos:

se tiene con el producto vectorial

en general, para cualquier par de vectores a, b:

Para los enteros , se ve que la sustraccin

es anticonmutatava, pues si:

Asociatividad
Vase tambin: Propiedad asociativa
Sea A un conjunto no vaco y * una operacin binaria en A:

Se dice que * es asociativa si, solo si:

Para todo a, b, c de A se cumple que operando a con b y el resultado con c es

igual a operar a con el resultado de operar b con c.
Tambin se puede decir que la operacin * no es asociativa si se cumple:

Existen a, b, c en A que cumplen que operando a con b y el resultado con c es

distinto de operar a con el resultado de operar b con c.
Ejemplos

La adicin y la multiplicacin con nmeros pares son asociativas.

La sustraccin en el conjunto Z de los enteros no es asociativa

La adicin en el conjunto Z[i] es asociativa

el producto vectorial de vectores en el espacio R3 no es asociativo; esto es:

(uxv)xw ux(vxw), donde u,v y w son vectores y x indica el producto
vectorial.

Si en el conjunto R de los reales definimos a*b = ab +a+b +1, * es

asociativo en R. ()

Distributividad
Dado un conjunto A no vaco en el que se han definidos dos operaciones internas:

Que expresaremos
derecha de si se cumple:

, se dice que la operacin

es distributiva por la

Ejemplos el producto vectorial de vectores respecto de la suma de

vectoresux(v+ w) =uxv + uxw

Otro ejemplo: el producto de matrices respecto a la suma de matrices.

M(N+Q)= MN + MQ.

Es importante el orden de factor en la definicin de R-mdulos a izquierda.

Del mismo modo se dice que la operacin

se cumple:

es distributiva por la izquierda de si

Ejemplo el caso del producto de matrices que no es conmutativo. Se tiene

(M+N)P= MP+ NP, la simple yuxtaposicin indica el producto de matrices.

La composicin de funciones reales en un intervalo cerrado respecto de la

suma de funciones: (f +g)h =fh + gh , donde f,g, h son funciones
cualesquiera del caso sealado.

Una operacin es distributiva sobre otra si es distributiva por la derecha y por la

izquierda.

Los conjuntos numricos gozan de la distributividad por ambos lados.

Al definir un anillo se indican las dos formas distributivas

a(b+c) = ab +ac, por la izquierda; y por la derecha, (b+ c)a = ba +ca. Pues, al
semigrupo multiplicativo no se exige la conmutatividad.

Ver si se cumple a*(b+ c) = a*b + a*c siendo * la operacin definida en ()

y , + la suma usual en R.

La multiplicacin en un conjunto numrico ( por ejm. ) respecto a la

potenciacin es distributiva por la derecha:

La adicin de funciones derivables es distributiva respecto a la derivacin

de funciones: Dx (f + g) = Dxf + Dxg

Simplificacin o cancelativa
Sea A con la operacin * si a*b =a*c implica que b=c, se dice que se ha
simplificado a por la izquierda. Y si de b*a =c*a se deduce b=a y se dice que se ha
simplificado por la derecha. Si se puede simplificar por ambos lados se habla de
simplificacin o cancelacin.

En el caso de la suma de nmeros ( de cualquier naturaleza) a + b= a + c ,

cancelando a, resulta b=c

En el caso de los grupos es importante el orden. No todo grupo es

conmutativo, para el caso, los grupos simtricos.

Divisores del cero

Sea el conjunto A y la operacin * , siendo a 0, b 0 se deduce que a*b = 0 , se
dice que a y b son divisores del 0.

Hay matrices cuadradas de orden 2 no nulas cuyo producto es la matriz 0.

En el conjunto Z[6]= {0,1,2,3,4,5} de los restos mdulo 6 con la

multiplicacin * de restos, resulta 2*3=0.

Sean las funciones reales: f / f(x) =0 si x0 y f(x)=1 en otro caso, g(x)= 1 si

x0 y g(x) =0 en otro caso; tanto f y g no son nulas pero s su producto (x)
= 0 para todo x real.

Sea el conjunto Z[4] = {0,1,2,3} de los restos mdulo 4; con la adicin

tenemos que en este caso 2+2 = 0. De modo que no siempre "dos ms dos
dan cuatro".

Elementos distinguidos
Elemento neutro
Artculo principal: Elemento neutro
Si se tiene el conjunto A, no vaco, provisto de una operacin binaria *, que
indicaremos: (A,*),

diremos que el elemento e (del alemn einheit), es el elemento neutro por la

derecha si:

Se demuestra que si hay otro elemento neutro por la izquierda e', tal que e'*a = a,
e = e'; hecho que se conoce como unicidad del elemento neutro. Ejemplo:

En los sistemas aditivos Z, Q, R de los enteros, racionales y reales el 0 cero

es el elemento neutro aditivo. Esto es a+0= 0+ a =a.

En los mismos sistemas, pero con la multiplicacin, el 1 uno es el elemento

neutro multiplicativo. a.1 = 1.a = a.

En el conjunto de los racionales con la operacin a*b = a+b +ab , el

elemento neutro es 0.

En el conjunto de las matrices cuadradas con la multiplicacin, el elemento

neutro es la matriz que tiene unos en la diagonal principal y los dems
elementos son cero.

En la composicin de funciones de variable real, el elento neuto es la

funcin I(x) = x para todo x.

Elemento simtrico
Artculo principal: Elemento simtrico
Sea A un conjunto no vaco y * una operacin binaria:

Diremos que a' es simtrico de a si:

donde e es el elemento neutro.

El 2 es el simtrico de -2 en Z con la adicin; 1/2 es el simtrico de 2 en Q*

con la multiplicacin . En el casos de los sistemas algebraicos aditivos, el
simtrico se llama opuesto o inverso aditivo, en el caso de los
multiplicativos se llama: inverso multiplicativo.

Elemento involutivo
Se llama as al elemento d de A, con la operacin binaria *, tal que d*d= d.

el 0 y 1 son elementos involutivos respecto de la multipicacin en el

conjunto Z de los enteros.

Elemento absorbente
Artculo principal: Elemento absorbente
Se denomina as al elemento s de A, tal que s * a= s, para todo a de A, provisto
de la operacin *.

0 es elemento absorbente se un sistema numrico multiplicativo.

El conjunto vaco es elemento absorbente para la interseccin definida en

el conjunto de partes de U.

Operacin inversa
Sea A un conjunto con una operacin binaria *:

por lo que cabe la ecuacin:

Pero si se da el caso de que:

donde se trata de conocer el elemento y, se recurre a operacin inversa. Si A

admite elementos simtricos, se define:

donde

siendo a' simtrico de a, respecto de la operacin binaria *. Queda pues:

Si se cumple la ecuacin (1) se dice que es operacin inversa de

recprocamente que es la operacin inversa de

en A y

en el conjunto Z de los enteros, se tiene -12 -(-15)= -12 +(15). As la

sustraccin simbolizada por - en Z, es una operacin inversa de la adicin
en Z y viceversa.

En el Q*, racionales no nulos, cabe 6:12 = 1/2 equivalentemente 6:12 =

6x(1/12).

Si hay operacin binaria en S y existe elemento simtrico para cada a de S,

segn *, se puede definir una nica operacin inversa de * en S. se exige
la conmutatividad de * en S.

Estructura algebraica
En lgebra abstracta, una estructura algebraica, tambin conocida como
sistema algebraico,1 es una n-tupla (a1, a2, ..., an), donde a1 es un conjunto dado
no vaco, y {a2, ..., an} un conjunto de operaciones aplicables a los elementos de
dicho conjunto.
Principales estructuras algebraicas
Las estructuras algebraicas se clasifican segn las propiedades que cumplen las
operaciones sobre el conjunto dado. En estructuras algebraicas ms elaboradas,
se definen adems varias leyes de composicin.

Con una ley de composicin interna

Magma

Semigrupo

Cuasigrupo

Monoide

Grupo

Grupo abeliano

Con dos leyes de composicin interna

Semianillo

Anillo

Pseudoanillo

Dominio de integridad

Cuerpo

Retculo (orden)

Con leyes de composicin interna y externa

Mdulo

Espacio vectorial

lgebra sobre un cuerpo

UN MAGMA (o grupoide) es una estructura algebraica de la forma

un conjunto donde se ha definido una operacin binaria interna: .1

con A es

Siendo esta ley de composicin una operacin interna:

1.- Operacin interna: para cualesquiera par ordenado de elementos del conjunto
AxA operados con , el resultado pertenece al conjunto A. Es decir:
.
El trmino magma se debe a la asociacin de matemticos franceses que se hace
llamar Nicols Bourbaki.1 Durante algn tiempo compiti, para reflejar el mismo
concepto, con la palabra grupoide, que tiene otros sentidos en matemtica (ver
artculo grupoide), por lo que no es aconsejable su uso como sinnimo de magma.
UN SEMIGRUPO es un sistema algebraico de la forma
en la cual A es un
conjunto no vaco, es una operacin interna definida en A . Un semigrupo cumple
las dos siguientes propiedades:
1.- Cerradura: para cualesquiera dos elementos del conjunto A operados bajo , el
resultado siempre pertenece al mismo conjunto A. Es decir:
.

2.- Asociatividad: para cualesquiera elementos del conjunto A no importa el orden

en que se operen las parejas de elementos, mientras no se cambie el orden de los
elementos (ver grupo abeliano), siempre dar el mismo resultado. Es decir:
.
Si adems se cumple la propiedad conmutativa:
Conmutatividad: un conjunto A tiene la propiedad conmutativa respecto a la
operacin interna si:

Se dice que es un semigrupo conmutativo o abeliano.

UN CUASIGRUPO es una estructura algebraica similar a un grupo en el sentido
de que la "divisin" es siempre posible. Los cuasigrupos se diferencian de los
grupos en que no poseen la propiedad asociativa. Un cuasigrupo con elemento
neutro se llama bucle.
En lgebra abstracta, un MONOIDE es una estructura algebraica con una
operacin binaria, que es asociativa y tiene elemento neutro, es decir, es un
semigrupo con elemento neutro.
Definicin formal
Un monoide
es una estructura algebraica en la que es un conjunto y es
una operacin binaria interna en que cumple las siguientes tres propiedades (la
primera es redundante con la definicin):

1. Operacin interna: para cualesquiera dos elementos del conjunto A operados

bajo , el resultado siempre pertenece al mismo semigrupo A. Es decir:

2. Asociatividad: para cualesquiera elementos del conjunto A no importa el

orden en que se operen las parejas de elementos, mientras no se cambie el
orden de los elementos (ver grupo abeliano), siempre dar el mismo
resultado. Es decir:

3. Elemento neutro: existe un (nico) elemento, e, en A que es neutro de la

operacin , es decir:

GRUPOEs fcil demostrar que el elemento neutro es necesariamente nico por lo

que es redundante exigir su unicidad en este axioma o propiedad. En esencia, un
monoide es un semigrupo con elemento neutro. En lgebra abstracta, un grupo
es una estructura algebraica que consta de un conjunto con una operacin que
combina cualquier pareja de sus elementos para formar un tercer elemento. Para
que se pueda calificar como un grupo, el conjunto y la operacin deben satisfacer
algunas condiciones llamadas axiomas de grupo, estas condiciones son: tener la
propiedad asociativa, tener elemento identidad y elemento inverso. Mientras que
estas caractersticas son familiares a muchas estructuras matemticas, como los
diferentes sistemas de nmeros (por ejemplo los enteros dotados de la operacin
de adicin forman una estructura de grupo), la formulacin de los axiomas se
separa de la naturaleza concreta del grupo y su funcionamiento. Esto permite, en
lgebra abstracta y otros campos, manejar entidades de orgenes matemticos
muy diferentes de una manera flexible, mientras se conservan aspectos
estructurales esenciales de muchos objetos. La ubicuidad de los grupos en
numerosas reas (tanto dentro como fuera de las matemticas) los convierte en
un principio central en torno al cual se organizan las matemticas
contemporneas.
GRUPO ABELIANO
Dada una estructura algebraica sobre un conjunto A, y con una operacin o ley de
composicin interna binaria: " ". Se dice que la estructura
abeliano con respecto a la operacin si:

es un Grupo

1.

tiene estructura algebraica Grupo.

2.

tiene la Propiedad conmutativa.

Los grupos abelianos son as llamados en honor al matemtico noruego Niels

Henrik Abel, quien utiliz estos grupos en el estudio de las ecuaciones algebraicas
solubles por radicales.1 Los grupos que no son conmutativos se denominan no
abelianos (tambin no conmutativos, con menos frecuencia).
SEMIANILLO
En lgebra, un semianillo es una estructura algebraica ms general que un
anillo.Dado un conjunto A y dos operaciones binarias + y , llamadas adicin y
multiplicacin, la 3-tupla (A,+,) es un semianillo si satisface las siguientes
condiciones:
(A,+) es un monoide conmutativo con 0 como elemento neutro; es decir:
1. (a + b) + c = a + (b + c) para todo a, b, c en A (asociatividad)
2. a + b = b + a para todo a, b en A (conmutatividad)
3. 0 + a = a + 0 = a para todo a en A (elemento neutro)
(A,) es un monoide con 1 como elemento neutro; es decir:
1. (a b) c = a (b c) para todo a, b, c en A (asociatividad)
2. a 1 = 1 a = a para todo a en A (elemento neutro)
La multiplicacin distribuye sobre la adicin; es decir:
1. a (b + c) = a b + a c para todo a, b, c en A (distribucin por la
izquierda)
2. (a + b) c = a c + b c para todo a, b, c en A (distribucin por la
derecha)
0 es elemento absorbente con respecto a la multiplicacin; es decir:
1. 0 a = a 0 = 0
Entonces, un anillo es un semianillo en el que todo elemento tiene un inverso
aditivo u opuesto.

ANILLO
En lgebra moderna, un anillo es un sistema algebraico formado por un conjunto
no vaco y dos operaciones internas, llamadas usualmente suma y producto,
que cumplen ciertas propiedades.
En trminos ms especficos, se define a la terna (A,+,) como anillo si (A,+) es un
grupo abeliano y es una operacin asociativa y distributiva respecto de +. Suele
denominarse suma y producto a las operaciones + y , respectivamente. En
esta convencin, el elemento neutro de la suma se designa como 0 y el inverso
con respecto a la suma de un elemento a, perteneciente al conjunto A dado, se
denota como a.
El producto en un anillo no necesariamente tiene una operacin inversa definida1 ,
a diferencia de otras estructuras algebraicas como el cuerpo. Si el producto es
conmutativo, tal anillo se denomina anillo conmutativo. Adems, si existe un
elemento neutro para el producto, se dice que el anillo es unitario ya que, en este
caso, se emplea el nmero 1 para designar al elemento neutro del producto.
PSEUDOANILLO
En matemticas entendemos por pseudoanillo una Estructura algebraica de la
forma

donde R es un conjunto, la base del pseudoanillo, + y * son operaciones binarias y

existe 0, un elemento del conjunto, el cero del pseudoanillo, tal que
es un Grupo abeliano
es un semianillo.
Las operaciones + y * se dicen respectivamente suma y producto del pseudoanillo.
Cuando el producto de un pseudoanillo posee una unidad, que notamos con 1, es
decir, cuando
es un monoide,

es una estructura llamada anillo.

Si el producto de un pseudoanillo es conmutativo, la estructura se llama

pseudoanillo abeliano.
DOMINIO DE INTEGRIDAD
Un dominio de integridad, dominio ntegro, anillo ntegro, dominio entero1 es
un anillo
que carece de elementos divisores de cero por la izquierda y de
elementos divisores de cero por la derecha (con lo cual carece de elementos
divisores de cero).
Un subanillo de un dominio de integridad es tambin un dominio de integridad.En
la literatura "antigua" se exige (a veces se sobreentiende) que el anillo es
conmutativo y unitario, porque se ignoraba la existencia de anillos no conmutativos
que no tuvieran divisores de cero (por la izquierda o por la derecha). Los
dominios de Mal'cev son un tipo de anillos no conmutativos que carecen de
elementos divisores de cero (ni por la izquierda ni por la derecha). Respecto a
dominios ntegros no unitarios, el conjunto
es un subanillo no unitario del
dominio de integridad . En este artculo, un dominio ntegro ser siempre un
anillo conmutativo y unitario (ya que as se entiende en la mayor parte de la
literatura, sealndose los casos en que no se adopta estos criterios).
Todo cuerpo es dominio de integridad conmutativo y unitario. Ms en general, todo
anillo de divisin es dominio de integridad unitario.
CUERPO
En lgebra abstracta, un cuerpo o campo es una estructura algebraica en la cual
las operaciones llamadas adicin y multiplicacin se pueden realizar y cumplen las
propiedades: asociativa, conmutativa y distributiva de la multiplicacin respecto de
la adicin,1 adems de la existencia de inverso aditivo, de inverso multiplicativo y
de un elemento neutro para la adicin y otro para la multiplicacin, los cuales
permiten efectuar las operaciones de sustraccin y divisin (excepto la divisin por
cero); estas propiedades ya son familiares de la aritmtica de nmeros ordinarios.
Los cuerpos son estructuras algebraicas importantes de estudio en diversas ramas
de la matemtica: lgebra, anlisis matemtico, teora de los nmeros, puesto que
proporcionan la generalizacin apropiada de dominios de nmeros tales como los
conjuntos de nmeros racionales, de los nmeros reales, o de los nmeros
complejos. Los cuerpos eran llamados dominios racionales.
El concepto de un cuerpo se usa, por ejemplo, al definir el concepto de espacio
vectorial y las transformaciones en estos objetos, dadas por matrices, dos objetos

en el lgebra lineal cuyos componentes pueden ser elementos de un cuerpo

arbitrario. La teora de Galois estudia las relaciones de simetra en las ecuaciones
algebraicas, desde la observacin del comportamiento de sus races y las
extensiones de cuerpos correspondientes y su relacin con los automorfismos de
cuerpos correspondientes.
RETICULO
En matemticas, un retculo es una determinada estructura algebraica con dos operaciones
binarias, o bien un conjunto parcialmente ordenado con ciertas propiedades especficas
(siendo equivalentes ambos enfoques). El trmino "retculo" viene de la forma de los
diagramas de Hasse de tales rdenes.