Trivialna grupa

Trivialna grupa je v matematiki vsaka grupa z enim samim elementom. Vse take grupe so izomorfne. Element trivialne grupe je nevtralni element, zato ga običajno označimo z $0$, $1$ ali $e$; odvisno od konteksta. Če operacijo na grupi označimo z $\star$, potem je definirana z $e\star e=e$.

Podobno definiran trivialni monoid je vedno tudi grupa, saj je njegov edini element samemu sebi inverz.

Trivialna grupa se razlikuje od prazne množice po tem, da ima vedno element, saj grupa po definiciji ne more biti prazna.

Definicije

Naj bo $G$ poljubna grupa. Potem je grupa, ki jo sestavlja samo njen nevtralni element, vedno podgrupa grupe $G$. Ker je trivialna, jo imenujemo trivialna podgrupa grupe $G$.

Če grupa $G$ nima druge podgrupe kot trivialno in samo sebe, pravimo, da nima prave podgrupe.

Lastnosti

Trivialna grupa je ciklična grupa reda $1$, zato jo lahko označimo z $({\mathbb{Z}}_1,+)$. Če operacijo na grupi imenujo seštevanje, trivialna grupo ponavadi označimo z $0.$ Če operacijo na grupi imenujemo množenje, pa jo označimo z $1$. Z združevanjem teh dveh operaciji na isti množici, dobimo trivialni kolobar, v katerem operaciji seštevanja in množenja ter elementa $0$ in $1$ sovpadajo.

V kategoriji grup je trivialna grupa začetni in končni objekt.