Mixing
Is it possible to prove this associativity of the group through the inheritance of the operation?
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
Prove associativity in the group $(A,cdot)$ where $$beginmatrixA&=&leftlbrace1,-1,x,-x,x^2,-x^2rightrbrace&&textwith&x^3=1endmatrix$$ and $cdot$ product.
The statement is as it appears here.
Instead of making the table of elements of $(A, cdot)$, can I say that associativity is fulfilled by inheritance of the product of functions?
We have done exercises where we had directly demonstrated through the inheritance, but here I do not know because I do not know what the $x$ is (I am sure that it is a function). Or should I prove the associativity for all the elements?
Thank you!
group-theory finite-groups alternative-proof associativity
asked Jul 23 at 0:31
manooooh
376213
 |Â
show 7 more comments
up vote
0
down vote
favorite
Prove associativity in the group $(A,cdot)$ where $$beginmatrixA&=&leftlbrace1,-1,x,-x,x^2,-x^2rightrbrace&&textwith&x^3=1endmatrix$$ and $cdot$ product.
The statement is as it appears here.
Instead of making the table of elements of $(A, cdot)$, can I say that associativity is fulfilled by inheritance of the product of functions?
We have done exercises where we had directly demonstrated through the inheritance, but here I do not know because I do not know what the $x$ is (I am sure that it is a function). Or should I prove the associativity for all the elements?
Thank you!
group-theory finite-groups alternative-proof associativity
asked Jul 23 at 0:31
manooooh
376213
2
Inheritance of what "product of functions"? What do you mean when you say you are "sure" that $x$ is a function? Certainly nothing in the problem statement seems to indicate that $x$ is a function...
– Eric Wofsey
Jul 23 at 0:44
1
Right. You can make this work out but you need to specify the domain and codomain of the functions, taking into account the need to satisfy the relation $x^3 = 1$.
– Qiaochu Yuan
Jul 23 at 0:45
Ok. The statement says nothing about the domain and codomain, you are right. Thanks!
– manooooh
Jul 23 at 0:47
1
@manooooh If $-1,0,1$ is understood as a subset of $mathbbZ$ and $cdot$ as the usual integer multiplication then yes, the "inheritance" works here perfectly fine. As for your $A$ problem: I'm very surprised that someone gave something like this at an exam without further clarification. This sounds really incompetent. But if you have to work with this kind of things then I guess you have to make some implicit assumptions, like $-x=(-1)cdot x$. You can work with that. I'll gather everything as a full answer soon.
– freakish
Jul 23 at 14:44
1
@manooooh are you familiar with rings? $0, 1, -1$ mean something similar but different there. No longer numbers anyway. Give me some time pls to gather thoughts. :)
– freakish
Jul 23 at 14:59
 |Â
show 7 more comments
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Prove associativity in the group $(A,cdot)$ where $$beginmatrixA&=&leftlbrace1,-1,x,-x,x^2,-x^2rightrbrace&&textwith&x^3=1endmatrix$$ and $cdot$ product.
The statement is as it appears here.
Instead of making the table of elements of $(A, cdot)$, can I say that associativity is fulfilled by inheritance of the product of functions?
We have done exercises where we had directly demonstrated through the inheritance, but here I do not know because I do not know what the $x$ is (I am sure that it is a function). Or should I prove the associativity for all the elements?
Thank you!
group-theory finite-groups alternative-proof associativity
asked Jul 23 at 0:31
manooooh
376213
Prove associativity in the group $(A,cdot)$ where $$beginmatrixA&=&leftlbrace1,-1,x,-x,x^2,-x^2rightrbrace&&textwith&x^3=1endmatrix$$ and $cdot$ product.
The statement is as it appears here.
Instead of making the table of elements of $(A, cdot)$, can I say that associativity is fulfilled by inheritance of the product of functions?
We have done exercises where we had directly demonstrated through the inheritance, but here I do not know because I do not know what the $x$ is (I am sure that it is a function). Or should I prove the associativity for all the elements?
Thank you!
group-theory finite-groups alternative-proof associativity
asked Jul 23 at 0:31
manooooh
376213
edited Jul 23 at 0:37
asked Jul 23 at 0:31
manooooh
376213
asked Jul 23 at 0:31
manooooh
376213
asked Jul 23 at 0:31
manooooh
376213
376213
2
Inheritance of what "product of functions"? What do you mean when you say you are "sure" that $x$ is a function? Certainly nothing in the problem statement seems to indicate that $x$ is a function...
– Eric Wofsey
Jul 23 at 0:44
1
Right. You can make this work out but you need to specify the domain and codomain of the functions, taking into account the need to satisfy the relation $x^3 = 1$.
– Qiaochu Yuan
Jul 23 at 0:45
Ok. The statement says nothing about the domain and codomain, you are right. Thanks!
– manooooh
Jul 23 at 0:47
1
@manooooh If $-1,0,1$ is understood as a subset of $mathbbZ$ and $cdot$ as the usual integer multiplication then yes, the "inheritance" works here perfectly fine. As for your $A$ problem: I'm very surprised that someone gave something like this at an exam without further clarification. This sounds really incompetent. But if you have to work with this kind of things then I guess you have to make some implicit assumptions, like $-x=(-1)cdot x$. You can work with that. I'll gather everything as a full answer soon.
– freakish
Jul 23 at 14:44
1
@manooooh are you familiar with rings? $0, 1, -1$ mean something similar but different there. No longer numbers anyway. Give me some time pls to gather thoughts. :)
– freakish
Jul 23 at 14:59
 |Â
show 7 more comments
2
Inheritance of what "product of functions"? What do you mean when you say you are "sure" that $x$ is a function? Certainly nothing in the problem statement seems to indicate that $x$ is a function...
– Eric Wofsey
Jul 23 at 0:44
1
Right. You can make this work out but you need to specify the domain and codomain of the functions, taking into account the need to satisfy the relation $x^3 = 1$.
– Qiaochu Yuan
Jul 23 at 0:45
Ok. The statement says nothing about the domain and codomain, you are right. Thanks!
– manooooh
Jul 23 at 0:47
1
@manooooh If $-1,0,1$ is understood as a subset of $mathbbZ$ and $cdot$ as the usual integer multiplication then yes, the "inheritance" works here perfectly fine. As for your $A$ problem: I'm very surprised that someone gave something like this at an exam without further clarification. This sounds really incompetent. But if you have to work with this kind of things then I guess you have to make some implicit assumptions, like $-x=(-1)cdot x$. You can work with that. I'll gather everything as a full answer soon.
– freakish
Jul 23 at 14:44
1
@manooooh are you familiar with rings? $0, 1, -1$ mean something similar but different there. No longer numbers anyway. Give me some time pls to gather thoughts. :)
– freakish
Jul 23 at 14:59
2
2
Inheritance of what "product of functions"? What do you mean when you say you are "sure" that $x$ is a function? Certainly nothing in the problem statement seems to indicate that $x$ is a function...
– Eric Wofsey
Jul 23 at 0:44
Inheritance of what "product of functions"? What do you mean when you say you are "sure" that $x$ is a function? Certainly nothing in the problem statement seems to indicate that $x$ is a function...
– Eric Wofsey
Jul 23 at 0:44
1
1
Right. You can make this work out but you need to specify the domain and codomain of the functions, taking into account the need to satisfy the relation $x^3 = 1$.
– Qiaochu Yuan
Jul 23 at 0:45
Right. You can make this work out but you need to specify the domain and codomain of the functions, taking into account the need to satisfy the relation $x^3 = 1$.
– Qiaochu Yuan
Jul 23 at 0:45
Ok. The statement says nothing about the domain and codomain, you are right. Thanks!
– manooooh
Jul 23 at 0:47
Ok. The statement says nothing about the domain and codomain, you are right. Thanks!
– manooooh
Jul 23 at 0:47
1
1
@manooooh If $-1,0,1$ is understood as a subset of $mathbbZ$ and $cdot$ as the usual integer multiplication then yes, the "inheritance" works here perfectly fine. As for your $A$ problem: I'm very surprised that someone gave something like this at an exam without further clarification. This sounds really incompetent. But if you have to work with this kind of things then I guess you have to make some implicit assumptions, like $-x=(-1)cdot x$. You can work with that. I'll gather everything as a full answer soon.
– freakish
Jul 23 at 14:44
@manooooh If $-1,0,1$ is understood as a subset of $mathbbZ$ and $cdot$ as the usual integer multiplication then yes, the "inheritance" works here perfectly fine. As for your $A$ problem: I'm very surprised that someone gave something like this at an exam without further clarification. This sounds really incompetent. But if you have to work with this kind of things then I guess you have to make some implicit assumptions, like $-x=(-1)cdot x$. You can work with that. I'll gather everything as a full answer soon.
– freakish
Jul 23 at 14:44
1
1
@manooooh are you familiar with rings? $0, 1, -1$ mean something similar but different there. No longer numbers anyway. Give me some time pls to gather thoughts. :)
– freakish
Jul 23 at 14:59
@manooooh are you familiar with rings? $0, 1, -1$ mean something similar but different there. No longer numbers anyway. Give me some time pls to gather thoughts. :)
– freakish
Jul 23 at 14:59
 |Â
show 7 more comments
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
Since you are starting your adventure with maths this may come to you as confusing. I will try to explain everything as simply as I can.
First of all neither $-1$ nor $1$ is a number. These are just symbols representing numbers. So for example if I do $x:=1$ then now $x$ and $1$ is the same number even though represented by different symbols. This is important. In higher maths you have to distinguish between symbols and the meaning behind them.
So first thing you need to do in the definition
$$A=1,-1,x,x^2, -x,-x^2$$
is to give a meaning to every symbol there. We are not going to talk about =, symbols (yes, everything in maths is actually well defined), I will assume the meaning is clear.
The important symbols are: $1$, $x$, $-$ and $()^2$. There's a hidden meaning behind them. For example typically $x^2$ is a shortcut for $xcdot x$. But what does $-x$ mean? We don't know that, you didn't tell us. Or what does $-1$ mean?
You said in comments that $1,-1$ are numbers and $cdot$ is the usual number multiplication. Fair enough, then the "inheritance" works, meaning you don't have to check associativity between pairs from that subset. But do not be fooled: $1,-1$ does not always mean the usual two integers. They can mean something very different (see: rings). Actually often $1$ is used as a symbol for the neutral element in any group.
But what is $x$? Is that a number as well? But which one, you said $x^3=1$. Is that a complex root of $1$? And what does $-x$ mean? Is that simply $(-1)cdot x$?
You see, maths is a science of formalism. While intuition plays a crutial role you cannot do anything outside of formalism. And formally your question as it stands is not well defined. Let me give you an example: assume that I define
$$(-x)cdot(-x)=x$$
$$(-x)cdot x = 1$$
$$xcdot(-x)=x^2$$
You didn't specify how $cdot$ works on that pair so I did it somewhat randomly. And you can check that associativity doesn't hold with that definition.
Now let's do some additional assumptions in order to actually solve that. What is safe to assume is the following:
$$(-1)^2=1$$
$$(-x)=(-1)cdot x=xcdot(-1)$$
$$(-x^2)=(-1)cdot x=xcdot (-1)$$
$$(x)cdot(-x)=(-x)cdot x=-x^2$$
$$(-x^2)cdot (-x)=(-x)cdot(-x^2)=1$$
$$(-x^2)cdot (x)=(x)cdot(-x^2)=-1$$
$$1cdot y=ycdot 1=ytext for any yin A$$
$$ldots$$
and so on. As you can see what actually is going on here is I simply write down the multiplication table. With that you can check associativity manually.
The "inheritance" you are refering to actually means that some subset can be treated as some other well known structure. And if that other structure is associative then so is the original one. This is also known as an isomorphism - an invertible function that preserves the binary operation. This automatically guarantess properties like associativity.
Anyway you are on the right track: if you know that $1,-1$ are numbers and $cdot$ is the usual multiplication then yes, you can reuse the fact that the multiplication on those is associative.
answered Jul 23 at 15:32
freakish
8,4871524
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
Since you are starting your adventure with maths this may come to you as confusing. I will try to explain everything as simply as I can.
First of all neither $-1$ nor $1$ is a number. These are just symbols representing numbers. So for example if I do $x:=1$ then now $x$ and $1$ is the same number even though represented by different symbols. This is important. In higher maths you have to distinguish between symbols and the meaning behind them.
So first thing you need to do in the definition
$$A=1,-1,x,x^2, -x,-x^2$$
is to give a meaning to every symbol there. We are not going to talk about =, symbols (yes, everything in maths is actually well defined), I will assume the meaning is clear.
The important symbols are: $1$, $x$, $-$ and $()^2$. There's a hidden meaning behind them. For example typically $x^2$ is a shortcut for $xcdot x$. But what does $-x$ mean? We don't know that, you didn't tell us. Or what does $-1$ mean?
You said in comments that $1,-1$ are numbers and $cdot$ is the usual number multiplication. Fair enough, then the "inheritance" works, meaning you don't have to check associativity between pairs from that subset. But do not be fooled: $1,-1$ does not always mean the usual two integers. They can mean something very different (see: rings). Actually often $1$ is used as a symbol for the neutral element in any group.
But what is $x$? Is that a number as well? But which one, you said $x^3=1$. Is that a complex root of $1$? And what does $-x$ mean? Is that simply $(-1)cdot x$?
You see, maths is a science of formalism. While intuition plays a crutial role you cannot do anything outside of formalism. And formally your question as it stands is not well defined. Let me give you an example: assume that I define
$$(-x)cdot(-x)=x$$
$$(-x)cdot x = 1$$
$$xcdot(-x)=x^2$$
You didn't specify how $cdot$ works on that pair so I did it somewhat randomly. And you can check that associativity doesn't hold with that definition.
Now let's do some additional assumptions in order to actually solve that. What is safe to assume is the following:
$$(-1)^2=1$$
$$(-x)=(-1)cdot x=xcdot(-1)$$
$$(-x^2)=(-1)cdot x=xcdot (-1)$$
$$(x)cdot(-x)=(-x)cdot x=-x^2$$
$$(-x^2)cdot (-x)=(-x)cdot(-x^2)=1$$
$$(-x^2)cdot (x)=(x)cdot(-x^2)=-1$$
$$1cdot y=ycdot 1=ytext for any yin A$$
$$ldots$$
and so on. As you can see what actually is going on here is I simply write down the multiplication table. With that you can check associativity manually.
The "inheritance" you are refering to actually means that some subset can be treated as some other well known structure. And if that other structure is associative then so is the original one. This is also known as an isomorphism - an invertible function that preserves the binary operation. This automatically guarantess properties like associativity.
Anyway you are on the right track: if you know that $1,-1$ are numbers and $cdot$ is the usual multiplication then yes, you can reuse the fact that the multiplication on those is associative.
answered Jul 23 at 15:32
freakish
8,4871524
add a comment |Â
up vote
1
down vote
accepted
Since you are starting your adventure with maths this may come to you as confusing. I will try to explain everything as simply as I can.
First of all neither $-1$ nor $1$ is a number. These are just symbols representing numbers. So for example if I do $x:=1$ then now $x$ and $1$ is the same number even though represented by different symbols. This is important. In higher maths you have to distinguish between symbols and the meaning behind them.
So first thing you need to do in the definition
$$A=1,-1,x,x^2, -x,-x^2$$
is to give a meaning to every symbol there. We are not going to talk about =, symbols (yes, everything in maths is actually well defined), I will assume the meaning is clear.
The important symbols are: $1$, $x$, $-$ and $()^2$. There's a hidden meaning behind them. For example typically $x^2$ is a shortcut for $xcdot x$. But what does $-x$ mean? We don't know that, you didn't tell us. Or what does $-1$ mean?
You said in comments that $1,-1$ are numbers and $cdot$ is the usual number multiplication. Fair enough, then the "inheritance" works, meaning you don't have to check associativity between pairs from that subset. But do not be fooled: $1,-1$ does not always mean the usual two integers. They can mean something very different (see: rings). Actually often $1$ is used as a symbol for the neutral element in any group.
But what is $x$? Is that a number as well? But which one, you said $x^3=1$. Is that a complex root of $1$? And what does $-x$ mean? Is that simply $(-1)cdot x$?
You see, maths is a science of formalism. While intuition plays a crutial role you cannot do anything outside of formalism. And formally your question as it stands is not well defined. Let me give you an example: assume that I define
$$(-x)cdot(-x)=x$$
$$(-x)cdot x = 1$$
$$xcdot(-x)=x^2$$
You didn't specify how $cdot$ works on that pair so I did it somewhat randomly. And you can check that associativity doesn't hold with that definition.
Now let's do some additional assumptions in order to actually solve that. What is safe to assume is the following:
$$(-1)^2=1$$
$$(-x)=(-1)cdot x=xcdot(-1)$$
$$(-x^2)=(-1)cdot x=xcdot (-1)$$
$$(x)cdot(-x)=(-x)cdot x=-x^2$$
$$(-x^2)cdot (-x)=(-x)cdot(-x^2)=1$$
$$(-x^2)cdot (x)=(x)cdot(-x^2)=-1$$
$$1cdot y=ycdot 1=ytext for any yin A$$
$$ldots$$
and so on. As you can see what actually is going on here is I simply write down the multiplication table. With that you can check associativity manually.
The "inheritance" you are refering to actually means that some subset can be treated as some other well known structure. And if that other structure is associative then so is the original one. This is also known as an isomorphism - an invertible function that preserves the binary operation. This automatically guarantess properties like associativity.
Anyway you are on the right track: if you know that $1,-1$ are numbers and $cdot$ is the usual multiplication then yes, you can reuse the fact that the multiplication on those is associative.
answered Jul 23 at 15:32
freakish
8,4871524
add a comment |Â
up vote
1
down vote
accepted
up vote
1
down vote
accepted
Since you are starting your adventure with maths this may come to you as confusing. I will try to explain everything as simply as I can.
First of all neither $-1$ nor $1$ is a number. These are just symbols representing numbers. So for example if I do $x:=1$ then now $x$ and $1$ is the same number even though represented by different symbols. This is important. In higher maths you have to distinguish between symbols and the meaning behind them.
So first thing you need to do in the definition
$$A=1,-1,x,x^2, -x,-x^2$$
is to give a meaning to every symbol there. We are not going to talk about =, symbols (yes, everything in maths is actually well defined), I will assume the meaning is clear.
The important symbols are: $1$, $x$, $-$ and $()^2$. There's a hidden meaning behind them. For example typically $x^2$ is a shortcut for $xcdot x$. But what does $-x$ mean? We don't know that, you didn't tell us. Or what does $-1$ mean?
You said in comments that $1,-1$ are numbers and $cdot$ is the usual number multiplication. Fair enough, then the "inheritance" works, meaning you don't have to check associativity between pairs from that subset. But do not be fooled: $1,-1$ does not always mean the usual two integers. They can mean something very different (see: rings). Actually often $1$ is used as a symbol for the neutral element in any group.
But what is $x$? Is that a number as well? But which one, you said $x^3=1$. Is that a complex root of $1$? And what does $-x$ mean? Is that simply $(-1)cdot x$?
You see, maths is a science of formalism. While intuition plays a crutial role you cannot do anything outside of formalism. And formally your question as it stands is not well defined. Let me give you an example: assume that I define
$$(-x)cdot(-x)=x$$
$$(-x)cdot x = 1$$
$$xcdot(-x)=x^2$$
You didn't specify how $cdot$ works on that pair so I did it somewhat randomly. And you can check that associativity doesn't hold with that definition.
Now let's do some additional assumptions in order to actually solve that. What is safe to assume is the following:
$$(-1)^2=1$$
$$(-x)=(-1)cdot x=xcdot(-1)$$
$$(-x^2)=(-1)cdot x=xcdot (-1)$$
$$(x)cdot(-x)=(-x)cdot x=-x^2$$
$$(-x^2)cdot (-x)=(-x)cdot(-x^2)=1$$
$$(-x^2)cdot (x)=(x)cdot(-x^2)=-1$$
$$1cdot y=ycdot 1=ytext for any yin A$$
$$ldots$$
and so on. As you can see what actually is going on here is I simply write down the multiplication table. With that you can check associativity manually.
The "inheritance" you are refering to actually means that some subset can be treated as some other well known structure. And if that other structure is associative then so is the original one. This is also known as an isomorphism - an invertible function that preserves the binary operation. This automatically guarantess properties like associativity.
Anyway you are on the right track: if you know that $1,-1$ are numbers and $cdot$ is the usual multiplication then yes, you can reuse the fact that the multiplication on those is associative.
answered Jul 23 at 15:32
freakish
8,4871524
Since you are starting your adventure with maths this may come to you as confusing. I will try to explain everything as simply as I can.
First of all neither $-1$ nor $1$ is a number. These are just symbols representing numbers. So for example if I do $x:=1$ then now $x$ and $1$ is the same number even though represented by different symbols. This is important. In higher maths you have to distinguish between symbols and the meaning behind them.
So first thing you need to do in the definition
$$A=1,-1,x,x^2, -x,-x^2$$
is to give a meaning to every symbol there. We are not going to talk about =, symbols (yes, everything in maths is actually well defined), I will assume the meaning is clear.
The important symbols are: $1$, $x$, $-$ and $()^2$. There's a hidden meaning behind them. For example typically $x^2$ is a shortcut for $xcdot x$. But what does $-x$ mean? We don't know that, you didn't tell us. Or what does $-1$ mean?
You said in comments that $1,-1$ are numbers and $cdot$ is the usual number multiplication. Fair enough, then the "inheritance" works, meaning you don't have to check associativity between pairs from that subset. But do not be fooled: $1,-1$ does not always mean the usual two integers. They can mean something very different (see: rings). Actually often $1$ is used as a symbol for the neutral element in any group.
But what is $x$? Is that a number as well? But which one, you said $x^3=1$. Is that a complex root of $1$? And what does $-x$ mean? Is that simply $(-1)cdot x$?
You see, maths is a science of formalism. While intuition plays a crutial role you cannot do anything outside of formalism. And formally your question as it stands is not well defined. Let me give you an example: assume that I define
$$(-x)cdot(-x)=x$$
$$(-x)cdot x = 1$$
$$xcdot(-x)=x^2$$
You didn't specify how $cdot$ works on that pair so I did it somewhat randomly. And you can check that associativity doesn't hold with that definition.
Now let's do some additional assumptions in order to actually solve that. What is safe to assume is the following:
$$(-1)^2=1$$
$$(-x)=(-1)cdot x=xcdot(-1)$$
$$(-x^2)=(-1)cdot x=xcdot (-1)$$
$$(x)cdot(-x)=(-x)cdot x=-x^2$$
$$(-x^2)cdot (-x)=(-x)cdot(-x^2)=1$$
$$(-x^2)cdot (x)=(x)cdot(-x^2)=-1$$
$$1cdot y=ycdot 1=ytext for any yin A$$
$$ldots$$
and so on. As you can see what actually is going on here is I simply write down the multiplication table. With that you can check associativity manually.
The "inheritance" you are refering to actually means that some subset can be treated as some other well known structure. And if that other structure is associative then so is the original one. This is also known as an isomorphism - an invertible function that preserves the binary operation. This automatically guarantess properties like associativity.
Anyway you are on the right track: if you know that $1,-1$ are numbers and $cdot$ is the usual multiplication then yes, you can reuse the fact that the multiplication on those is associative.
answered Jul 23 at 15:32
freakish
8,4871524
answered Jul 23 at 15:32
freakish
8,4871524
answered Jul 23 at 15:32
freakish
8,4871524
answered Jul 23 at 15:32
freakish
8,4871524
8,4871524
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2859900%2fis-it-possible-to-prove-this-associativity-of-the-group-through-the-inheritance%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
2
Inheritance of what "product of functions"? What do you mean when you say you are "sure" that $x$ is a function? Certainly nothing in the problem statement seems to indicate that $x$ is a function...
– Eric Wofsey
Jul 23 at 0:44
1
Right. You can make this work out but you need to specify the domain and codomain of the functions, taking into account the need to satisfy the relation $x^3 = 1$.
– Qiaochu Yuan
Jul 23 at 0:45
Ok. The statement says nothing about the domain and codomain, you are right. Thanks!
– manooooh
Jul 23 at 0:47
1
@manooooh If $-1,0,1$ is understood as a subset of $mathbbZ$ and $cdot$ as the usual integer multiplication then yes, the "inheritance" works here perfectly fine. As for your $A$ problem: I'm very surprised that someone gave something like this at an exam without further clarification. This sounds really incompetent. But if you have to work with this kind of things then I guess you have to make some implicit assumptions, like $-x=(-1)cdot x$. You can work with that. I'll gather everything as a full answer soon.
– freakish
Jul 23 at 14:44
1
@manooooh are you familiar with rings? $0, 1, -1$ mean something similar but different there. No longer numbers anyway. Give me some time pls to gather thoughts. :)
– freakish
Jul 23 at 14:59