Haar, misura di
Haar, misura di per un gruppo topologico compatto e abeliano G(⋅), è una misura di Borel μ che soddisfa le seguenti condizioni:
• μ(x ⋅ S) = μ(S ⋅ x) = μ(S) per ogni x ∈ G e ogni sottoinsieme [...] ; 0 per ogni sottoinsieme aperto e non vuoto A ⊆ G;
• μ(E) < ∞ per ogni sottoinsieme compatto E ⊆ G.
Per esempio, la misura di Lebesgue è una misura di Haar sul gruppo moltiplicativo dei reali non nulli (→ Borel, misura di; → Lebesgue, misura di). ...
Leggi Tutto
rototraslazione
rototraslazióne [Comp. di roto- e traslazione] [ALG] Movimento rigido che si ottiene eseguendo prima una rotazione e poi una traslazione (o viceversa); il termine è usato solo con rifer. [...] che nel piano ogni r. si riduce a una rotazione. ◆ [ALG] Gruppo delle r.: l'insieme di tutti i movimenti nel piano o nello spazio; si tratta di un gruppo non abeliano (sono invece abeliani il sottogruppo delle traslazioni e quello delle rotazioni). ...
Leggi Tutto
Kronecker-Weber, teorema di
Kronecker-Weber, teorema di in algebra, stabilisce che se K è una estensione finita abeliana del campo Q dei numeri razionali, cioè un campo di numeri algebrici il cui gruppo [...] di Galois su Q è abeliano, allora esiste una radice dell’unità ζ ∈ C tale che K ⊂ Q(ζ). La possibilità di estendere il teorema ad altri campi numerici oltre a Q costituisce il dodicesimo problema di → Hilbert. ...
Leggi Tutto
permutabile
permutabile aggettivo che, riferito agli elementi di un insieme in cui sia definita un’operazione ∗, indica un elemento per il quale cambiando l’ordine di esecuzione dell’operazione con un [...] altro elemento il risultato non cambia. Gli elementi a, b di un gruppo G(∗) sono permutabili se a ∗ b = b ∗ a. Se tale uguaglianza vale per ogni coppia a, b di elementi del gruppo, il gruppo si dice commutativo (o abeliano). ...
Leggi Tutto
abelianizzazione
abelianizzazióne [Der. di abeliano] [ANM] Immagine dell'epimorfismo definito sul gruppo principale π₁(X), che ha come nucleo il sottogruppo dei commutatori di π₁(X): v. topologia algebrica: [...] VI 260 f ...
Leggi Tutto
abeliano
agg. – Relativo al matematico norv. N. H. Abel (1802-1829); in partic.: gruppo a., lo stesso che gruppo (v.) commutativo; integrale abeliano, su una curva algebrica piana, ogni integrale di una funzione razionale valutata sulla curva.
gruppo
s. m. [dal germ. kruppa]. – 1. Insieme di più cose o persone, distinte l’una dall’altra, ma riunite insieme in modo da formare un tutto: un g. di case, di persone; un g. di stelle; un g. d’aziende; g. familiare, costituito dai membri...