@avibryant @posco Semimodule?
-
-
-
@avibryant@posco Out of interest, what's the instance you're working with? -
@tixxit@posco I'd like to generalize https://github.com/twitter/algebird/blob/develop/algebird-core/src/main/scala/com/twitter/algebird/DecayedVector.scala … a bit. It asks for a VectorSpace but could easily take a subset.
End of conversation
New conversation -
-
-
@avibryant@posco vector space is defined over a field, right? Isn't the equivalent for a ring called a module? -
@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 -
-
-
@avibryant@posco i.e., I'm not sure if that construction has a name.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@avibryant I guess you want something weaker than a module: http://en.wikipedia.org/wiki/Module_(mathematics) … I don't recall a name.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.