Prodotto diretto: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Spazi vettoriali: Forzato PNG per le formule in paragrafo |
→Prodotto di due gruppi: Aggiunta precisazione |
||
Riga 7:
Il '''prodotto diretto''' di due [[gruppo (matematica)|gruppi]] (''G<sub>1</sub>'', *<sub>1</sub>), (''G<sub>2</sub>'', *<sub>2</sub>) è il gruppo (''G''<sub>1</sub>× ''G''<sub>2</sub>, *<sub>×</sub>) che si ottiene munendo il [[prodotto cartesiano]] ''G''<sub>1</sub>×''G''<sub>2</sub> dell'operazione *<sub>×</sub> definita da
:<math>(a_1,a_2)*_\times(b_1,b_2):=(a_1 *_1 b_1, a_2 *_2 b_2)
con <math>a_1</math> e <math>b_1</math> appartenenti a <math>G_1</math> e <math>a_2</math> e <math>b_2</math> appartenenti a <math>G_2</math>.
Generalmente è possibile, per semplicità di lettura, omettere i vari simboli di prodotto, sottointendendo che due elementi di un gruppo vengono moltiplicati col prodotto definito in quel gruppo, in questo modo la formula definitoria assume la forma più leggibile
| |||