I Is subtraction an operation on Z?

  • Thread starter opus
  • Start date

opus

Gold Member
688
133
An operation * on A is a rule which assigns to each ordered pair (a,b) of elements of A exactly one element a*b in A.
There are 3 criterias that need to be met:
1) a*b is defined for every ordered pair (a,b) of elements of A.
2) a*b must be uniquely defined (unambiguous).
3) If a and b are in A, a*b must be in A.

Trying to figure out if subtraction meets these criterias on the integers. I know that we define subtraction in terms of addition, but I'm trying to go at this from scratch.

Now I have a couple questions that I'm unsure of.
For criteria 1: a*b needs to be defined for every (a,b) in A. But defined in terms of what? Axioms? If so, what axioms?
For criteria 2: Im not sure how to determine if this is uniquely defined. I know that a-b is unambiguous, in the sense of our daily use of it. But I'm not sure if I should be thinking about it that way.
 

fresh_42

Mentor
Insights Author
2018 Award
10,048
6,789
An operation * on A is a rule which assigns to each ordered pair (a,b) of elements of A exactly one element a*b in A.
There are 3 criterias that need to be met:
1) a*b is defined for every ordered pair (a,b) of elements of A.
2) a*b must be uniquely defined (unambiguous).
3) If a and b are in A, a*b must be in A.

Trying to figure out if subtraction meets these criterias on the integers. I know that we define subtraction in terms of addition, but I'm trying to go at this from scratch.
Indeed. Subtraction doesn't exist, because ##a-b = a+ (-b)## is usually only an abbreviation.
Now I have a couple questions that I'm unsure of.
For criteria 1: a*b needs to be defined for every (a,b) in A. But defined in terms of what? Axioms? If so, what axioms?
##\forall\,a\in A \,\,\forall\,b\in A \,\,\exists \,a-b##
For criteria 2: Im not sure how to determine if this is uniquely defined. I know that a-b is unambiguous, in the sense of our daily use of it. But I'm not sure if I should be thinking about it that way.
##c\in A \, : \,c=a-b \,\wedge \,d\in A \, : \,d=a-b \Longrightarrow c=d##
 

opus

Gold Member
688
133
∀a∈A∀b∈A∃a−b
Ok I can see how this is true.

c∈A:c=a−b∧d∈A:d=a−b⟹c=d
So here I believe you are saying that if c and d are in the set A, and if c=a-b and d=a-b, then c=d and therefore a-b is unique?
Also, this would clearly be a closed operation.

But then it seems like all 3 criteria have been met and subtraction would be an operation? Of course there's the commutativity issue, but those arent considered in the criteria for an operation.
 

fresh_42

Mentor
Insights Author
2018 Award
10,048
6,789
But then it seems like all 3 criteria have been met and subtraction would be an operation? Of course there's the commutativity issue, but those arent considered in the criteria for an operation.
Of course it is an operation. Just not what is usually meant by subtraction as the addition of an inverse element.
 

opus

Gold Member
688
133
Ahh ok I see. Thank you
 

WWGD

Science Advisor
Gold Member
4,138
1,726
Basically, ##\mathbb Z ## is a ring, which means it is a group under addition ( implying that addition of any two terms is defined), meaning that every element r has an additive inverse (-r). So ##a+(-b) ## is just addition of a with the additive inverse of b, (-b), so ##a+(-b) ## is just addition, which is well-defined. Just to repeat what Fresh said since this helps nit sink in. Subtraction is addition by/with the additive inverse, which is guaranteed to exist in a ring, since the ring is a group under addition; every element in a group has an inverse.
 
Last edited:

opus

Gold Member
688
133
Thank you kindly. Just getting used to the abstractness of the subject so sometimes it helps to have it spelt out for me.:DD
 

fresh_42

Mentor
Insights Author
2018 Award
10,048
6,789
Thank you kindly. Just getting used to the abstractness of the subject so sometimes it helps to have it spelt out for me.:DD
You defined ##-## as an operation on ##\mathbb{Z}##. This can be done, but it is neither commutative nor associative.

The usual subtraction is an abbreviation for adding the inverse, and as such it is commutative and associative:
##a-b= a+(-b)=(-b)+a## and ##(a-b)-c = (a+(-b))-c = (a+(-b))+(-c)=a+((-b)+(-c))=a+(-b-c)##.

In this sense, it makes an important difference, whether we define subtraction as stand alone operation, or as the abbreviation we usually associate it with.
 

opus

Gold Member
688
133
Understood. Thank you!
 

pasmith

Homework Helper
1,668
369
An operation * on A is a rule which assigns to each ordered pair (a,b) of elements of A exactly one element a*b in A.
There are 3 criterias that need to be met:
1) a*b is defined for every ordered pair (a,b) of elements of A.
2) a*b must be uniquely defined (unambiguous).
3) If a and b are in A, a*b must be in A.
What you have there is the definition of a function from [itex]A \times A[/itex] to [itex]A[/itex]. And that's all an operation on [itex]A[/itex] is: a function from [itex]A \times A[/itex] to [itex]A[/itex] which is written with infix notation ([itex]a \cdot b[/itex]) rather than normal function notation ([itex]f(a,b)[/itex]).
 

FactChecker

Science Advisor
Gold Member
2018 Award
4,730
1,614
Now I have a couple questions that I'm unsure of.
For criteria 1: a*b needs to be defined for every (a,b) in A. But defined in terms of what? Axioms? If so, what axioms?
Defined any way you want to define it. Suppose you define the operation '-' as the third member of a set of ordered triples, (a, b, a-b). Then that is defined for all integers a and b. That is enough.
For criteria 2: Im not sure how to determine if this is uniquely defined. I know that a-b is unambiguous, in the sense of our daily use of it. But I'm not sure if I should be thinking about it that way.
For any two integers, a and b, the calculation a-b is uniquely defined. That is enough.

You could build up the entire theory of addition and subtraction of integers, but I do not think that would be required here and it would be a distraction. The point is to specify the properties that one would want before '*' is called an operation. In the case of subtraction of integers, the fact that it is an operation on the integers is easy to see.
 

Want to reply to this thread?

"Is subtraction an operation on Z?" You must log in or register to reply here.

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top