2
$\begingroup$

so, you have, for any two members of the algebraic structure A and B and any nonnegative real values a, b:

two operations: * and +, such that

a*A + b*A = (a+b)*A is in the structure

A + B = B + A is in the structure

0*A + B = B

but there is no guarantee that X s.t.

X + A = B

is in the structure.


As an example, the set of 2-dimensional Cartesian vectors that are in the first quadrant (i.e., x>=0 and y>=0) has the properties that I want. You can add them, scale them, but if you try to subtract them, you might leave the first quadrant.

Thanks very much!

$\endgroup$
6
  • $\begingroup$ I'm afraid this question isn't appropriate for MathOverflow. $\endgroup$ Jan 26, 2010 at 0:20
  • $\begingroup$ I don't think you can have fully specified what you want. Early in your question you make no mention of division or real numbers but later you say that monoids lack division by non-negative real numbers. $\endgroup$
    – Dan Piponi
    Jan 26, 2010 at 0:22
  • $\begingroup$ I tried to fix things-- maybe vector spaces are the closer analogy. $\endgroup$
    – Neil
    Jan 26, 2010 at 0:24
  • $\begingroup$ Why is this not appropriate for MathOverflow? $\endgroup$
    – Neil
    Jan 26, 2010 at 0:24
  • $\begingroup$ oh, and regarding division by real numbers, they are implied since if a*A forall nonnegative a is in the structure, so is (1/a)*A. $\endgroup$
    – Neil
    Jan 26, 2010 at 0:30

2 Answers 2

12
$\begingroup$

If the structure in question is a subset of a vector space, like it is in your example, I would call it a convex cone.

$\endgroup$
11
$\begingroup$

I believe it is called a module over a semiring. In your example, the semiring is commutative.

$\endgroup$
2
  • $\begingroup$ Thank you! So, I would just call it a "module over a commutative semiring"? $\endgroup$
    – Neil
    Jan 26, 2010 at 0:38
  • $\begingroup$ Yes. Alternatively, you could say it is a module over the commutative semiring of nonnegative real numbers. $\endgroup$
    – S. Carnahan
    Jan 26, 2010 at 1:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.