Grup trivial

În matematică un grup trivial este un grup format dintr-un singur element. Toate aceste grupuri sunt izomorfe, așa că se vorbește adesea despre grupul trivial. Singurul element al grupului trivial este elementul neutru și deci este de obicei notat ca atare: $0,1$, sau $e$, în funcție de context. Dacă se notează operația grupului astfel: $\circ ,$ atunci ea este definită prin $e\circ e=e.$ De asemenea, un monoid trivial definit similar este și el un grup, deoarece singurul său element este propriul său invers, prin urmare, este același cu grupul trivial.

Grupul trivial este diferit de mulțimea vidă, care nu are elemente, prin urmare îi lipsește un element neutru, prin urmare nu poate fi un grup.

Definiții

Având în vedere orice grup $G,$ grupul constând doar din elementul neutru este un subgrup al $G,$ și, fiind grupul trivial, se numește subgrupul trivial al lui $G.$

Când se referă la afirmația „$G$ nu are subgrupuri proprii netriviale”, termenul se referă la faptul că singurele subgrupuri ale lui $G$ sunt grupul trivial $\{e\}$ și grupul $G$ însuși.

Proprietăți

Grupul trivial este un Format:Ill-wd de ordinul $1$; ca atare poate fi notat ${\mathrm{Z}}_1$ sau ${\mathrm{C}}_1.$ Dacă operația grupului este numită „adunare”, grupul trivial este de obicei notat prin $0.$ Dacă operația grupului este numită „înmulțire”, atunci $1$ poate fi o notație pentru grupul trivial. Combinarea acestora conduce la inelul nul în care operațiile de adunare și înmulțire sunt identice și $0=1.$

Grupul trivial servește ca Format:Ill-wd în categoria grupurilor, ceea ce înseamnă că este atât un Format:Ill-wd cât și un Format:Ill-wd.

Grupul trivial poate fi transformat într-un grup ordonat biliniar echipându-l cu ordinea nestrictă $\le .$.

Vezi și

• Paradoxul calului

Legături externe

• Format:En icon Format:MathWorld