60 votos

Ejemplos de grupos infinitos tales que todos sus respectivos elementos son de orden finito.

Necesito ejemplos de grupos infinitos tales que todos sus elementos respectivos sean de orden finito.

1 votos

Hay que señalar que todos los ejemplos que aparecen a continuación están "infinitamente relacionados", lo que significa que no hay ningún conjunto generador que tenga un conjunto finito de "reglas" que describa cómo interactúan los generadores. Una presentación consiste en un conjunto de generadores y una lista de reglas. Es un problema abierto si existen grupos presentados infinitos, finitamente relacionados, todos cuyos elementos tienen orden finito.

0 votos

@user1729 ¡Así que puedes hacer una nueva pregunta!

2 votos

@awllower ¡Quizás debería haber dicho "un famoso problema abierto"! Ver este Pregunta de MathOverflow.

68voto

Aquí hay una. Deja que $(\mathbb{Q},+)$ denotan los grupos de números racionales bajo adición, y consideran su subgrupo $(\mathbb{Z},+)$ de números enteros. Entonces cualquier elemento del grupo $\mathbb{Q}/\mathbb{Z}$ tiene elementos de la forma $\frac{p}{q} + \mathbb{Z}$ que es de orden at-most $q$ . Por lo tanto, es de orden finito.

  • Grupo de todas las raíces de la unidad en $\mathbb{C}^{\times}.$

Aquí hay un enlace de MathOverflow que puede ser útil.

0 votos

Este es mi ejemplo favorito, pero puede considerar cambiar que el orden sea como máximo $q$

0 votos

@Belgi: Gracias por el comentario.

0 votos

@Chandrasekhar: ¿Podría el $\mathbb Z_{p^{\infty}}$ ¿ser un ejemplo aquí?

26voto

DiGi Puntos 1925

$G=(\Bbb Z/2\Bbb Z)^\omega$ o incluso $H^\omega$ para cualquier grupo finito $H$ .

Dejemos que $H$ sea un grupo finito, y sea $G=H^\omega$ el conjunto de secuencias infinitas de elementos de $H$ con la multiplicación definida por componentes. Si el orden de $H$ es $n$ entonces claramente $g^n=1_G$ para cada $g\in G$ .

Añadido: Para un ejemplo más interesante, veamos $G_n=\Bbb Z/n\Bbb Z$ para $n\in\Bbb Z^+$ y que $G$ sea la suma directa de los $G_n$ 's. En otras palabras, $G$ es el conjunto de secuencias $$\langle m_k:k\in\Bbb Z^+\rangle\in\prod_{k\in\Bbb Z^+}G_k$$ tal que sólo un número finito de $m_k$ son distintos de cero. Entonces $G$ es infinito, todos sus elementos tienen orden finito, y para cada $n\in\Bbb Z^+$ $G$ tiene un elemento de orden $n$ .

24voto

Tapendu Rana Puntos 41

Dejemos que $\mathcal{P}(X)$ sea el conjunto de potencias de un conjunto infinito $X$ . Considere el funcionamiento de diferencia simétrica , $\triangle$ , en $\mathcal{P}(X)$ .

Entonces, para todos los $A,B \in \mathcal{P}(X)$ tenemos que $A\triangle B=(A\setminus B)\cup(B\setminus A)$ . Se puede ver que $(\mathcal{P}(X),\triangle)$ es un grupo conmutativo con cada elemento de orden dos. Por lo tanto, cada elemento tiene un orden finito pero el grupo es infinito.

2 votos

El elemento de identidad $\emptyset$ tiene orden 1.

11voto

GmonC Puntos 114

$\mathbf Q/\mathbf Z$ y también el grupo $G^{\mathbb N}$ de secuencias infinitas de elementos en un grupo finito cualquiera $G$ (todos cuyos elementos tienen un orden que divide a $\#G$ ).

11voto

fretty Puntos 7351

¿Qué tal el grupo de polinomios con coeficientes de los enteros mod $2$ , bajo la adición. Cada elemento tiene orden $2$ , excepto $0$ , que es la identidad por lo que tiene orden 1.

Se puede hacer lo mismo con los polinomios con coeficientes en cualquier grupo finito. La suma de estos polinomios es casi la misma, sólo que ahora los coeficientes se calculan utilizando el producto de grupo de los coeficientes originales. Cada polinomio en esta construcción tiene que tener un orden finito por la finitud del grupo.

De hecho puedes hacer esta construcción pero tomando los coeficientes para estar en cualquier grupo que responda a tu pregunta y obtienes otro grupo que responde a tu pregunta.

0 votos

$\left(\left(\mathbb{Z}/n\mathbb{Z}\right)[x],+\right) \cong \left(\mathbb{Z}/n\mathbb{Z}\right)^{\omega}$ .

0 votos

Sí, lo sé... Sólo pensé en los polinomios primero.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X