🔢 mathematics

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

Dit artikel onderzoekt het bestaan van Tarski-prime objecten in categorieën van semigruppen en groepen, waarbij wordt aangetoond dat er geen dergelijke objecten bestaan in de categorie van niet-lege semigruppen, maar wel in die van monoiden en bepaalde subcategorieën, terwijl tevens verwante definities van 'primaliteit' in de context van groepen worden vergeleken.

Oorspronkelijke auteurs: George M. Bergman

Gepubliceerd 2026-03-16

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: George M. Bergman

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Kern: Wat is een "Priem" in de Wiskunde?

Stel je voor dat je een enorme verzameling Lego-blokken hebt. In de wiskunde noemen we deze verzamelingen algebraïsche structuren (zoals groepen, semigruppen of monoiden). De auteur onderzoekt een specifieke eigenschap van deze structuren, die hij "priem" noemt (in de zin van Tarski).

De Metafoor: De Onbreekbare Lego-toren
Stel je een object voor als een toren van Lego-blokken.

Als je deze toren kunt bouwen door twee andere torens (A en B) naast elkaar te zetten, zeggen we dat de grote toren een product is van A en B.
Een object is priem als het "onbreekbaar" is op een specifieke manier: Als je een grote toren hebt die uit A en B bestaat, en je weet dat je de grote toren ook kunt zien als een combinatie van X en Y, dan moet je object (de "priem") eigenlijk in X zitten of in Y zitten.

Klinkt logisch, toch? Alsof je zegt: "Als ik een auto heb die uit een motor en wielen bestaat, en ik zie die auto ook als een combinatie van een chassis en een carrosserie, dan moet de motor ofwel in het chassis zitten ofwel in de carrosserie."

Bergman vraagt zich af: Bestaan er in de wereld van wiskundige structuren objecten die echt "onbreekbaar" zijn volgens deze regels?

Deel 1: De Teleurstelling in de Wereld van "Semigruppen"

De paper begint met een slecht nieuwsbericht voor de wereld van semigruppen (dit zijn verzamelingen waar je dingen kunt "vermenigvuldigen", maar waar niet altijd een "nul" of "een" bestaat, en waar je niet altijd kunt terugrekenen).

Het Nieuws: Er zijn geen priem-objecten in de wereld van niet-lege semigruppen.

De Analogie:
Stel je voor dat je een enorme, rommelige doos met Lego-blokken hebt (een semigrup). Bergman bewijst dat je altijd een truc kunt vinden om die doos op te splitsen in twee kleinere dozen, en die weer op te splitsen, zonder dat je ooit een "onbreekbare" kern overhoudt die aan de regels voldoet.

Hij gebruikt hiervoor een slimme constructie met "Null-semigruppen". Denk hierbij aan een doos die vol zit met identieke, nutteloze blokken die allemaal hetzelfde doen (ze zijn "action equivalent"). Door deze "nutteloze blokken" toe te voegen aan je object, kun je het zo manipuleren dat het lijkt alsof het uit twee verschillende dingen bestaat, terwijl het eigenlijk niet "priem" is.

Conclusie: In de ruwe wereld van semigruppen is er geen enkele structuur die echt "priem" is. Ze zijn allemaal te manipuleren.

Deel 2: De Redding in de Wereld van "Monoiden" en "Cancellatieve" Systemen

Maar wacht! Als we de regels iets strenger maken, verandert het verhaal.

Bergman kijkt naar monoiden (semigruppen met een "een"-element, zoals een startpunt) en cancellatieve systemen (systemen waar je kunt "kansen": als $a \cdot x = b \cdot x$ , dan moet $a = b$ zijn).

Het Nieuws: Hier vinden we wél priem-objecten!
Het bekendste voorbeeld is de verzameling van de natuurlijke getallen ( $0, 1, 2, 3, \dots$ ) met optelling.

De Analogie:
Stel je voor dat je een ladder hebt. Je kunt de ladder niet zomaar in tweeën breken en denken dat je hem weer kunt samenvoegen tot een andere ladder, tenzij je de originele ladder (of een deel ervan) in één van de stukken terugvindt.
In deze strengere wereld (waar je niet zomaar "nutteloze blokken" kunt toevoegen om de structuur te veranderen) blijken de natuurlijke getallen onbreekbaar te zijn. Ze zijn de ultieme "priem".

Dit betekent dat als je een complexe structuur hebt die uit natuurlijke getallen bestaat, je die structuur altijd kunt herleiden tot de natuurlijke getallen zelf. Ze zijn de atomen van deze specifieke wiskundige wereld.

Deel 3: De Wereld van Groepen en de "Rhodes"-Regels

Dan springt de auteur over naar de wereld van groepen (waar je ook kunt terugrekenen, zoals bij optellen en aftrekken). Hier introduceert hij twee andere manieren om "priem" te zijn, bedacht door een wiskundige genaamd Rhodes.

Stel je voor dat je niet alleen kijkt of een object uit twee delen bestaat, maar ook of het een deel is van een groter geheel (een "subkwotient").

Tarski-Priem: Kijkt alleen naar directe producten (A × B).
Rhodes-Priem (Direct): Kijkt of het een deel is van een product.
Rhodes-Priem (Semidirect): Kijkt of het een deel is van een ingewikkelder constructie (waarbij de delen op elkaar inwerken).

Het Verbluffende Resultaat:
In de wereld van groepen gedraagt het getal Z (de gehele getallen: ..., -2, -1, 0, 1, 2, ...) zich heel anders dan in de wereld van de natuurlijke getallen.

In de wereld van natuurlijke getallen: Z is priem (onbreekbaar).
In de wereld van groepen: Z is NIET Tarski-priem.

De Analogie:
Stel je voor dat Z een lange rechte lijn is.
In de wereld van groepen kun je deze lijn "verdraaien" en "koppelen" aan een andere lijn op een manier die eruitziet als een product van twee andere lijnen, maar waarbij de originele lijn Z niet direct in één van de twee nieuwe lijnen zit. Het is alsof je een touw kunt splitsen in twee andere touwen, maar het originele touw zit erin verweven op een manier die je niet direct kunt zien.

Bergman toont aan dat Z wel "Rhodes-priem" is (het is een deel van het geheel), maar niet "Tarski-priem" (het is niet direct een factor). Dit laat zien hoe gevoelig deze definities zijn voor de regels van het spel.

Deel 4: Eindige Groepen en de "Monolith"

Voor eindige groepen (groepen met een eindig aantal elementen) is het verhaal weer anders. Hier geldt een soort "Krull-Schmidt Theorema": elke groep kan worden opgesplitst in onbreekbare stukken, en die stukken zijn uniek.

Bergman introduceert het concept van een monolith: een groep die één klein, onbreekbaar hartje heeft (een minimale normale ondergroep).

Als een groep een monolith heeft, is hij vaak "Rhodes-priem".
Maar hij toont aan dat dit niet altijd werkt. Er zijn groepen die een monolith hebben, maar die toch niet "priem" zijn volgens de strenge Rhodes-regels.

De Metafoor:
Stel je een kasteel voor met één onbreekbare toren (de monolith). Je zou denken dat dit kasteel onbreekbaar is. Maar Bergman toont aan dat je dit kasteel soms kunt bouwen als een combinatie van twee andere kastelen, waarbij de toren verspreid zit over beide, waardoor het kasteel niet als "één geheel" in één van de andere kastelen past.

Samenvatting in het Kort

In de ruwe wereld (Semigruppen): Er is niets dat echt "priem" is. Alles kan worden opgeblazen en gemanipuleerd tot iets dat niet aan de regels voldoet.
In de gestructureerde wereld (Monoiden): De natuurlijke getallen zijn de helden. Ze zijn echt "priem" en onbreekbaar.
In de wereld van Groepen: Het getal Z is een listig karakter. Het lijkt priem, maar is het niet volgens de strengste regels.
De Les: Of iets "priem" is, hangt volledig af van de regels van het universum waarin je leeft (de categorie van algebraïsche structuren). Wat in het ene universum een onbreekbaar atoom is, is in het andere universum gewoon een losse schakel in een keten.

Bergman's paper is dus een zoektocht naar de "heilige graal" van de onbreekbaarheid in de wiskunde, waarbij hij ontdekt dat deze heilige graal soms bestaat en soms verdwijnt, afhankelijk van hoe je de regels van het spel definieert.

Titel en Context

Titel: Over halfgroepen die priem zijn in de zin van Tarski, en groepen die priem zijn in de zin van Tarski en Rhodes.
Auteur: George M. Bergman.
Onderwerp: Universale algebra, semigroepen, monoiden en groepentheorie.
Doel: Het onderzoeken van het concept van "priemheid" (prime objects) in verschillende categorieën van algebraïsche structuren, specifiek gericht op de definities van Tarski en Rhodes.

1. Het Probleem en Achtergrond

Het artikel behandelt een fundamentele vraag uit de universle algebra, zoals geformuleerd door McKenzie, McNulty en Taylor in hun werk [9]: bestaan er "prieme objecten" in de categorie van niet-lege halfgroepen (semigroups)?

Definitie van Tarski: Een object $X$ in een categorie $\mathcal{C}$ (gesloten onder eindige directe producten) is priem als zijn isomorfieklasse $[X]$ een priem element is in de commutatieve monoid van isomorfieklassen. Concreet: als $X$ een directe factor is van een product $Y_0 \times Y_1$ , dan moet $X$ een directe factor zijn van $Y_0$ of van $Y_1$ .
Definitie van Rhodes: Semigroup-theoretici gebruiken twee andere definities van priemheid, gebaseerd op het concept van een subkwotiënt (een homomorf beeld van een subgroep/subalgebra). Een object is Rhodes-priem ten opzichte van directe producten (of semidirecte producten) als het, wanneer het een subkwotiënt is van een product $G_0 \times G_1$ (resp. $G_0 \rtimes G_1$ ), een subkwotiënt is van $G_0$ of $G_1$ .

De hoofdvraag is of deze concepten bestaan in de categorie van halfgroepen, en hoe ze zich verhouden tot elkaar in de categorie van groepen.

2. Methodologie

Bergman hanteert een combinatie van constructieve tegenvoorbeelden, structurele analyse en het gebruik van specifieke algebraïsche hulpmiddelen:

Constructie van tegenvoorbeelden: Voor de categorie van halfgroepen worden specifieke structuren geconstrueerd (zoals null halfgroepen en skeletten) om te tonen dat bepaalde objecten niet priem zijn.
Actie-equivalentie: Het artikel introduceert en gebruikt het concept van "actie-equivalentie" (elementen $x, x'$ zijn equivalent als $xy = x'y$ en $yx = yx'$ voor alle $y$ ). Dit is cruciaal voor het analyseren van directe producten van halfgroepen.
Idealen en uitbreidingen: Voor positieve resultaten (waar objecten wel priem blijken te zijn) wordt gebruik gemaakt van idealen in halfgroepen en het uitbreiden van homomorfismen naar groepen (Lemma 3.1).
Groepentheoretische technieken: Voor de analyse van groepen worden concepten als monolithische groepen, Krull-Schmidt stellingen, en de structuur van semidirecte producten gebruikt.
Vergelijkende analyse: De auteur vergelijkt strikt de definities van Tarski en Rhodes binnen de context van eindige en oneindige groepen.

3. Belangrijkste Resultaten

A. De Categorie van Halfgroepen (Semigp)

Hoofdstelling (Stelling 2.7): De categorie van niet-lege halfgroepen bevat geen priem objecten.
- Redenering: Voor elke niet-nul halfgroep $S$ kan een constructie worden gemaakt (met behulp van oneindige null halfgroepen $Null(\kappa)$ ) die laat zien dat $S$ een directe factor is van een product, maar niet van de individuele factoren.
- Uitzondering: Dit resultaat geldt ook voor commutatieve halfgroepen en halfgroepen met een nul-element.
Vraag 2.9: Het blijft een open vraag of de categorie van eindige halfgroepen priem objecten bevat. De huidige bewijzen vereisen oneindige constructies.

B. Positieve Resultaten voor Monoiden en Cancellatieve Halfgroepen

Hoewel algemene halfgroepen geen priem objecten hebben, gelden er wel positieve resultaten voor subcategorieën:

Stelling 4.3: De additieve halfgroep van niet-negatieve gehele getallen $\mathbb{N}+k$ is priem in de categorie van zwakke cancellatieve halfgroepen (en dus ook in de sterkere categorieën van linkscancellatieve, rechtscancellatieve en cancellatieve halfgroepen).
Stelling 4.4 & Propositie 4.5: De halfgroep $\mathbb{N}$ (en meer algemeen alle niet-triviale submonoiden van $\mathbb{N}$ ) is priem in de categorie van monoiden.
Algemene Resultaten: Er wordt verwezen naar een resultaat van Jónsson-Tarski en McKenzie et al. dat aangeeft dat in variëteiten van algebren met een "centrum" (zoals monoiden), veel objecten priem zijn als ze niet als niet-triviale directe producten kunnen worden ontbonden.

C. Groepen: Tarski vs. Rhodes

In de categorie van groepen blijken de definities van Tarski en Rhodes fundamenteel verschillend:

Voorbeeld 6.2: De additieve groep van de gehele getallen $\mathbb{Z}$ $Z$ is niet Tarski-priem, maar is wel Rhodes-priem (zowel voor directe als semidirecte producten).
- Reden: $\mathbb{Z}$ kan worden geschreven als een directe factor van een product $G = ( \mathbb{Z}_p \rtimes \mathbb{Z} ) \times ( \mathbb{Z}_q \rtimes \mathbb{Z} )$ , maar is geen directe factor van de individuele factoren. Echter, als subkwotiënt gedraagt het zich wel als een priem object.
Eindige Groepen:
- Stelling 6.3: Voor eindige groepen geldt de implicatieketen:
  Rhodes-priem (semidirect) => Rhodes-priem (direct) => Monolithisch => Tarski-priem.
- Propositie 6.5 (Olshanskiy): Een niet-triviale eindige groep is Rhodes-priem ten opzichte van semidirecte producten dan en slechts dan als deze simpel is.
- Propositie 6.6: Er worden voldoende voorwaarden gegeven voor Rhodes-priemheid ten opzichte van directe producten (bijv. als de monoliet niet-commutatief is, of als de groep een semidirect product is van zijn monoliet).
Tegenvoorbeelden: Er worden specifieke voorbeelden gegeven (zoals bepaalde $p$ -groepen van orde $p^5$ en $p^3$ ) die monolithisch zijn maar niet Rhodes-priem zijn ten opzichte van directe producten. Dit toont aan dat de implicaties in Stelling 6.3 niet omkeerbaar zijn.

4. Bijdragen en Significatie

Negatief antwoord op een open vraag: Het artikel beantwoordt definitief de vraag van McKenzie, McNulty en Taylor voor de categorie van algemene halfgroepen: er zijn geen priem objecten. Dit is een significant negatief resultaat dat de structuur van de monoid van isomorfieklassen van halfgroepen blootlegt.
Nuancering van "Priemheid": Het werk illustreert duidelijk dat de keuze van de categorie (halfgroepen vs. monoiden) en de definitie van priemheid (Tarski vs. Rhodes) cruciaal zijn. Wat niet priem is in een brede categorie (halfgroepen), kan wel priem zijn in een subcategorie (monoiden).
Verband tussen definities: Het artikel legt een gedetailleerd verband bloot tussen de Tarski-definitie (gebaseerd op directe factoren) en de Rhodes-definitie (gebaseerd op subkwotiënten). In de wereld van groepen blijken deze concepten niet equivalent te zijn; Tarski-priemheid is een sterkere, maar minder vaak voorkomende eigenschap dan Rhodes-priemheid.
Open Vragen: Het artikel identificeert belangrijke open problemen, zoals:
- Bestaan er priem objecten in de categorie van eindige halfgroepen?
- Zijn er eindige monolithische groepen die niet Rhodes-priem zijn voor directe producten, maar wel voor semidirecte producten?
- Hoe verhouden de implicaties tussen de verschillende definities van priemheid zich in de categorie van alle (niet-eindige) groepen?

Conclusie

Bergman's paper is een grondige analyse van de decompositie-eigenschappen van algebraïsche structuren. Het toont aan dat de eigenschap "priem" in de zin van Tarski in de categorie van halfgroepen vrijwel niet voorkomt, maar dat deze wel voorkomt in subcategorieën zoals monoiden. Voor groepen wordt een complexe hiërarchie van priemheid blootgelegd, waarbij de definitie van Rhodes (via subkwotiënten) een veel rijkere structuur biedt dan de strikte Tarski-definitie, met name in de context van eindige groepen en $p$ -groepen. De resultaten zijn fundamenteel voor het begrip van de structuurtheorie van algebren en de relatie tussen directe producten en subkwotiënten.