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

Subgrupo

Índice Subgrupo

En álgebra, dado un grupo G con una operación binaria *, se dice que un subconjunto no vacío H de G es un subgrupo de G si H también forma un grupo bajo la operación *. O de otro modo, H es un subgrupo de G si la restricción de * a H satisface los axiomas de grupo.

42 relaciones: Asociatividad (álgebra), Bicondicional, Centro de un grupo, Clase de equivalencia, Clase lateral, Conjunto generador de un grupo, Conmutatividad, Divisibilidad, Elemento neutro, Elemento simétrico, Elemento supremo e ínfimo, Estructura algebraica, Función biyectiva, Grupo (matemática), Grupo abeliano, Grupo cíclico, Grupo cociente, Grupo finito, Grupo simple, Grupo trivial, Homomorfismo de grupos, Intersección de conjuntos, Inyección canónica, Isomorfismo, Licencia de documentación libre de GNU, Número cardinal, Número entero, Operación binaria, P-grupo, Par ordenado, Partición de un conjunto, Relación de equivalencia, Restricción (matemáticas), Retículo (matemáticas), Retículo de subgrupos, Subconjunto, Subgrupo conmutador, Subgrupo normal, Teorema de Lagrange (teoría de grupos), Teoremas de Sylow, Unión de conjuntos, 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!!: Subgrupo y Asociatividad (álgebra) · Ver más »

Bicondicional

En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.

¡Nuevo!!: Subgrupo y Bicondicional · Ver más »

Centro de un grupo

En matemáticas, y más concretamente en teoría de grupos, el centro de un grupo es el subconjunto formado por los elementos que conmutan con todos los elementos del grupo.

¡Nuevo!!: Subgrupo y Centro de un grupo · Ver más »

Clase de equivalencia

En matemáticas, cuando los elementos de algún conjunto tienen una noción de equivalencia definida en ellos (formalizada como una relación de equivalencia), entonces se puede dividir naturalmente el conjunto en clases de equivalencia.

¡Nuevo!!: Subgrupo y Clase de equivalencia · Ver más »

Clase lateral

En matemáticas, sea G un grupo, H un subgrupo de G y g es un elemento cualquiera de G, entonces: Solo en el caso de que H sea un subgrupo normal coincidirán las clases laterales derecha e izquierda de H, lo cual constituye precisamente una de las definiciones de la condición de normalidad de un subgrupo.

¡Nuevo!!: Subgrupo y Clase lateral · Ver más »

Conjunto generador de un grupo

En teoría de grupos, un conjunto generador de un grupo G es un subconjunto S de G tal que todo elemento de G puede ser expresado como el producto de un número finito de elementos de S y de sus inversos.

¡Nuevo!!: Subgrupo y Conjunto generador de un grupo · 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!!: Subgrupo y Conmutatividad · Ver más »

Divisibilidad

En matemáticas, concretamente en aritmética, se dice que un número entero a es divisible entre otro entero b (no nulo) si al dividir a entre b el resto es cero o, dicho simbólicamente, a\div b.

¡Nuevo!!: Subgrupo y Divisibilidad · 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!!: Subgrupo 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!!: Subgrupo y Elemento simétrico · Ver más »

Elemento supremo e ínfimo

En matemáticas, dado un subconjunto S de un conjunto parcialmente ordenado \left(P,, el supremo de S, si existe, es el mínimo elemento de P que es mayor o igual a cada elemento de S. En otras palabras, es la mínima de las cotas superiores de S. El supremo de un conjunto S comúnmente se denota como \sup S.

¡Nuevo!!: Subgrupo y Elemento supremo e ínfimo · 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!!: Subgrupo y Estructura algebraica · Ver más »

Función biyectiva

En matemáticas, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de salida.

¡Nuevo!!: Subgrupo y Función biyectiva · 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!!: Subgrupo 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!!: Subgrupo y Grupo abeliano · Ver más »

Grupo cíclico

En teoría de grupos, un grupo cíclico es aquel que puede ser generado por un solo elemento; es decir, hay un elemento a del grupo G (llamado "generador" de G), tal que todo elemento de G puede ser expresado como una potencia de a. Si la operación del grupo se denota aditivamente, se dirá que todo elemento de G se puede indicar como un múltiplo de a, para n entero.

¡Nuevo!!: Subgrupo y Grupo cíclico · Ver más »

Grupo cociente

En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que "colapsa" el grupo normal N al elemento neutro.

¡Nuevo!!: Subgrupo y Grupo cociente · Ver más »

Grupo finito

En matemáticas y álgebra abstracta, un grupo finito es un grupo cuyo conjunto fundamental G tiene un número de elementos finito.

¡Nuevo!!: Subgrupo y Grupo finito · Ver más »

Grupo simple

En el álgebra moderna, y concretamente, en teoría de grupos, un grupo simple es un grupo no trivial con exactamente dos subgrupos normales: el subgrupo trivial y él mismo.

¡Nuevo!!: Subgrupo y Grupo simple · Ver más »

Grupo trivial

En matemática y más específicamente en teoría de grupos el grupo trivial es un grupo formado por un solo elemento, que es el elemento neutro del grupo.

¡Nuevo!!: Subgrupo y Grupo trivial · Ver más »

Homomorfismo de grupos

En álgebra, un homomorfismo de grupos es una función entre grupos que preserva la operación binaria.

¡Nuevo!!: Subgrupo y Homomorfismo de grupos · Ver más »

Intersección de conjuntos

En teoría de conjuntos, la intersección de dos (o más) conjuntos es una operación que resulta en otro conjunto que contiene los elementos comunes a los conjuntos partida.

¡Nuevo!!: Subgrupo e Intersección de conjuntos · Ver más »

Inyección canónica

En álgebra abstracta, si A es un subconjunto de B, entonces la inyección canónica (también conocida como función de inclusión, o mapa de inclusión) es la función i que envía a cada elemento x de A, a x, tratado como un elemento de B: A menudo se utiliza la «flecha enganchada» \hookrightarrow en lugar de la flecha de la función de arriba para denotar una inyección canónica.

¡Nuevo!!: Subgrupo e Inyección canónica · Ver más »

Isomorfismo

En matemáticas, un isomorfismo (del griego iso-morfos: Igual forma) es un homomorfismo (o más generalmente un morfismo) que admite un inverso.

¡Nuevo!!: Subgrupo e Isomorfismo · Ver más »

Licencia de documentación libre de GNU

La Licencia de documentación libre de GNU o GFDL (GNU Free Documentation License) es una licencia copyleft para contenido libre, diseñada por la Fundación para el Software Libre (FSF) para el proyecto GNU.

¡Nuevo!!: Subgrupo y Licencia de documentación libre de GNU · Ver más »

Número cardinal

El cardinal indica el número o cantidad de elementos de un conjunto, sea esta cantidad finita o infinita.

¡Nuevo!!: Subgrupo y Número cardinal · Ver más »

Número entero

Un número entero es un elemento del conjunto numérico que contiene los números naturales; que son \mathbb.

¡Nuevo!!: Subgrupo y Número entero · 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!!: Subgrupo y Operación binaria · Ver más »

P-grupo

En matemáticas, dado un número primo p, un p-grupo es un grupo en el que cada elemento tiene como orden una potencia de p: cada elemento es de orden potencia prima.

¡Nuevo!!: Subgrupo y P-grupo · Ver más »

Par ordenado

En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un elemento y otro.

¡Nuevo!!: Subgrupo y Par ordenado · Ver más »

Partición de un conjunto

Una partición de un conjunto A está formada por los subconjuntos A1, A2, A3,..., An, los cuales deben cumplir.

¡Nuevo!!: Subgrupo y Partición de un conjunto · Ver más »

Relación de equivalencia

En teoría de conjuntos y álgebra, la noción de relación de equivalencia sobre un conjunto permite establecer una relación entre los elementos del conjunto que comparten cierta característica o propiedad.

¡Nuevo!!: Subgrupo y Relación de equivalencia · Ver más »

Restricción (matemáticas)

En matemáticas, la restricción de una función es otra función definida en un subconjunto del dominio de la primera, y que toma los mismos valores para esos elementos.

¡Nuevo!!: Subgrupo y Restricción (matemáticas) · Ver más »

Retículo (matemáticas)

En matemáticas, específicamente en álgebra y teoría del orden, un retículo es una estructura algebraica en un conjunto: A \, con una relación binaria: \mathcal que es conjunto parcialmente ordenado y dos operaciones binarias, con la propiedad fundamental de que toda pareja a, b \in A de elementos tiene un único supremo (o extremo superior) en A, \; \sup(a,b) \in A y un único ínfimo (o extremo inferior) en A, \; \inf(a,b) \in A. El término «retículo» viene de la forma de los diagramas de Hasse de tales órdenes.

¡Nuevo!!: Subgrupo y Retículo (matemáticas) · Ver más »

Retículo de subgrupos

En matemáticas, el retículo de subgrupos de un grupo G es aquel retículo cuyos elementos son subgrupos de G, y la relación de orden parcial pertenece a un subconjunto.

¡Nuevo!!: Subgrupo y Retículo de subgrupos · Ver más »

Subconjunto

es subconjunto de otro conjunto si todos los elementos de pertenecen también a. Decimos entonces que «está contenido» dentro de.

¡Nuevo!!: Subgrupo y Subconjunto · Ver más »

Subgrupo conmutador

En matemáticas, el subgrupo conmutador de un grupo G, es el subgrupo generado por todos los elementos de la forma denominado conmutador de a con b. Al subgrupo conmutador también se le conoce como subgrupo derivado de G y se simboliza por G' o. Esto significa que si x\in entonces x se escribe como una palabra de conmutadores esto es, Se puede demostrar que es un subgrupo normal y que el grupo cociente G/ es abeliano.

¡Nuevo!!: Subgrupo y Subgrupo conmutador · Ver más »

Subgrupo normal

En matemáticas, un subgrupo normal o subgrupo distinguido N de un grupo G es un subgrupo invariante por conjugación; es decir, para cada elemento n\in N y cada g\in G, el elemento gng^ está en N. Se denota N\triangleleft G.

¡Nuevo!!: Subgrupo y Subgrupo normal · Ver más »

Teorema de Lagrange (teoría de grupos)

En teoría de grupos, el teorema de Lagrange es un resultado importante que relaciona el orden de un grupo finito G (su número de elementos) con el orden de cualquiera de sus subgrupos.

¡Nuevo!!: Subgrupo y Teorema de Lagrange (teoría de grupos) · Ver más »

Teoremas de Sylow

En matemáticas, específicamente en teoría de grupos, los teoremas de Sylow son una serie de teoremas nombrados en honor del matemático noruego Peter Ludwig Mejdell Sylow que proporcionan información detallada sobre el número de subgrupos de orden fijo contenidos en un grupo finito dado.

¡Nuevo!!: Subgrupo y Teoremas de Sylow · Ver más »

Unión de conjuntos

En la teoría de conjuntos, la unión de dos (o más) conjuntos es una operación que resulta en otro conjunto, cuyos elementos son los mismos de los conjuntos iniciales.

¡Nuevo!!: Subgrupo y Unión de conjuntos · 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!!: Subgrupo y Unión disjunta · Ver más »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »