🔢 mathematics

On semigroups that are prime in the sense of Tarski, and groups prime in the senses of Tarski and of Rhodes

Questo articolo dimostra che la categoria dei semigruppi non contiene oggetti primi secondo la definizione di Tarski, fornisce invece esempi di tali oggetti per i monoidi e altre sottocategorie, e analizza le relazioni tra la primalità tarskiana e altre nozioni di primalità nel contesto dei gruppi e delle algebre finite.

Autori originali: George M. Bergman

Pubblicato 2026-03-16

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: George M. Bergman

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Il Gioco dei Mattoncini: Cosa rende un oggetto "Indivisibile"?

Immagina di avere un enorme magazzino pieno di costruzioni fatte con mattoncini (come i LEGO). In questo magazzino, puoi combinare due costruzioni per crearne una più grande (unendo i due set) o puoi smontare una costruzione grande per vedere da quali pezzi più piccoli è fatta.

In matematica, questi "mattoncini" sono strutture chiamate semigruppi e gruppi. I matematici si chiedono: "Esistono dei mattoncini così speciali che, se li trovi dentro una costruzione grande, sai per certo che sono stati usati come pezzo unico, e non sono stati nascosti dentro un altro pezzo?"

Questi mattoncini speciali si chiamano "primi" (o prime).

Il paper di Bergman esplora questa domanda in due mondi diversi: il mondo dei semigruppi (più caotico) e il mondo dei gruppi (più ordinato), usando due diverse regole di gioco.

1. Il Mondo dei Semigruppi: Il Caote dei "Nulla"

Nel primo capitolo, Bergman affronta una domanda posta da altri matematici: "Esistono dei semigruppi che sono 'primi'?"

L'analogia:
Immagina un semigruppo come una scatola di mattoncini dove, se ne prendi due e li unisci, il risultato è sempre lo stesso, indipendentemente da quali hai scelto. Chiamiamolo la "scatola del Nulla". Se hai una scatola del Nulla grande e una piccola, puoi mischiarle in modo che sembri che la piccola sia stata "nascosta" dentro la grande, anche se in realtà no.

La scoperta:
Bergman dimostra che nel mondo dei semigruppi non vuoti, non esistono mattoncini "primi".
È come se in questo magazzino, ogni volta che trovi un pezzo che sembra unico, qualcuno ti possa mostrare un trucco per smontarlo e ricomporlo in modo che sembri fatto da due pezzi diversi. Non c'è nulla che resista a questo "trucco".

Eccezione: Se però restringiamo il gioco ai monoidi (semigruppi che hanno un "punto di partenza" o un'unità, come il numero 0 nell'addizione), allora sì, esistono dei pezzi speciali che sono davvero indivisibili. I numeri naturali ($0, 1, 2, 3...$) con l'addizione sono un esempio perfetto di questi "primi".

2. Il Mondo dei Gruppi: Tre Modi per essere "Primi"

Passando ai gruppi (strutture matematiche più rigide, come i numeri interi con l'addizione o le rotazioni di un quadrato), la situazione cambia. Qui i matematici usano tre diverse definizioni di "essere primi", come se avessero tre diversi tipi di lenti per guardare le cose.

Lente 1: La Lente di Tarski (La regola del "Fattore Diretto")

La regola: Se il tuo gruppo è un pezzo di una costruzione grande, e quella costruzione è fatta unendo due gruppi A e B, allora il tuo gruppo deve essere un pezzo di A oppure un pezzo di B.
Il risultato: Bergman mostra che il gruppo dei numeri interi ( $\mathbb{Z}$ $Z$ ) NON è "primo" secondo questa lente.
- Perché? Immagina di avere due torri diverse. Bergman costruisce una torre gigante che sembra essere fatta unendo due torri diverse, ma se guardi bene, il gruppo dei numeri interi è nascosto dentro la torre gigante in un modo che non appartiene né alla torre A né alla torre B da sola. È un trucco matematico che sfrutta le proprietà infinite dei numeri.

Lente 2 e 3: Le Lenti di Rhodes (La regola del "Sottopezzo")

Queste lenti sono più flessibili. Non chiedono che il gruppo sia un pezzo diretto, ma solo che sia un "sottopezzo" (un pezzo che si può ottenere prendendo un sotto-gruppo e facendogli un po' di "pulizia" o divisione).

Rhodes-Primo (Diretto): Se il tuo gruppo è un sottopezzo di una costruzione fatta unendo A e B, allora deve essere un sottopezzo di A o di B.
Rhodes-Primo (Semidiretto): La stessa regola, ma vale anche se la costruzione è fatta "incollando" A e B in modo asimmetrico (come un'automobile dove il motore gira le ruote, ma le ruote non fanno girare il motore).

Le scoperte sui Gruppi:

I Gruppi Semplici: Sono i "super-eroi" di questo mondo. Se un gruppo è "semplice" (non può essere spezzato in pezzi più piccoli), allora è Rhodes-Primo in tutte le sue forme. Sono gli unici veri indivisibili.
I Gruppi Finiti: Per i gruppi finiti, la situazione è molto più ordinata. Se un gruppo non è un prodotto diretto di altri, allora è "Tarski-Primo".
Le Sorprese: Bergman mostra che ci sono gruppi che sono "Rhodes-Primi" (resistenti alla lente flessibile) ma non sono "Tarski-Primi" (non resistono alla lente rigida). È come se un oggetto fosse solido se lo colpisci con un martello di gomma, ma si spezza se lo colpisci con un martello d'acciaio.

3. Le Domande Aperte: Cosa non sappiamo ancora?

Il paper si conclude con una serie di domande che rimangono senza risposta, come indizi di un mistero da risolvere:

Esistono semigruppi "primi" se guardiamo solo quelli finiti (senza infiniti)?
Se un gruppo è "Rhodes-Primo" nel mondo dei gruppi finiti, lo è anche nel mondo infinito?
Come si comportano queste regole se cambiamo il tipo di "mattoncini" (ad esempio, usando solo gruppi che hanno un numero dispari di elementi)?

In Sintesi

George Bergman ci dice che:

Nel mondo caotico dei semigruppi, non esiste nulla di veramente "indivisibile" (nessun pezzo è unico), a meno che non introduciamo regole più rigide (come i monoidi).
Nel mondo ordinato dei gruppi, la definizione di "indivisibile" dipende da quanto sei severo con le regole.
- Se sei severo (Tarski), anche i numeri interi non sono indivisibili.
- Se sei più flessibile (Rhodes), i gruppi "semplici" sono gli unici veri campioni di indivisibilità.

È come se Bergman ci avesse dato una mappa per navigare in un labirinto di mattoncini, mostrandoci dove i muri sono solidi e dove, invece, ci sono passaggi segreti che permettono di ingannare l'occhio.

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo dell'algebra universale e della teoria dei semigruppi, focalizzandosi sul concetto di primalità (o "essere primo") di un oggetto algebrico.

Definizione di Tarski: Un oggetto $X$ in una categoria di algebre $\mathcal{C}$ (chiusa sotto prodotti diretti finiti) è definito primo (nel senso di Tarski) se la sua classe di isomorfismo $[X]$ è un elemento primo nel monoide commutativo delle classi di isomorfismo. Formalmente, se $X$ è un fattore diretto di un prodotto $Y = Y_0 \times Y_1$ , allora $X$ deve essere un fattore diretto di $Y_0$ o di $Y_1$ .
La domanda aperta: McKenzie, McNulty e Taylor ([9]) si sono chiesti se la categoria dei semigruppi non vuoti contenga oggetti primi in questo senso.
Distinzione concettuale: L'autore distingue la primalità di Tarski da due altre nozioni di "primalità" studiate dai teorici dei semigruppi (in particolare da John Rhodes), che riguardano i subquozienti (immagini omomorfe di sottogruppi) rispetto a prodotti diretti o semidiretti.

L'obiettivo del paper è determinare quali semigruppi e gruppi soddisfino queste diverse condizioni di primalità, esplorando le differenze tra categorie di semigruppi, monoidi e gruppi.

2. Metodologia

Bergman utilizza un approccio misto che combina:

Costruzioni algebriche esplicative: Creazione di controesempi specifici (es. semigruppi nulli, prodotti diretti modificati) per dimostrare la non-primalità.
Analisi strutturale: Studio delle proprietà di cancellazione, delle classi di equivalenza d'azione (action equivalence) e della struttura dei fattori diretti.
Estensione di omomorfismi: Uso di lemmi tecnici (es. Lemma 3.1) per estendere omomorfismi da ideali a gruppi, sfruttando la proprietà dei gruppi di avere elementi invertibili.
Teoria dei gruppi finiti: Applicazione del Teorema di Krull-Schmidt e analisi di gruppi monolitici (con un unico sottogruppo normale minimale) per caratterizzare la primalità nei gruppi finiti.
Algebra universale: Generalizzazione dei risultati a varietà di algebre arbitrarie.

3. Risultati Chiave e Contributi

A. Semigruppi (Sezioni 2-4)

Assenza di oggetti primi nei semigruppi: Il risultato principale della Sezione 2 è che la categoria dei semigruppi non vuoti non possiede alcun oggetto primo (Teorema 2.7).
- Metodo: L'autore dimostra che per ogni semigruppo non nullo $S$ , è possibile costruire un controesempio utilizzando semigruppi "nulli" ( $Null(\kappa)$ ) e prodotti diretti. In particolare, si mostra che $S \times Null(\kappa)$ è isomorfo a $S^+ \times Null(\kappa)$ , dove $S^+$ è una versione "espansa" di $S$ , rendendo impossibile la primalità di $S$ .
- Conseguenza: Nemmeno i semigruppi commutativi o quelli con elemento zero contengono oggetti primi.
Il caso dei Monoidi e della cancellazione: La situazione cambia drasticamente se si restringe la categoria.
- Nella categoria dei monoidi, e più in generale nei semigruppi cancellativi (destra, sinistra o debolmente), l'additivo semigruppo degli interi non negativi $\mathbb{N}+k$ (e in particolare $\mathbb{N}$ ) è primo (Teoremi 4.3 e 4.4).
- Strumento chiave: L'uso di mappe $\pi$ e $\nu$ che permettono di caratterizzare la decomposizione in prodotto diretto, mostrando che in presenza di cancellazione, la struttura è rigida abbastanza da impedire le decomposizioni "nascoste" tipiche dei semigruppi generali.

B. Gruppi: Confronto tra Primalità di Tarski e di Rhodes (Sezione 6)

L'autore introduce tre definizioni distinte per i gruppi:

Tarski-primo: Basato sui fattori diretti (come sopra).
Rhodes-primo (prodotto diretto): Se $G$ è un subquoziente di $G_0 \times G_1$ , allora è un subquoziente di $G_0$ o $G_1$ .
Rhodes-primo (prodotto semidiretto): Analogo per prodotti semidiretti.

Risultati principali sui gruppi:

Il gruppo degli interi $\mathbb{Z}$ : Non è Tarski-primo nella categoria dei gruppi (può essere un fattore diretto di un prodotto semidiretto senza esserlo dei fattori), ma è Rhodes-primo sia per prodotti diretti che semidiretti (Esempio 6.2).
Gruppi Finiti:
- Per i gruppi finiti, la primalità di Tarski è strettamente legata al Teorema di Krull-Schmidt: un gruppo finito non decomponibile è Tarski-primo.
- Implicazioni: Per i gruppi finiti vale la catena: Rhodes-primo (semidiretto) $\Rightarrow$ Rhodes-primo (diretto) $\Rightarrow$ Monolitico $\Rightarrow$ Tarski-primo.
- Controesempi: L'autore dimostra che le implicazioni inverse non sono vere. Esistono gruppi monolitici che non sono Rhodes-primi (Esempi 6.8, 6.9, 6.10), e gruppi Rhodes-primi per prodotti diretti che non lo sono per prodotti semidiretti (es. $S_n$ per $n \ge 3$ , Esempio 6.7).
- Gruppi Semplici: Ogni gruppo semplice non banale è Rhodes-primo rispetto ai prodotti semidiretti (Proposizione 6.4).
- Domanda aperta: Non tutti i gruppi Rhodes-primi per prodotti diretti sono semplici (esistono $p$ -gruppi non semplici che lo sono), ma la caratterizzazione completa rimane un problema aperto (Domanda 6.11).

C. Risultati Generali (Sezione 7)

Viene fornita una caratterizzazione della primalità di Rhodes rispetto ai prodotti diretti in varietà arbitrarie di algebre finite (Proposizione 7.1).
La condizione è equivalente al fatto che la varietà generata dall'oggetto $X$ sia un elemento join-prime nel reticolo delle sottovarietà, con una condizione aggiuntiva sui subquozienti.

4. Significato e Implicazioni

Risoluzione di una congettura: Il paper risolve negativamente la domanda di McKenzie et al. sulla primalità nella categoria generale dei semigruppi, mostrando che la struttura dei semigruppi è troppo "flessibile" (a causa di elementi non cancellativi e classi di equivalenza d'azione) per ammettere oggetti primi.
Distinzione fondamentale: Dimostra che la proprietà di essere "primo" dipende criticamente dalla categoria di riferimento. Un oggetto può non essere primo nei semigruppi ma esserlo nei monoidi o nei gruppi.
Gerarchia delle primalità: Nel contesto dei gruppi, il lavoro chiarisce la gerarchia tra le diverse nozioni di primalità (Tarski vs. Rhodes) e mostra che la nozione di Rhodes (basata sui subquozienti) è più forte e strutturale, specialmente per i gruppi finiti.
Strumenti per la ricerca futura: L'autore solleva diverse domande aperte, in particolare sulla caratterizzazione completa dei $p$ -gruppi Rhodes-primi e sulle relazioni tra le primalità in categorie di semigruppi, monoidi e gruppi per oggetti finiti.

In sintesi, il paper fornisce una mappa dettagliata delle condizioni sotto le quali gli oggetti algebrici possono essere considerati "indivisibili" (primi), evidenziando come la cancellazione e la struttura dei sottogruppi normali siano fattori determinanti nel distinguere tra le diverse nozioni di primalità.