prodotto diretto
prodotto diretto in algebra, relativamente a due gruppi (G1, +) e (G2, ∘) è il → prodotto cartesiano G1 × G2 dotato della naturale struttura di gruppo ereditata da G1 e G2 in cui l’operazione ∗ tra gli elementi di G1 × G2 è definita come segue: se a e b sono elementi di G1 e se g e h sono elementi di G2, allora
Il prodotto diretto di due gruppi abeliani è abeliano. Si parla di prodotto diretto anche in riferimento ad altre strutture. Per esempio, se V1 e V2 sono due spazi vettoriali definiti su uno stesso campo K, allora si può dotare il prodotto cartesiano V1 × V2 di una naturale struttura di spazio vettoriale sullo stesso campo K. Come gruppo additivo, la struttura è quella sopra definita di prodotto diretto di gruppi; la moltiplicazione per uno scalare è definita invece come segue: se a ∈ K è uno scalare e se v e w sono elementi rispettivamente di V1 e V2, allora a(v, w) = (av, aw).