AbelianGroup concept

Description

An abelian group is a commutative Group. Let a and b be arbitrary elements of the group. The following properties are assumed:

Refinement of

Group

Notation

Definitions

Valid expressions

Expression semantics

Complexity guarantees

Invariants

Commutativity a @ b = b @ a

Models

Notes