Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

In algebra, il prodotto diretto esterno di due gruppi è un altro gruppo, costruito prendendo il prodotto cartesiano di questi e definendo l'operazione termine a termine.

La costruzione si estende facilmente in alcuni casi in cui il gruppo ha anche delle strutture aggiuntive: è possibile quindi effettuare il prodotto diretto di spazi vettoriali e anelli.

Il prodotto diretto di due gruppi (G₁, *₁), (G₂, *₂) è il gruppo (G₁× G₂, *_×) che si ottiene munendo il prodotto cartesiano G₁×G₂ dell'operazione *_× definita da

${\displaystyle (a_{1},a_{2})*_{\times }(b_{1},b_{2}):=(a_{1}*_{1}b_{1},a_{2}*_{2}b_{2}),}$

con ${\displaystyle a_{1}}$ e ${\displaystyle b_{1}}$ appartenenti a ${\displaystyle G_{1}}$ e ${\displaystyle a_{2}}$ e ${\displaystyle b_{2}}$ appartenenti a ${\displaystyle G_{2}}$.

Generalmente è possibile, per semplicità di lettura, omettere i vari simboli di prodotto, sottintendendo 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

${\displaystyle (a_{1},a_{2})(b_{1},b_{2}):=(a_{1}b_{1},a_{2}b_{2}).}$

Data la definizione, occorre dimostrare la sua consistenza, cioè che il prodotto definito goda effettivamente delle proprietà gruppali.

• L'associatività discende direttamente dall'analoga proprietà dei due gruppi G₁ e G₂.
• L'elemento neutro è dato da (e₁, e₂) dove e₁ ed e₂ sono gli elementi unità di G₁ e G₂ rispettivamente. Infatti:

  ${\displaystyle (e_{1},e_{2})(a_{1},a_{2})=(e_{1}a_{1},e_{2}a_{2})=(a_{1},a_{2}).}$

• L'elemento inverso di (a₁, a₂) è

  ${\displaystyle (a_{1},a_{2})^{-1}:=(a_{1}^{-1},a_{2}^{-1}),}$

  infatti:

  ${\displaystyle (a_{1}^{-1},a_{2}^{-1})(a_{1},a_{2})=(a_{1}^{-1}a_{1},a_{2}^{-1}a_{2})=(e_{1},e_{2}).}$

Se G₁ e G₂ sono scritti in notazione additiva, (G₁× G₂, +_×) è anche detto somma diretta dei due gruppi.

• I due gruppi fattori G₁ e G₂ possono essere identificati canonicamente con due sottogruppi normali

  ${\displaystyle H_{1}=\{(a_{1},e_{2})\ |\ a_{1}\in G_{1}\}}$

  ${\displaystyle H_{2}=\{(e_{1},a_{2})\ |\ a_{2}\in G_{2}\}}$

  rispettivamente. Infatti le due applicazioni

  ${\displaystyle f_{1}:G_{1}\to H_{1}\quad f_{1}(a_{1})=(a_{1},e_{2})}$

  ${\displaystyle f_{2}:G_{2}\to H_{2}\quad f_{2}(a_{2})=(e_{1},a_{2})}$

  sono isomorfismi di gruppi.
• Il prodotto di due gruppi finiti aventi n e m elementi è un gruppo con nm elementi.
• Il prodotto di due gruppi abeliani è abeliano.
• Il prodotto di due gruppi ciclici con p e q elementi è ciclico se e solo se p e q sono coprimi.

Un'estensione del concetto di prodotto diretto è il prodotto semidiretto tra gruppi.

Il prodotto diretto di n copie dello stesso gruppo G viene indicato con Gⁿ. Ad esempio, otteniamo i gruppi Zⁿ e Rⁿ a partire dai gruppi Z e R rispettivamente dei numeri interi e reali.

Se A e B sono due anelli, il loro prodotto diretto A × B ha una naturale struttura di anello, ottenuta definendo sia la somma che il prodotto termine a termine come sopra. Nel prodotto diretto ci sono divisori dello zero, infatti ${\displaystyle (a,0_{B})\cdot (0_{A},b)=0_{A\times B}}$

Il prodotto diretto V × W di due spazi vettoriali ha una naturale struttura di spazio vettoriale, ottenuta definendo somma e prodotto per scalare termine a termine. Quindi:

${\displaystyle \lambda (v,w)=(\lambda v,\lambda w)}$

Se due sottospazi U e W di uno spazio vettoriale V sono in somma diretta, allora il sottospazio U + W che generano è isomorfo al loro prodotto diretto U × W.

L'esempio più importante di prodotto diretto di spazi vettoriali è Kⁿ, definito come il prodotto diretto di n copie del campo K.

Il prodotto diretto di due campi è certamente un anello, ma non è mai un campo (a meno che uno dei due campi non sia banale). Infatti l'elemento (a, 0) non ha mai un inverso se a è diverso da zero.

• Glossario di teoria dei gruppi
• Topologia prodotto
• Prodotto semidiretto
• Prodotto intrecciato
• Complemento (teoria dei gruppi)

• Prodotto diretto, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Eric W. Weisstein, Direct Product, su MathWorld, Wolfram Research.
• (EN) Direct product, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato Teoremi Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

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