Defining a cocycle
Hello everyone,
I would like to define an arbitrary group cocycle. That is, I want to define a function f:A×A→T, where A is my group and T is the unit circle, such that f satisfies the following rule:
f(a,b)f(ab,c)=f(b,c)f(a,bc)∀a,b,c∈A.
Any help will be appreciated it.
The given property does not uniquely define the function, and so your question is unclear.
Can you provide some Sage-specific details? What have you tried so far?