Cring

From Groupprops

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

Definition

A cring is a set equipped with the following structures:

  1. An abelian group structure with binary operation denoted by and identity element denoted by .
  2. A binary operation that is a 2-cocycle for trivial group action of the abelian group on itself, such that for all in the set.