Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Descargar
¡Más rápido que el navegador!
 

Monoide

Índice Monoide

En álgebra abstracta, un monoide es una estructura algebraica con una operación binaria, que es asociativa y tiene elemento neutro, es decir, es un semigrupo con elemento neutro.

24 relaciones: Asociatividad (álgebra), Categoría de conjuntos, Conjunto, Conjunto vacío, Conmutatividad, Cuerpo (matemáticas), Elemento neutro, Elemento simétrico, Estructura algebraica, Funtor, Grupo (matemática), Grupo abeliano, Ley de composición, Magma (álgebra), Morfismo, Multiplicación, Número natural, Operación (matemática), Operación binaria, Operación interna, Producto tensorial, Semigrupo, Teoría de categorías, Unión disjunta.

Asociatividad (álgebra)

La asociatividad es una propiedad en el álgebra y la lógica proposicional que se cumple, si dados tres o más elementos cualquiera de un conjunto determinado, se verifica que existe una operación: \circledcirc, que cumpla la igualdad: Es decir, en una expresión asociativa con dos o más ocurrencias seguidas de un mismo operador asociativo, el orden en que se ejecuten las operaciones no altera el resultado, siempre y cuando se mantenga intacta la secuencia de los operandos.

¡Nuevo!!: Monoide y Asociatividad (álgebra) · Ver más »

Categoría de conjuntos

En matemática, la categoría de conjuntos es categoría cuyos objetos son todos los conjuntos y los morfismos son las funciones.

¡Nuevo!!: Monoide y Categoría de conjuntos · Ver más »

Conjunto

En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.

¡Nuevo!!: Monoide y Conjunto · Ver más »

Conjunto vacío

Desde principios del, en la matemática, particularmente en la teoría axiomática de Conjuntos de ZF o la teoría intuitiva de conjuntos, el conjunto vacío es el que no posee elemento alguno.

¡Nuevo!!: Monoide y Conjunto vacío · Ver más »

Conmutatividad

En matemáticas, la propiedad conmutativa o conmutatividad es una propiedad fundamental que tienen algunas operaciones según la cual el resultado de operar dos elementos no depende del orden en el que se toman.

¡Nuevo!!: Monoide y Conmutatividad · Ver más »

Cuerpo (matemáticas)

En matemática, concretamente en el campo del álgebra abstracta, un cuerpo (en ocasiones llamado campo como traducción de inglés field) es un sistema algebraico en el cual las operaciones llamadas adición y multiplicación se pueden realizar y cumplen las propiedades: asociativa, conmutativa y distributiva de la multiplicación respecto de la adición, además de la existencia de inverso aditivo, de inverso multiplicativo y de un elemento neutro para la adición y otro para la multiplicación, los cuales permiten efectuar las operaciones de sustracción y división (excepto la división por cero); estas propiedades ya son familiares de la aritmética de números racionales.

¡Nuevo!!: Monoide y Cuerpo (matemáticas) · Ver más »

Elemento neutro

El elemento neutro o elemento identidad de un conjunto A, dotado de una operación binaria interna \circledast: Es decir, un elemento neutro tiene un efecto neutro al ser utilizado en la operación \circledast.

¡Nuevo!!: Monoide y Elemento neutro · Ver más »

Elemento simétrico

En Álgebra abstracta, si tenemos un conjunto A \, en el que se ha definido una operación matemática \circledcirc, que anotamos: (A, \circledcirc) \,, siendo la operación \circledcirc, interna en A \,: Con elemento neutro e \,: Se dice que un elemento a \in A tiene: elemento simétrico por la izquierda respecto de la operación \circledcirc si: elemento simétrico por la derecha respecto de la operación \circledcirc si: elemento simétrico respecto de la operación \circledcirc si existe un elemento simétrico por la izquierda y por la derecha, esto es: Un elemento simétrico \bar de A \, es simétrico por la derecha del elemento a \, y simétrico por la izquierda del elemento a \,.

¡Nuevo!!: Monoide y Elemento simétrico · Ver más »

Estructura algebraica

En álgebra abstracta, una estructura algebraica, también conocida como sistema algebraico, es una n-tupla (a1, a2,..., an), donde a1 es un conjunto dado no vacío, y un conjunto de operaciones aplicables a los elementos de dicho conjunto.

¡Nuevo!!: Monoide y Estructura algebraica · Ver más »

Funtor

En teoría de categorías un funtor o functor es una función de una categoría a otra que lleva objetos a objetos y morfismos a morfismos de manera que la composición de morfismos y las identidades se preserven.

¡Nuevo!!: Monoide y Funtor · Ver más »

Grupo (matemática)

En álgebra abstracta, un grupo es una estructura algebraica formada por un conjunto no vacío dotado de una operación interna que combina cualquier par de elementos para componer un tercero dentro del mismo conjunto, y que satisface las propiedades asociativa, de existencia del elemento neutro (también llamado identidad), y de existencia de elementos inversos (en ocasiones llamados simétricos).

¡Nuevo!!: Monoide y Grupo (matemática) · Ver más »

Grupo abeliano

En matemáticas, un grupo abeliano o grupo conmutativo es un grupo en el cual la operación interna satisface la propiedad conmutativa, esto es, que el resultado de la operación es independiente del orden de los argumentos.

¡Nuevo!!: Monoide y Grupo abeliano · Ver más »

Ley de composición

En álgebra abstracta, la ley de composición es un tipo de operación binaria que da lugar a distintas estructuras algebraicas.

¡Nuevo!!: Monoide y Ley de composición · Ver más »

Magma (álgebra)

Un Magma es una estructura algebraica de la forma (A,\circledcirc) con A es un conjunto donde se ha definido una operación binaria interna: \circledcirc.

¡Nuevo!!: Monoide y Magma (álgebra) · Ver más »

Morfismo

En varios campos de las matemáticas, se llaman morfismos (u homomorfismos) a las aplicaciones entre estructuras matemáticas que preservan la estructura interna.

¡Nuevo!!: Monoide y Morfismo · Ver más »

Multiplicación

La multiplicación es una operación binaria y derivada de la suma que se establece en un conjunto numérico.

¡Nuevo!!: Monoide y Multiplicación · Ver más »

Número natural

En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.

¡Nuevo!!: Monoide y Número natural · Ver más »

Operación (matemática)

Una operación matemática es una función sobre una tupla y que obtiene un resultado, aplicando unas reglas preestablecidas sobre la tupla.

¡Nuevo!!: Monoide y Operación (matemática) · Ver más »

Operación binaria

Se define como operación binaria (o ley de composición) aquella operación matemática, que necesita el operador y dos operandos (argumentos) para que se calcule un valor.

¡Nuevo!!: Monoide y Operación binaria · Ver más »

Operación interna

Una operación matemática, se dice que es una operación interna, en un conjunto A si para todos los valores de la operación el resultado pertenece a A. En el caso de un conjunto A \, y una operación binaria \circledcirc definida sobre él (A, \circledcirc), tendremos que para dos elementos cualesquiera del conjunto A operados bajo \circledcirc, el resultado siempre pertenece al mismo conjunto A. Es decir: El resultado siempre pertenece al mismo conjunto.

¡Nuevo!!: Monoide y Operación interna · Ver más »

Producto tensorial

En matemáticas, el producto tensorial, denotado por \otimes, se puede aplicar en diversos contextos a vectores, matrices, tensores y espacios vectoriales.

¡Nuevo!!: Monoide y Producto tensorial · Ver más »

Semigrupo

Un semigrupo es un sistema algebraico de la forma (A,\circledcirc) en la cual A es un conjunto no vacío, \circledcirc es una operación interna definida en A: Un semigrupo cumple las dos siguientes propiedades: En otras palabras, un semigrupo es un magma asociativo.

¡Nuevo!!: Monoide y Semigrupo · Ver más »

Teoría de categorías

La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos.

¡Nuevo!!: Monoide y Teoría de categorías · Ver más »

Unión disjunta

En teoría de conjuntos, se dice que un conjunto es la unión disjunta de otros dos si la unión de estos últimos da como resultado el primero, y además estos son disjuntos entre sí.

¡Nuevo!!: Monoide y Unión disjunta · Ver más »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »