MultiplicativeAbelianGroup concept

Description

A MultiplicativeAbelianGroup is an AbelianGroup equipped with the multiplication (*) operator.

Refinement of

AbelianGroup and MultiplicativeGroup.

Notation

Definitions

Valid expressions

None in addition to those defined by MultiplicativeGroup.

Expression semantics

Complexity guarantees

Invariants

Models

Notes