breaking down triple congurence relationshipsare ternary relationships associative?Solving systems of basic congruencesDoes this system of congruences have a solution even if they are not relatively prime at first?Given that $kequiv 2 mod 4$, determine the remainder when $5k + 13$ is divided by $4$first-order predicate calculusProve that $24^31$ is congruent to $23^32$ mod 19.What is the difference between equality and congruence outside of geometry?Prove $ ∀a, b, c ∈ Z,$ if $ab + ac ≡ 3$ (mod 6) then b $notequiv$ c (mod 6).Struggling to understand proofs involving modules.Proof of $a equiv b$ mod m => $a equiv b$ mod $m'$ with $d cdot m' = m$
Recommendation letter by significant other if you worked with them professionally?
How is it possible to drive VGA displays at such high pixel clock frequencies?
Why do we say ‘pairwise disjoint’, rather than ‘disjoint’?
Signed and unsigned numbers
How many characters using PHB rules does it take to be able to have access to any PHB spell at the start of an adventuring day?
Does "Until when" sound natural for native speakers?
How do we create new idioms and use them in a novel?
What's the 'present simple' form of the word "нашла́" in 3rd person singular female?
What are some noteworthy "mic-drop" moments in math?
What is the generally accepted pronunciation of “topoi”?
Which situations would cause a company to ground or recall a aircraft series?
NASA's RS-25 Engines
Does Christianity allow for believing on someone else's behalf?
Proving a statement about real numbers
Would an aboleth's Phantasmal Force lair action be affected by Counterspell, Dispel Magic, and/or Slow?
Are small insurances worth it?
Was it really inappropriate to write a pull request for the company I interviewed with?
Damage bonus for different weapons
Gaining more land
Power Strip for Europe
Can I negotiate a patent idea for a raise, under French law?
Rationale to prefer local variables over instance variables?
Can the alpha, lambda values of a glmnet object output determine whether ridge or Lasso?
Getting the || sign while using Kurier
breaking down triple congurence relationships
are ternary relationships associative?Solving systems of basic congruencesDoes this system of congruences have a solution even if they are not relatively prime at first?Given that $kequiv 2 mod 4$, determine the remainder when $5k + 13$ is divided by $4$first-order predicate calculusProve that $24^31$ is congruent to $23^32$ mod 19.What is the difference between equality and congruence outside of geometry?Prove $ ∀a, b, c ∈ Z,$ if $ab + ac ≡ 3$ (mod 6) then b $notequiv$ c (mod 6).Struggling to understand proofs involving modules.Proof of $a equiv b$ mod m => $a equiv b$ mod $m'$ with $d cdot m' = m$
$begingroup$
How do you read the statement,i.e. what does this mean? example is a congruent to b? there's no mod for b, does this mean they are equal?:
$$a equiv b equiv H mod M$$
And, if we were to break this statement to two simpler statements of congruence, how do we do that?
discrete-mathematics
$endgroup$
add a comment |
$begingroup$
How do you read the statement,i.e. what does this mean? example is a congruent to b? there's no mod for b, does this mean they are equal?:
$$a equiv b equiv H mod M$$
And, if we were to break this statement to two simpler statements of congruence, how do we do that?
discrete-mathematics
$endgroup$
2
$begingroup$
Just imagine equalities $a=b=H$ in the quotient $Bbb Z/MBbb Z$. So we read this as usual: $a=H$ and $b=H$ and $a=b$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , but in congruence, there no $aequiv b$ without defining a mod world, and congruence and equals are different
$endgroup$
– mathmaniage
yesterday
$begingroup$
Not true! $aequiv b bmod m$ is by definition equivalent to the equation $a=b$ in the ring $Bbb Z/mBbb Z$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , Haven't studied rings, but what does $aequiv b$ mean then? but $a equiv b mod n$ means $n|a-b$
$endgroup$
– mathmaniage
yesterday
$begingroup$
@DietrichBurde , in my statement above, is the mod M relavant for all, can we break it down like $a mod m = b mod m = H mod m$ ?
$endgroup$
– mathmaniage
yesterday
add a comment |
$begingroup$
How do you read the statement,i.e. what does this mean? example is a congruent to b? there's no mod for b, does this mean they are equal?:
$$a equiv b equiv H mod M$$
And, if we were to break this statement to two simpler statements of congruence, how do we do that?
discrete-mathematics
$endgroup$
How do you read the statement,i.e. what does this mean? example is a congruent to b? there's no mod for b, does this mean they are equal?:
$$a equiv b equiv H mod M$$
And, if we were to break this statement to two simpler statements of congruence, how do we do that?
discrete-mathematics
discrete-mathematics
asked yesterday
mathmaniagemathmaniage
16311
16311
2
$begingroup$
Just imagine equalities $a=b=H$ in the quotient $Bbb Z/MBbb Z$. So we read this as usual: $a=H$ and $b=H$ and $a=b$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , but in congruence, there no $aequiv b$ without defining a mod world, and congruence and equals are different
$endgroup$
– mathmaniage
yesterday
$begingroup$
Not true! $aequiv b bmod m$ is by definition equivalent to the equation $a=b$ in the ring $Bbb Z/mBbb Z$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , Haven't studied rings, but what does $aequiv b$ mean then? but $a equiv b mod n$ means $n|a-b$
$endgroup$
– mathmaniage
yesterday
$begingroup$
@DietrichBurde , in my statement above, is the mod M relavant for all, can we break it down like $a mod m = b mod m = H mod m$ ?
$endgroup$
– mathmaniage
yesterday
add a comment |
2
$begingroup$
Just imagine equalities $a=b=H$ in the quotient $Bbb Z/MBbb Z$. So we read this as usual: $a=H$ and $b=H$ and $a=b$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , but in congruence, there no $aequiv b$ without defining a mod world, and congruence and equals are different
$endgroup$
– mathmaniage
yesterday
$begingroup$
Not true! $aequiv b bmod m$ is by definition equivalent to the equation $a=b$ in the ring $Bbb Z/mBbb Z$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , Haven't studied rings, but what does $aequiv b$ mean then? but $a equiv b mod n$ means $n|a-b$
$endgroup$
– mathmaniage
yesterday
$begingroup$
@DietrichBurde , in my statement above, is the mod M relavant for all, can we break it down like $a mod m = b mod m = H mod m$ ?
$endgroup$
– mathmaniage
yesterday
2
2
$begingroup$
Just imagine equalities $a=b=H$ in the quotient $Bbb Z/MBbb Z$. So we read this as usual: $a=H$ and $b=H$ and $a=b$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
Just imagine equalities $a=b=H$ in the quotient $Bbb Z/MBbb Z$. So we read this as usual: $a=H$ and $b=H$ and $a=b$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , but in congruence, there no $aequiv b$ without defining a mod world, and congruence and equals are different
$endgroup$
– mathmaniage
yesterday
$begingroup$
@DietrichBurde , but in congruence, there no $aequiv b$ without defining a mod world, and congruence and equals are different
$endgroup$
– mathmaniage
yesterday
$begingroup$
Not true! $aequiv b bmod m$ is by definition equivalent to the equation $a=b$ in the ring $Bbb Z/mBbb Z$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
Not true! $aequiv b bmod m$ is by definition equivalent to the equation $a=b$ in the ring $Bbb Z/mBbb Z$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , Haven't studied rings, but what does $aequiv b$ mean then? but $a equiv b mod n$ means $n|a-b$
$endgroup$
– mathmaniage
yesterday
$begingroup$
@DietrichBurde , Haven't studied rings, but what does $aequiv b$ mean then? but $a equiv b mod n$ means $n|a-b$
$endgroup$
– mathmaniage
yesterday
$begingroup$
@DietrichBurde , in my statement above, is the mod M relavant for all, can we break it down like $a mod m = b mod m = H mod m$ ?
$endgroup$
– mathmaniage
yesterday
$begingroup$
@DietrichBurde , in my statement above, is the mod M relavant for all, can we break it down like $a mod m = b mod m = H mod m$ ?
$endgroup$
– mathmaniage
yesterday
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$a equiv b equiv H mod M$ can basically be written as:
$$a equiv b mod M $$
$$a equiv H mod M $$
$$b equiv H mod M $$
$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%2f3140947%2fbreaking-down-triple-congurence-relationships%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
$a equiv b equiv H mod M$ can basically be written as:
$$a equiv b mod M $$
$$a equiv H mod M $$
$$b equiv H mod M $$
$endgroup$
add a comment |
$begingroup$
$a equiv b equiv H mod M$ can basically be written as:
$$a equiv b mod M $$
$$a equiv H mod M $$
$$b equiv H mod M $$
$endgroup$
add a comment |
$begingroup$
$a equiv b equiv H mod M$ can basically be written as:
$$a equiv b mod M $$
$$a equiv H mod M $$
$$b equiv H mod M $$
$endgroup$
$a equiv b equiv H mod M$ can basically be written as:
$$a equiv b mod M $$
$$a equiv H mod M $$
$$b equiv H mod M $$
answered yesterday
mathmaniagemathmaniage
16311
16311
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%2f3140947%2fbreaking-down-triple-congurence-relationships%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
2
$begingroup$
Just imagine equalities $a=b=H$ in the quotient $Bbb Z/MBbb Z$. So we read this as usual: $a=H$ and $b=H$ and $a=b$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , but in congruence, there no $aequiv b$ without defining a mod world, and congruence and equals are different
$endgroup$
– mathmaniage
yesterday
$begingroup$
Not true! $aequiv b bmod m$ is by definition equivalent to the equation $a=b$ in the ring $Bbb Z/mBbb Z$.
$endgroup$
– Dietrich Burde
yesterday
$begingroup$
@DietrichBurde , Haven't studied rings, but what does $aequiv b$ mean then? but $a equiv b mod n$ means $n|a-b$
$endgroup$
– mathmaniage
yesterday
$begingroup$
@DietrichBurde , in my statement above, is the mod M relavant for all, can we break it down like $a mod m = b mod m = H mod m$ ?
$endgroup$
– mathmaniage
yesterday