spire.algebra
A (left) group action of G on P is simply the implementation of a method actl(g, p), or g +> p in additive notation, such that:
G
P
actl(g, p)
g +> p
1. (g |+| h) +> p === g +> (h +> p) for all g, h in G and p in P.
(g |+| h) +> p === g +> (h +> p)
g
h
p
2. scalar.id +> p === p for all p in P.
scalar.id +> p === p
A (left) group action of
G
onP
is simply the implementation of a methodactl(g, p)
, org +> p
in additive notation, such that:1.
(g |+| h) +> p === g +> (h +> p)
for allg
,h
inG
andp
inP
.2.
scalar.id +> p === p
for allp
inP
.