Homotopy Type Theory Q-algebra > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

A $\mathbb{Q}$-algebra is a $\mathbb{Q}$-vector ring space $A$ with a bilinear functionring homomorphism? $(h-)\cdot (-):\mathrm{<span><del\; class="diffmod">\; A</del><ins\; class="diffmod">\; \mathbb{Q}</ins></span>}\times A\to A$ (-)\cdot(-): h: A \mathbb{Q} \times A \to A

Examples

• Every contractible type is a $\mathbb{Q}$-algebra.

• The rational numbers are a $\mathbb{Q}$-algebra.

See also

• ring

  divisible group

• Z-algebra

• unital Q-algebra?

• algebra (module theory)