Insieme di generatori

In algebra lineare, un insieme di generatori (o sistema di generatori) è un sottoinsieme di un insieme dotato di struttura algebrica tale che tutti gli elementi dell'insieme possono essere ottenuti dagli elementi del sottoinsieme, tramite combinazioni di operazioni definite sull'insieme.

Più in generale, se $S$ è un sottoinsieme di $A$, l'insieme $⟨S⟩$ generato da $S$ è il più piccolo sottoinsieme di $A$ chiuso rispetto alle operazioni definite su $A$ contenente $S$. Nei casi più frequenti, $A$ è un gruppo, un anello o uno spazio vettoriale.

Solitamente, le strutture che ammettono un numero finito di generatori sono una classe più facile da studiare: si ottengono così i gruppi finitamente generati e gli spazi vettoriali di dimensione finita.

Gruppi

Sia $G$ un gruppo e $S$ un sottoinsieme di $G$. Il sottogruppo $⟨S⟩$ generato da $S$ è il più piccolo sottogruppo di $G$ che contiene $S$. Se $S$ è l'insieme vuoto, $⟨S⟩$ è dunque il sottogruppo banale $\{e\}$. Se $S$ non è vuoto, allora $⟨S⟩$ consiste di tutti gli elementi che possono essere espressi come prodotto di elementi di $S$ e dei loro inversi.

Gruppo ciclico

Template:Vedi anche Quando $S=\{x\}$ ha un solo elemento $x$, allora si abbrevia $⟨S⟩=⟨x⟩$. In questo caso $⟨x⟩=\{x^i:i\in 𝐙\}$ è il sottogruppo ciclico formato da tutte le potenze di $x$.

In generale, un gruppo ciclico è un gruppo che può essere generato da un solo elemento.

Gruppo finitamente generato

Un gruppo è finitamente generato se ha un insieme finito di generatori. Elenchiamo alcuni esempi e proprietà dei gruppi finitamente generati.

• Ogni gruppo finito è finitamente generato, poiché il gruppo stesso è un insieme di generatori.
• Gli interi formano un gruppo finitamente generato, ma non finito.
• I numeri razionali formano un gruppo che non è finitamente generato.
• Il prodotto diretto di due gruppi finitamente generati è finitamente generato.
• Un quoziente di un gruppo finitamente generato è finitamente generato. Invece un sottogruppo di un gruppo finitamente generato può non essere finitamente generato.

Anelli

Sia $R$ un anello e $S$ un suo sottoinsieme. Il sottoanello $⟨S⟩$ generato da $S$ è il più piccolo sottoanello di $R$ che contiene gli elementi di $S$. Esso è costituito da tutte le combinazioni di somme e prodotti degli elementi di $S$ e dei loro opposti.

Spazi vettoriali

Template:Vedi anche Sia $V$ uno spazio vettoriale definito su un campo $K$. Un insieme di generatori $G$ dello spazio vettoriale $V$ è un insieme di vettori di $V$ tali che ogni vettore di $V$ è una combinazione lineare di un numero finito di elementi di $G$. In termini più formali: sia $I$ un insieme di indici, un insieme di generatori $G$ di $V$ è un insieme di vettori siffatto:

$G=\{v_i\in V,i\in I|\mathrm{\forall }v\in V,\mathrm{\exists }n\in \mathbb{N}:v=\sum _{j=1}^n{a}_j{v}_{i_j};a_1,\dots ,a_n\in K;i_1,\dots ,i_n\in I\}.$

La definizione fornita tiene conto del caso più generale, ossia quello in cui un insieme di generatori possa essere costituito da un numero infinito di elementi. Nel caso in cui l'insieme di generatori $G$ sia costituito da un numero finito di elementi, la definizione è equivalente alla seguente:

$G=\{v_1,\dots ,v_n\in V|\mathrm{\forall }v\in V,v=a_1{v}_1+\dots +a_n{v}_n;a_1,\dots ,a_n\in K\}.$

Si possono immediatamente dedurre alcune proprietà:

• La base di uno spazio vettoriale è sempre un insieme di generatori; al contrario, un insieme di generatori non è necessariamente una base.
• La minima cardinalità di un insieme $S$ di generatori per $V$ è la dimensione di $V$.

Una definizione equivalente può essere fornita facendo uso, come segue, dell'operatore $\mathrm{S}\mathrm{p}\mathrm{a}\mathrm{n}$ (copertura lineare). Un insieme di vettori $(v_i{)}_{i\in I}$ è un insieme di generatori per lo spazio vettoriale $V$ se e solo se $V=\mathrm{S}\mathrm{p}\mathrm{a}\mathrm{n}((v_i{)}_{i\in I})$. In particolare, un insieme finito di vettori $\{v_1,\dots ,v_n\}$ è un insieme di generatori per lo spazio vettoriale $V$ se e solo se $V=\mathrm{S}\mathrm{p}\mathrm{a}\mathrm{n}(v_1,\dots ,v_n)$.

Bibliografia

• Template:Cita libro
• Template:En Arfken, G. "Generators." §4.11 in Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 261–267, 1985.
• Marco Abate, Geometria, Milano, McGraw-Hill, 1996.

Voci correlate

• Base (algebra lineare)
• Copertura lineare
• Gruppo (matematica)
• Sottogruppo normale

Collegamenti esterni

• Template:Collegamenti esterni
• Template:Cita web