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:
- (A0) (internal operation)
- (A1) associative:
- (A2) neutral element:
- (A3) inverse:
Simplest group
, and it is called the trivial group
Examples