Question about the definition of left/right cosets












0














Let $(A,cdot)$ be a Magma. One defines another magma $(mathcal{P}(A),cdot)$ by letting



$forall_{B,Cinmathcal{P}(A)}Bcdot C :={bcdot c :bin B$ and $cin C}subseteq A.$



The case where B or C is a singleton set is of particulair interest and one then unses the following simplified Notation:



$forall_{Bin mathcal{P}(A)}forall_{ain A}(a cdot B := {a}cdot B, B cdot a := B cdot{a}).$



Sets of the form $acdot B$ are called $left$ $cosets$, sets of the form $B cdot a$ are called $right$ $cosets$



My Question is if you take for example the natural Numbers $mathbb{N}$ with a Operation defined as $cdot$ sucht that $(mathbb{N},cdot)$ is a magma and you show that ${1}cdot Bsubseteq mathbb{N}$, for some subset of $mathbb{N}$, is $1 cdot mathbb{N}$ then a left coset of $mathbb{N}$ or do you have to show that ${a}cdot Bsubseteq mathbb{N}$ holds true for any $ain mathbb{N}$?










share|cite|improve this question






















  • It's not very clear what you are asking: if $cdot$ is an operation on $Bbb{N}$, then $a cdot B subseteq Bbb{N}$ for any $a$ autormatically and $1 cdot Bbb{N}$ is a coset by definition. So what are you trying to prove?
    – Rob Arthan
    Nov 27 '18 at 18:47












  • For example let $cdot$ be the usual multiplication and $B={2,3}$, $1cdot B$ would be equal to the set ${2,3}$ is this set then by definition a left coset? Or is the set $acdot B,ainmathbb{N} = {2,3,4,6,8,9,12,....}$ a left coset?
    – RM777
    Nov 27 '18 at 19:01
















0














Let $(A,cdot)$ be a Magma. One defines another magma $(mathcal{P}(A),cdot)$ by letting



$forall_{B,Cinmathcal{P}(A)}Bcdot C :={bcdot c :bin B$ and $cin C}subseteq A.$



The case where B or C is a singleton set is of particulair interest and one then unses the following simplified Notation:



$forall_{Bin mathcal{P}(A)}forall_{ain A}(a cdot B := {a}cdot B, B cdot a := B cdot{a}).$



Sets of the form $acdot B$ are called $left$ $cosets$, sets of the form $B cdot a$ are called $right$ $cosets$



My Question is if you take for example the natural Numbers $mathbb{N}$ with a Operation defined as $cdot$ sucht that $(mathbb{N},cdot)$ is a magma and you show that ${1}cdot Bsubseteq mathbb{N}$, for some subset of $mathbb{N}$, is $1 cdot mathbb{N}$ then a left coset of $mathbb{N}$ or do you have to show that ${a}cdot Bsubseteq mathbb{N}$ holds true for any $ain mathbb{N}$?










share|cite|improve this question






















  • It's not very clear what you are asking: if $cdot$ is an operation on $Bbb{N}$, then $a cdot B subseteq Bbb{N}$ for any $a$ autormatically and $1 cdot Bbb{N}$ is a coset by definition. So what are you trying to prove?
    – Rob Arthan
    Nov 27 '18 at 18:47












  • For example let $cdot$ be the usual multiplication and $B={2,3}$, $1cdot B$ would be equal to the set ${2,3}$ is this set then by definition a left coset? Or is the set $acdot B,ainmathbb{N} = {2,3,4,6,8,9,12,....}$ a left coset?
    – RM777
    Nov 27 '18 at 19:01














0












0








0







Let $(A,cdot)$ be a Magma. One defines another magma $(mathcal{P}(A),cdot)$ by letting



$forall_{B,Cinmathcal{P}(A)}Bcdot C :={bcdot c :bin B$ and $cin C}subseteq A.$



The case where B or C is a singleton set is of particulair interest and one then unses the following simplified Notation:



$forall_{Bin mathcal{P}(A)}forall_{ain A}(a cdot B := {a}cdot B, B cdot a := B cdot{a}).$



Sets of the form $acdot B$ are called $left$ $cosets$, sets of the form $B cdot a$ are called $right$ $cosets$



My Question is if you take for example the natural Numbers $mathbb{N}$ with a Operation defined as $cdot$ sucht that $(mathbb{N},cdot)$ is a magma and you show that ${1}cdot Bsubseteq mathbb{N}$, for some subset of $mathbb{N}$, is $1 cdot mathbb{N}$ then a left coset of $mathbb{N}$ or do you have to show that ${a}cdot Bsubseteq mathbb{N}$ holds true for any $ain mathbb{N}$?










share|cite|improve this question













Let $(A,cdot)$ be a Magma. One defines another magma $(mathcal{P}(A),cdot)$ by letting



$forall_{B,Cinmathcal{P}(A)}Bcdot C :={bcdot c :bin B$ and $cin C}subseteq A.$



The case where B or C is a singleton set is of particulair interest and one then unses the following simplified Notation:



$forall_{Bin mathcal{P}(A)}forall_{ain A}(a cdot B := {a}cdot B, B cdot a := B cdot{a}).$



Sets of the form $acdot B$ are called $left$ $cosets$, sets of the form $B cdot a$ are called $right$ $cosets$



My Question is if you take for example the natural Numbers $mathbb{N}$ with a Operation defined as $cdot$ sucht that $(mathbb{N},cdot)$ is a magma and you show that ${1}cdot Bsubseteq mathbb{N}$, for some subset of $mathbb{N}$, is $1 cdot mathbb{N}$ then a left coset of $mathbb{N}$ or do you have to show that ${a}cdot Bsubseteq mathbb{N}$ holds true for any $ain mathbb{N}$?







abstract-algebra






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 27 '18 at 18:37









RM777

1978




1978












  • It's not very clear what you are asking: if $cdot$ is an operation on $Bbb{N}$, then $a cdot B subseteq Bbb{N}$ for any $a$ autormatically and $1 cdot Bbb{N}$ is a coset by definition. So what are you trying to prove?
    – Rob Arthan
    Nov 27 '18 at 18:47












  • For example let $cdot$ be the usual multiplication and $B={2,3}$, $1cdot B$ would be equal to the set ${2,3}$ is this set then by definition a left coset? Or is the set $acdot B,ainmathbb{N} = {2,3,4,6,8,9,12,....}$ a left coset?
    – RM777
    Nov 27 '18 at 19:01


















  • It's not very clear what you are asking: if $cdot$ is an operation on $Bbb{N}$, then $a cdot B subseteq Bbb{N}$ for any $a$ autormatically and $1 cdot Bbb{N}$ is a coset by definition. So what are you trying to prove?
    – Rob Arthan
    Nov 27 '18 at 18:47












  • For example let $cdot$ be the usual multiplication and $B={2,3}$, $1cdot B$ would be equal to the set ${2,3}$ is this set then by definition a left coset? Or is the set $acdot B,ainmathbb{N} = {2,3,4,6,8,9,12,....}$ a left coset?
    – RM777
    Nov 27 '18 at 19:01
















It's not very clear what you are asking: if $cdot$ is an operation on $Bbb{N}$, then $a cdot B subseteq Bbb{N}$ for any $a$ autormatically and $1 cdot Bbb{N}$ is a coset by definition. So what are you trying to prove?
– Rob Arthan
Nov 27 '18 at 18:47






It's not very clear what you are asking: if $cdot$ is an operation on $Bbb{N}$, then $a cdot B subseteq Bbb{N}$ for any $a$ autormatically and $1 cdot Bbb{N}$ is a coset by definition. So what are you trying to prove?
– Rob Arthan
Nov 27 '18 at 18:47














For example let $cdot$ be the usual multiplication and $B={2,3}$, $1cdot B$ would be equal to the set ${2,3}$ is this set then by definition a left coset? Or is the set $acdot B,ainmathbb{N} = {2,3,4,6,8,9,12,....}$ a left coset?
– RM777
Nov 27 '18 at 19:01




For example let $cdot$ be the usual multiplication and $B={2,3}$, $1cdot B$ would be equal to the set ${2,3}$ is this set then by definition a left coset? Or is the set $acdot B,ainmathbb{N} = {2,3,4,6,8,9,12,....}$ a left coset?
– RM777
Nov 27 '18 at 19:01















active

oldest

votes











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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3016137%2fquestion-about-the-definition-of-left-right-cosets%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3016137%2fquestion-about-the-definition-of-left-right-cosets%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Aardman Animations

Are they similar matrix

“minimization” problem in Euclidean space related to orthonormal basis