nLab
inner product abelian group
Contents
Context
Algebra
Group theory
group theory
Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
Contents
1. Definition
An inner product abelian group is an abelian group with a binary function called the inner product such that the following properties hold:
- for all , and ;
- for all , and
- for all and .
where is an involution on the integers.
Typically, the inner product is defined with another axiom
- for all and , and
but this is provable for any binary function which is left and right distributive over the abelian group operations.
2. Properties
3. See also
Created on May 11, 2022 at 12:27:29.
See the history of this page for a list of all contributions to it.