Group

Metadata
shorthands: {}
aliases: [group, group axioms, Group axioms]
created: 2021-10-18 15:20:49
modified: 2022-11-12 02:22:35

is a group, if is a set and is a function so that:

Simplest group

, and it is called the trivial group

Examples

Comments