Gruppo residualmente finito

Abbozzo
Questa voce sull'argomento algebra è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

In algebra, un gruppo G {\displaystyle G} è residualmente finito se per ogni elemento non banale g {\displaystyle g} esiste un omomorfismo di gruppi

f : G H {\displaystyle f:G\to H}

a valori in un gruppo finito, tale che

f ( g ) 1. {\displaystyle f(g)\neq 1.}

Questa condizione può essere espressa in vari modi equivalenti. I sottogruppi residualmente finiti contengono "molti" sottogruppi normali. Esempi di gruppi residualmente finiti sono i gruppi finiti, i gruppi liberi, i gruppi nilpotenti finitamente generati e i sottogruppi di G l n ( C ) {\displaystyle Gl_{n}(\mathbb {C} )} finitamente generati.

Definizioni alternative

Le definizioni seguenti sono equivalenti a quella data.

  • G {\displaystyle G} è residualmente finito se per ogni elemento g {\displaystyle g} esiste un sottogruppo normale H {\displaystyle H} di indice finito non contenente g {\displaystyle g} ,
  • G {\displaystyle G} è residualmente finito se l'intersezione di tutti i sottogruppi di indice finito è il sottogruppo banale { e } {\displaystyle \{e\}} .
  • G {\displaystyle G} è residualmente finito se l'intersezione di tutti i sottogruppi normali di indice finito è { e } {\displaystyle \{e\}} .
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica