LazyAlgebra: What do you call something like a vector space, but where the vectors only form a semigroup rather than a group? /cc @posco
@josh_wills @posco it's defined over a field and a group... I want over a field and a semigroup.
-
-
@avibryant@josh_wills@posco in theory if you have a field relationship on a semi-group you can extend the semi-group to a group. in theory -
@avibryant@josh_wills@posco actually not just in theory. if you have * for FxG then you have -1*x in G* st x+(-1*x) = 0 in G* (G* >= G) -
@snoble@avibryant@josh_wills@posco alternative formulation: avi's structure doesn't exist unless the semigroup is already a group
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.