Jednoduchý prvek

Prvočíslo je zobecněním konceptu prvočísla na případ libovolného komutativního monoidu s oboustranným zrušením , definovaného jako nenulový prvek, který není jednotkovým dělitelem , takže součin může být dělitelný pouze pokud je alespoň jeden z prvků nebo dělitelný .

Jednoduchý prvek je vždy neredukovatelný , v obecném případě to z neredukovatelnosti jednoduchosti nevyplývá, ale v gaussovské pologrupě se pojmy neredukovatelnosti a jednoduchosti shodují, a navíc, pokud je každý neredukovatelný prvek jednoduchý, pak je pologrupa gaussovská .

Pojem se přirozeně přenáší do oblasti integrity , v tomto případě dochází k ekvivalenci neredukovatelnosti a jednoduchosti prvku pro faktoriální (Gaussovy) kruhy a z jednoduchosti všech neredukovatelných prvků v oblasti integrity vyplývá, že prsten je faktoriální. Kromě toho je jednoduchost prvku ekvivalentní jednoduchosti hlavního ideálu , který vytváří.

Existují také zobecnění pojmů jednoduchosti a neredukovatelnosti na nekomutativní případ.

Literatura