Preguntas de proof-theory014

22

2Resp

19806Vistas

Los irreductibles son primos en un UFD

Resuelta

Preguntado el 13 de Diciembre, 2012 por emmett

27

1Resp

1452Vistas

Demuestre que en cualquier grupo de orden $23 \cdot 24$ El $23$ -El subgrupo Sylow es normal.

Resuelta

Preguntado el 9 de Agosto, 2013 por Usuario no registrado

1

1Resp

69Vistas

∀

Resuelta

Preguntado el 18 de Octubre, 2021 por ksgr5566

1

1Resp

6158Vistas

Demostrar que si $X$ es un subconjunto de $Y$ entonces $X$ intersect $Z$ es un subconjunto de $Y$ intersect $Z$ para todos los conjuntos $X$ , $Y$ , $Z$ .

Resuelta

Preguntado el 6 de Octubre, 2014 por Kafshiel

1

1Resp

54Vistas

Prueba de conjuntos complementarios relativos

Resuelta

Preguntado el 29 de Agosto, 2019 por Dimitri Terweduwe

1

1Resp

563Vistas

Igualdad de la medida push-forward y la medida borel

Resuelta

Preguntado el 9 de Enero, 2017 por Crispino

1

1Resp

57Vistas

¿Es $T_n(R) \cong T_n(R)^{op}$ ?

Resuelta

Preguntado el 26 de Abril, 2015 por Christopher

1

1Resp

926Vistas

Problema de comprensión de la solución del problema [Hatcher 1.1.6].

Resuelta

Preguntado el 4 de Septiembre, 2017 por vikas srivastava

36

1Resp

8213Vistas

Olimpiada de Matemáticas 1988 problema 6: solución canónica (2) sin saltar de Vieta

Resuelta

Preguntado el 29 de Agosto, 2016 por Rutger Moody

2

1Resp

77Vistas

Para todo $n \geq 2$ tenemos que $\nu_2\left(\binom{4n}{2n}-(-1)^n\binom{2n}{n}\right)=s_2(n)+2+3 \nu_2(n).$

Resuelta

Preguntado el 17 de Septiembre, 2023 por Lonaldin

2

2Resp

127Vistas

Ayuda para entender una prueba breve para demostrar $\mathbb{Z}[X]/(X^2 - 3) \cong \mathbb{Z}[\sqrt{3}]$

Resuelta

Preguntado el 9 de Noviembre, 2021 por Rhaena

3

1Resp

230Vistas

¿Necesitas demostrar con un conjunto vacío?

Resuelta

Preguntado el 3 de Septiembre, 2021 por Gokiul

2

2Resp

162Vistas

Demostrando que la preimagen de un subgrupo normal es un subgrupo normal mostrando la igualdad de los cosets izquierdos y derechos

Resuelta

Preguntado el 21 de Agosto, 2020 por Novice

1

1Resp

281Vistas

Mostrar la equi-integrabilidad de un conjunto finito de funciones de $\mathcal{L}_{\mu}^1$

Resuelta

Preguntado el 11 de Febrero, 2014 por mobile-stream support

1

1Resp

115Vistas

Si $D_1, D_2 \in \mathbb R ^2, D_1 \cap D_2 \neq \emptyset$ son dos discos abiertos, entonces $\exists D_{(a, b)} \subset D_1 \cap D_2$

Resuelta

Preguntado el 7 de Julio, 2020 por Eduude

39

1Resp

1567Vistas

¿Puedes hacer la trivialidad de $\langle a, b, c \mid aba^{-1} = b^2, bcb^{-1} = c^2, cac^{-1} = a^2 \rangle$ más trivial?

Resuelta

Preguntado el 4 de Enero, 2019 por user2318170

2

1Resp

117Vistas

Verificación de Prueba. Teoría de Grupos.

Resuelta

Preguntado el 10 de Noviembre, 2017 por Manolis Lyviakis

1

1Resp

657Vistas

Versión generalizada del Tercer Lema de le Cam

Resuelta

Preguntado el 15 de Diciembre, 2015 por STF

1

2Resp

93Vistas

Pregunta sobre pasos específicos de la demostración del lema de Fatou.

Resuelta

Preguntado el 17 de Junio, 2020 por yi G

5

3Resp

7937Vistas

Demuestra que $\mathbb{Z}[i]$ es un dominio integral.

Resuelta

Preguntado el 25 de Marzo, 2018 por numericalorange

28

2Resp

71645Vistas

Si $G$ es un grupo de orden par, demuestra que tiene un elemento $a\neq e$ tal que $a^2=e$ .

Resuelta

Preguntado el 20 de Enero, 2015 por user136266

1

3Resp

105Vistas

¿Cómo demostrar que los números triangulares siguen el patrón de ser impar, impar, par, par, impar, impar...?

Resuelta

Preguntado el 1 de Diciembre, 2023 por Hal J

2

1Resp

152Vistas

$X = f^{-1}(f(X))$ si y solo si $X = f^{-1}(Z)$ para algun $Z \subseteq B$

Resuelta

Preguntado el 6 de Julio, 2020 por Air Mike

27

4Resp

64710Vistas

Prueba que la raíz cuadrada de un número entero positivo es un entero o irracional

Resuelta

Preguntado el 30 de Enero, 2017 por Chris Heegard

2

2Resp

103Vistas

Ejemplo de continuidad de medida y convergencia en medida

Resuelta

Preguntado el 28 de Octubre, 2019 por stat

2

4Resp

1911Vistas

Demostrar que hay un conjunto único $X$ tal que cada conjunto $Y$ , $Y∪X = Y$

Resuelta

Preguntado el 27 de Enero, 2016 por Jeff Bridges

2

2Resp

149Vistas

Demuestra que $f(A \cup B) = f(A) \cup f(B)$ donde $f: X \rightarrow Y$

Resuelta

Preguntado el 15 de Septiembre, 2014 por btelles

25

1Resp

1398Vistas

¿Hay una demostración teórica de grupo de que $(\mathbf Z/(p))^\times$ es cíclico?

Abierta

Preguntado el 17 de Febrero, 2020 por Leo

2

1Resp

893Vistas

(De Artin) Demuestra la fórmula general del discriminante de $x^n + px + q$ para $n ≥ 2$

Resuelta

Preguntado el 27 de Febrero, 2017 por Y.X.

1

1Resp

185Vistas

Descifrando la prueba de SLLN

Resuelta

Preguntado el 18 de Abril, 2015 por Sunrising

Preguntas de proof-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Los irreductibles son primos en un UFD

Demuestre que en cualquier grupo de orden $23 \cdot 24$ El $23$ -El subgrupo Sylow es normal.

∀

Demostrar que si $X$ es un subconjunto de $Y$ entonces $X$ intersect $Z$ es un subconjunto de $Y$ intersect $Z$ para todos los conjuntos $X$ , $Y$ , $Z$ .

Prueba de conjuntos complementarios relativos

Igualdad de la medida push-forward y la medida borel

¿Es $T_n(R) \cong T_n(R)^{op}$ ?

Problema de comprensión de la solución del problema [Hatcher 1.1.6].

Olimpiada de Matemáticas 1988 problema 6: solución canónica (2) sin saltar de Vieta

Para todo $n \geq 2$ tenemos que $\nu_2\left(\binom{4n}{2n}-(-1)^n\binom{2n}{n}\right)=s_2(n)+2+3 \nu_2(n).$

Ayuda para entender una prueba breve para demostrar $\mathbb{Z}[X]/(X^2 - 3) \cong \mathbb{Z}[\sqrt{3}]$

¿Necesitas demostrar con un conjunto vacío?

Demostrando que la preimagen de un subgrupo normal es un subgrupo normal mostrando la igualdad de los cosets izquierdos y derechos

Mostrar la equi-integrabilidad de un conjunto finito de funciones de $\mathcal{L}_{\mu}^1$

Si $D_1, D_2 \in \mathbb R ^2, D_1 \cap D_2 \neq \emptyset$ son dos discos abiertos, entonces $\exists D_{(a, b)} \subset D_1 \cap D_2$

¿Puedes hacer la trivialidad de $\langle a, b, c \mid aba^{-1} = b^2, bcb^{-1} = c^2, cac^{-1} = a^2 \rangle$ más trivial?

Verificación de Prueba. Teoría de Grupos.

Versión generalizada del Tercer Lema de le Cam

Pregunta sobre pasos específicos de la demostración del lema de Fatou.

Demuestra que $\mathbb{Z}[i]$ es un dominio integral.

Si $G$ es un grupo de orden par, demuestra que tiene un elemento $a\neq e$ tal que $a^2=e$ .

¿Cómo demostrar que los números triangulares siguen el patrón de ser impar, impar, par, par, impar, impar...?

$X = f^{-1}(f(X))$ si y solo si $X = f^{-1}(Z)$ para algun $Z \subseteq B$

Prueba que la raíz cuadrada de un número entero positivo es un entero o irracional

Ejemplo de continuidad de medida y convergencia en medida

Demostrar que hay un conjunto único $X$ tal que cada conjunto $Y$ , $Y∪X = Y$

Demuestra que $f(A \cup B) = f(A) \cup f(B)$ donde $f: X \rightarrow Y$

¿Hay una demostración teórica de grupo de que $(\mathbf Z/(p))^\times$ es cíclico?

(De Artin) Demuestra la fórmula general del discriminante de $x^n + px + q$ para $n ≥ 2$

Descifrando la prueba de SLLN

Etiquetas mas usadas

i-Ciencias.com

Powered by: