Obtaining a group from distributive lattices

asked 2020-09-14 18:29:47 +0100

klaaa gravatar image

updated 2020-09-14 18:31:13 +0100

Let $P$ be a finite lattice with incidence algebra $I(P,K)$ over a field $K$. A function $f$ in $I(P,K)$ is called strongly multiplicative if $f(x \land y , x \lor y)=f(x \land y, x) f(x \land y ,y )$ for all $x,y \in P$. $P$ is distributive if and only if the strongly multiplicative invertible functions form a group.

My question is whether there is an easy way to obtain this group using Sage for a given $P$.

edit retag flag offensive close merge delete

Comments

One can of course implement this group. It has a lot of elements, even if $K$ is finite, so the implementation depends on the needs. What should be done with this sage implementation? It is a good piece of work...

dan_fulea gravatar imagedan_fulea ( 2020-09-22 12:29:10 +0100 )edit