Series of binary operations in $(mathbb{N}, *)$
$begingroup$
Consider monoid $(mathbb{N},*)$, where operation $*$ is defined as $x*y = xy + x + y$.
What is the result of $1*2*3*text{...}*25 text{ (mod 29)}$ ?
$xy + x + y$ can be written as $(x + 1) y + x$ or $y + x (1 + y)$, but that does not seem to help in any way.
One thing I noticed is that $n * (n + 1) = text{prime number}$. Ex: $12*13=181$; $4*5=29$.
I am still not sure how can I express $1*2*3*text{...}*25$ in such a way that I could find the remainder of it divided by $29$.
abstract-algebra elementary-number-theory modular-arithmetic binary-operations monoid
$endgroup$
add a comment |
$begingroup$
Consider monoid $(mathbb{N},*)$, where operation $*$ is defined as $x*y = xy + x + y$.
What is the result of $1*2*3*text{...}*25 text{ (mod 29)}$ ?
$xy + x + y$ can be written as $(x + 1) y + x$ or $y + x (1 + y)$, but that does not seem to help in any way.
One thing I noticed is that $n * (n + 1) = text{prime number}$. Ex: $12*13=181$; $4*5=29$.
I am still not sure how can I express $1*2*3*text{...}*25$ in such a way that I could find the remainder of it divided by $29$.
abstract-algebra elementary-number-theory modular-arithmetic binary-operations monoid
$endgroup$
add a comment |
$begingroup$
Consider monoid $(mathbb{N},*)$, where operation $*$ is defined as $x*y = xy + x + y$.
What is the result of $1*2*3*text{...}*25 text{ (mod 29)}$ ?
$xy + x + y$ can be written as $(x + 1) y + x$ or $y + x (1 + y)$, but that does not seem to help in any way.
One thing I noticed is that $n * (n + 1) = text{prime number}$. Ex: $12*13=181$; $4*5=29$.
I am still not sure how can I express $1*2*3*text{...}*25$ in such a way that I could find the remainder of it divided by $29$.
abstract-algebra elementary-number-theory modular-arithmetic binary-operations monoid
$endgroup$
Consider monoid $(mathbb{N},*)$, where operation $*$ is defined as $x*y = xy + x + y$.
What is the result of $1*2*3*text{...}*25 text{ (mod 29)}$ ?
$xy + x + y$ can be written as $(x + 1) y + x$ or $y + x (1 + y)$, but that does not seem to help in any way.
One thing I noticed is that $n * (n + 1) = text{prime number}$. Ex: $12*13=181$; $4*5=29$.
I am still not sure how can I express $1*2*3*text{...}*25$ in such a way that I could find the remainder of it divided by $29$.
abstract-algebra elementary-number-theory modular-arithmetic binary-operations monoid
abstract-algebra elementary-number-theory modular-arithmetic binary-operations monoid
edited Jan 26 at 12:08


Maria Mazur
47.9k1260120
47.9k1260120
asked Jan 26 at 11:39
bitadeptbitadept
475
475
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
We can rewrite this operation like this:
$$x*y = (x+1)(y+1)-1 $$
It is asociative:
$$(x*y)*z = (x*y+1)(z+1)-1 = (x+1)(y+1)(z+1)-1$$
also
$$x*(y*z) = (x+1)(y*z+1)-1 = (x+1)(y+1)(z+1)-1$$
So $$1*2*3*text{...}*25 = 2cdot 3cdot text{...}cdot 25cdot 26 -1text{ (mod 29)}$$
$$= 28^{-1}cdot 27^{-1}cdot 28!-1text{ (mod 29)}$$
$$= (-1)cdot (14)cdot (-1)-1text{ (mod 29)}$$
$$= 13text{ (mod 29)}$$
$endgroup$
$begingroup$
It took me awhile to figure out how you wrote $x*y$ as $(x+1)(y+1)-1$. Thanks.
$endgroup$
– bitadept
Jan 26 at 12:07
add a comment |
$begingroup$
Hint: Rename your elements: Instead of $1$ say $2'$, instead of $2$ say $3'$, and so on. Try to figure out what the rule for $x'*y'$ is. For instance,
$$
2'*2'=1*1=3=4'\
2'*3'=1*2=5=6'\
3'*3'=2*2=8=9'
$$
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3088157%2fseries-of-binary-operations-in-mathbbn%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
We can rewrite this operation like this:
$$x*y = (x+1)(y+1)-1 $$
It is asociative:
$$(x*y)*z = (x*y+1)(z+1)-1 = (x+1)(y+1)(z+1)-1$$
also
$$x*(y*z) = (x+1)(y*z+1)-1 = (x+1)(y+1)(z+1)-1$$
So $$1*2*3*text{...}*25 = 2cdot 3cdot text{...}cdot 25cdot 26 -1text{ (mod 29)}$$
$$= 28^{-1}cdot 27^{-1}cdot 28!-1text{ (mod 29)}$$
$$= (-1)cdot (14)cdot (-1)-1text{ (mod 29)}$$
$$= 13text{ (mod 29)}$$
$endgroup$
$begingroup$
It took me awhile to figure out how you wrote $x*y$ as $(x+1)(y+1)-1$. Thanks.
$endgroup$
– bitadept
Jan 26 at 12:07
add a comment |
$begingroup$
We can rewrite this operation like this:
$$x*y = (x+1)(y+1)-1 $$
It is asociative:
$$(x*y)*z = (x*y+1)(z+1)-1 = (x+1)(y+1)(z+1)-1$$
also
$$x*(y*z) = (x+1)(y*z+1)-1 = (x+1)(y+1)(z+1)-1$$
So $$1*2*3*text{...}*25 = 2cdot 3cdot text{...}cdot 25cdot 26 -1text{ (mod 29)}$$
$$= 28^{-1}cdot 27^{-1}cdot 28!-1text{ (mod 29)}$$
$$= (-1)cdot (14)cdot (-1)-1text{ (mod 29)}$$
$$= 13text{ (mod 29)}$$
$endgroup$
$begingroup$
It took me awhile to figure out how you wrote $x*y$ as $(x+1)(y+1)-1$. Thanks.
$endgroup$
– bitadept
Jan 26 at 12:07
add a comment |
$begingroup$
We can rewrite this operation like this:
$$x*y = (x+1)(y+1)-1 $$
It is asociative:
$$(x*y)*z = (x*y+1)(z+1)-1 = (x+1)(y+1)(z+1)-1$$
also
$$x*(y*z) = (x+1)(y*z+1)-1 = (x+1)(y+1)(z+1)-1$$
So $$1*2*3*text{...}*25 = 2cdot 3cdot text{...}cdot 25cdot 26 -1text{ (mod 29)}$$
$$= 28^{-1}cdot 27^{-1}cdot 28!-1text{ (mod 29)}$$
$$= (-1)cdot (14)cdot (-1)-1text{ (mod 29)}$$
$$= 13text{ (mod 29)}$$
$endgroup$
We can rewrite this operation like this:
$$x*y = (x+1)(y+1)-1 $$
It is asociative:
$$(x*y)*z = (x*y+1)(z+1)-1 = (x+1)(y+1)(z+1)-1$$
also
$$x*(y*z) = (x+1)(y*z+1)-1 = (x+1)(y+1)(z+1)-1$$
So $$1*2*3*text{...}*25 = 2cdot 3cdot text{...}cdot 25cdot 26 -1text{ (mod 29)}$$
$$= 28^{-1}cdot 27^{-1}cdot 28!-1text{ (mod 29)}$$
$$= (-1)cdot (14)cdot (-1)-1text{ (mod 29)}$$
$$= 13text{ (mod 29)}$$
edited Jan 26 at 12:01
answered Jan 26 at 11:44


Maria MazurMaria Mazur
47.9k1260120
47.9k1260120
$begingroup$
It took me awhile to figure out how you wrote $x*y$ as $(x+1)(y+1)-1$. Thanks.
$endgroup$
– bitadept
Jan 26 at 12:07
add a comment |
$begingroup$
It took me awhile to figure out how you wrote $x*y$ as $(x+1)(y+1)-1$. Thanks.
$endgroup$
– bitadept
Jan 26 at 12:07
$begingroup$
It took me awhile to figure out how you wrote $x*y$ as $(x+1)(y+1)-1$. Thanks.
$endgroup$
– bitadept
Jan 26 at 12:07
$begingroup$
It took me awhile to figure out how you wrote $x*y$ as $(x+1)(y+1)-1$. Thanks.
$endgroup$
– bitadept
Jan 26 at 12:07
add a comment |
$begingroup$
Hint: Rename your elements: Instead of $1$ say $2'$, instead of $2$ say $3'$, and so on. Try to figure out what the rule for $x'*y'$ is. For instance,
$$
2'*2'=1*1=3=4'\
2'*3'=1*2=5=6'\
3'*3'=2*2=8=9'
$$
$endgroup$
add a comment |
$begingroup$
Hint: Rename your elements: Instead of $1$ say $2'$, instead of $2$ say $3'$, and so on. Try to figure out what the rule for $x'*y'$ is. For instance,
$$
2'*2'=1*1=3=4'\
2'*3'=1*2=5=6'\
3'*3'=2*2=8=9'
$$
$endgroup$
add a comment |
$begingroup$
Hint: Rename your elements: Instead of $1$ say $2'$, instead of $2$ say $3'$, and so on. Try to figure out what the rule for $x'*y'$ is. For instance,
$$
2'*2'=1*1=3=4'\
2'*3'=1*2=5=6'\
3'*3'=2*2=8=9'
$$
$endgroup$
Hint: Rename your elements: Instead of $1$ say $2'$, instead of $2$ say $3'$, and so on. Try to figure out what the rule for $x'*y'$ is. For instance,
$$
2'*2'=1*1=3=4'\
2'*3'=1*2=5=6'\
3'*3'=2*2=8=9'
$$
edited Jan 26 at 11:59
answered Jan 26 at 11:48


ArthurArthur
119k7118202
119k7118202
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3088157%2fseries-of-binary-operations-in-mathbbn%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown