Revision history [back]

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 functions form a group.

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

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$.