Defining a cocycle

asked 1 year ago

asdfg gravatar image

updated 0 years ago

FrédéricC gravatar image

Hello everyone,

I would like to define an arbitrary group cocycle. That is, I want to define a function f:A×AT, 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,cA.

Any help will be appreciated it.

Preview: (hide)

Comments

The given property does not uniquely define the function, and so your question is unclear.

Max Alekseyev gravatar imageMax Alekseyev ( 1 year ago )

Can you provide some Sage-specific details? What have you tried so far?

John Palmieri gravatar imageJohn Palmieri ( 1 year ago )