Classe di coniugio

Da Wikipedia, l'enciclopedia libera.

In matematica e specialmente in teoria dei gruppi, gli elementi di un gruppo possono essere divisi in classi di coniugio; gli elementi di una stessa classe di coniugio condividono molte proprietà, e il loro studio nel caso di gruppi non abeliani può essere di aiuto per la comprensione della loro struttura. Nel caso di gruppi abeliani, al contrario, ogni classe di coniugio è formata da un singolo elemento del gruppo.

Definizione[modifica | modifica wikitesto]

Sia un gruppo. Due elementi e di sono detti coniugati se esiste un terzo elemento in tale che . Si dimostra che la relazione di coniugio è una relazione di equivalenza, ed esiste quindi una partizione di in classi di equivalenza dette classi di coniugio:

Proprietà[modifica | modifica wikitesto]

  • L'unità appartiene sempre ad una propria classe di coniugio: .
  • Se è abeliano, per ogni in .
  • Se due elementi e appartengono alla stessa classe di coniugio, allora condividono lo stesso ordine.
  • Un elemento di appartiene al centro di se e solo se la sua classe di coniugio è formata solo dall'elemento stesso.
  • Se due elementi e sono coniugati, allora lo sono anche le loro potenze di ordine , cioè e .

Coniugio come azione di gruppi[modifica | modifica wikitesto]

Si può definire l'azione di coniugio come l'azione di in sé stesso:

Le orbite dell'azione di coniugio non sono altro che le classi di coniugio, mentre lo stabilizzatore di ogni elemento è il suo centralizzatore.

Allo stesso modo si può definire l'azione di sulla famiglia dei sottinsiemi o dei sottogruppi di :

Bibliografia[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica