A small gap in Emil Artin's “Galois Theory”.












3












$begingroup$


I am reading Emil Artin's "Galois Theory" now.

There is a small gap in this book:




We shall now try to imitate the set $E_0$ without having an extension field $E$ and an element $a$ at our disposal. We shall assume only an irreducible polynomial $$f(x) = x^n + a_{n-1} x^{n-1} + cdots + a_0$$ as given. We select a symbol $xi$ and let $E_1$ be the set of all formal polynomials $$g(xi) = c_0 + c_1 xi + cdots + c_{n-1} xi^{n-1}$$ of a degree lower than $n$. This set forms a group under addition. We now introduce besides the ordinary multiplication a new kind of multiplication of two elements $g(xi)$ and $h(xi)$ of $E_1$ denoted by $g(xi) times h(xi)$. It is defined as the remainder $r(xi)$ of the ordinary product $g(xi) h(xi)$ under division by $f(xi)$. We first remark that any product of $m$ terms $g_1(xi), g_2(xi), cdots, g_m(xi)$ is again the remainder of the ordinary product $g_1(xi) g_2(xi) cdots g_m(xi)$. This is true by definition for $m = 2$ and follows for every $m$ by induction if we just prove the easy lemma: The remainder of the product of two remainders (of two polynomials) is the remainder of the product of these two polynomials.




And I tried to fill the gap.

Is the following proof ok or not?
$a, b, f$ is a polynomial.
$textrm{Mod}[a, f]$ is the remainder on division of $a$ by $f$.
$textrm{Quotient}[a, f]$ is the polynomial quotient of $a$ and $f$.




$a times b = a times textrm{Mod}[b, f]$




Proof:



$a b = textrm{Quotient}[a b,f] f + textrm{Mod}[a b,f]$



and



$b = textrm{Quotient}[b,f] f + textrm{Mod}[b,f]$.



$a b = a textrm{Quotient}[b,f] f + a textrm{Mod}[b,f]$.
$a textrm{Mod}[b,f] = textrm{Quotient}[a textrm{Mod}[b,f],f] f + textrm{Mod}[a textrm{Mod}[b,f],f]$.



$a b = a textrm{Quotient}[b,f] f + textrm{Quotient}[a textrm{Mod}[b,f],f] f + textrm{Mod}[a textrm{Mod}[b,f],f] = (a textrm{Quotient}[b,f] + textrm{Quotient}[a textrm{Mod}[b,f],f]) f + textrm{Mod}[a textrm{Mod}[b,f],f].$



$therefore textrm{Mod}[a b,f] = textrm{Mod}[a textrm{Mod}[b,f],f].$



$therefore a times b = a times textrm{Mod}[b, f]$.




$a times b = textrm{Mod}[a, f] times textrm{Mod}[b, f]$




Proof:



$a times b = a times textrm{Mod}[b, f] = textrm{Mod}[b, f] times a = textrm{Mod}[b, f] times textrm{Mod}[a, f] = textrm{Mod}[a, f] times textrm{Mod}[b, f]$.




$(g_1(xi) times g_2(xi)) times g_3(xi) = g_1(xi) times (g_2(xi) times g_3(xi)) = textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f]$




Proof:



$textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f] = (g_1(xi) g_2(xi)) times g_3(xi) = textrm{Mod}[g_1(xi) g_2(xi), f] times g_3(xi) = (g_1(xi) times g_2(xi)) times g_3(xi).$



$textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f] = g_1(xi) times (g_2(xi) g_3(xi)) = g_1(xi) times textrm{Mod}[g_2(xi) g_3(xi), f] = g_1(xi) times (g_2(xi) times g_3(xi)).$




$g_1(xi) times g_2(xi) times cdots times g_m(xi) times g_{m+1}(xi) = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi) g_{m+1}(xi), f]$




Proof:



I prove by induction.



$g_1(xi) times g_2(xi) times cdots times g_m(xi) times g_{m+1}(xi) = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi), f] times g_{m+1}(xi) = (g_1(xi) g_2(xi) cdots g_m(xi)) times g_{m+1}(xi) = textrm{Mod}[(g_1(xi) g_2(xi) cdots g_m(xi)) g_{m+1}(xi), f] = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi) g_{m+1}(xi), f].$










share|cite|improve this question











$endgroup$












  • $begingroup$
    The right way to do all this is to consider the quotient ring $K[X]/left<f(X)right>$.
    $endgroup$
    – Lord Shark the Unknown
    Jan 2 at 9:51










  • $begingroup$
    But Artin did not write a quotient ring in his book.
    $endgroup$
    – tchappy ha
    Jan 2 at 9:55












  • $begingroup$
    And I want to know the proof that Artin expects.
    $endgroup$
    – tchappy ha
    Jan 2 at 9:58
















3












$begingroup$


I am reading Emil Artin's "Galois Theory" now.

There is a small gap in this book:




We shall now try to imitate the set $E_0$ without having an extension field $E$ and an element $a$ at our disposal. We shall assume only an irreducible polynomial $$f(x) = x^n + a_{n-1} x^{n-1} + cdots + a_0$$ as given. We select a symbol $xi$ and let $E_1$ be the set of all formal polynomials $$g(xi) = c_0 + c_1 xi + cdots + c_{n-1} xi^{n-1}$$ of a degree lower than $n$. This set forms a group under addition. We now introduce besides the ordinary multiplication a new kind of multiplication of two elements $g(xi)$ and $h(xi)$ of $E_1$ denoted by $g(xi) times h(xi)$. It is defined as the remainder $r(xi)$ of the ordinary product $g(xi) h(xi)$ under division by $f(xi)$. We first remark that any product of $m$ terms $g_1(xi), g_2(xi), cdots, g_m(xi)$ is again the remainder of the ordinary product $g_1(xi) g_2(xi) cdots g_m(xi)$. This is true by definition for $m = 2$ and follows for every $m$ by induction if we just prove the easy lemma: The remainder of the product of two remainders (of two polynomials) is the remainder of the product of these two polynomials.




And I tried to fill the gap.

Is the following proof ok or not?
$a, b, f$ is a polynomial.
$textrm{Mod}[a, f]$ is the remainder on division of $a$ by $f$.
$textrm{Quotient}[a, f]$ is the polynomial quotient of $a$ and $f$.




$a times b = a times textrm{Mod}[b, f]$




Proof:



$a b = textrm{Quotient}[a b,f] f + textrm{Mod}[a b,f]$



and



$b = textrm{Quotient}[b,f] f + textrm{Mod}[b,f]$.



$a b = a textrm{Quotient}[b,f] f + a textrm{Mod}[b,f]$.
$a textrm{Mod}[b,f] = textrm{Quotient}[a textrm{Mod}[b,f],f] f + textrm{Mod}[a textrm{Mod}[b,f],f]$.



$a b = a textrm{Quotient}[b,f] f + textrm{Quotient}[a textrm{Mod}[b,f],f] f + textrm{Mod}[a textrm{Mod}[b,f],f] = (a textrm{Quotient}[b,f] + textrm{Quotient}[a textrm{Mod}[b,f],f]) f + textrm{Mod}[a textrm{Mod}[b,f],f].$



$therefore textrm{Mod}[a b,f] = textrm{Mod}[a textrm{Mod}[b,f],f].$



$therefore a times b = a times textrm{Mod}[b, f]$.




$a times b = textrm{Mod}[a, f] times textrm{Mod}[b, f]$




Proof:



$a times b = a times textrm{Mod}[b, f] = textrm{Mod}[b, f] times a = textrm{Mod}[b, f] times textrm{Mod}[a, f] = textrm{Mod}[a, f] times textrm{Mod}[b, f]$.




$(g_1(xi) times g_2(xi)) times g_3(xi) = g_1(xi) times (g_2(xi) times g_3(xi)) = textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f]$




Proof:



$textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f] = (g_1(xi) g_2(xi)) times g_3(xi) = textrm{Mod}[g_1(xi) g_2(xi), f] times g_3(xi) = (g_1(xi) times g_2(xi)) times g_3(xi).$



$textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f] = g_1(xi) times (g_2(xi) g_3(xi)) = g_1(xi) times textrm{Mod}[g_2(xi) g_3(xi), f] = g_1(xi) times (g_2(xi) times g_3(xi)).$




$g_1(xi) times g_2(xi) times cdots times g_m(xi) times g_{m+1}(xi) = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi) g_{m+1}(xi), f]$




Proof:



I prove by induction.



$g_1(xi) times g_2(xi) times cdots times g_m(xi) times g_{m+1}(xi) = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi), f] times g_{m+1}(xi) = (g_1(xi) g_2(xi) cdots g_m(xi)) times g_{m+1}(xi) = textrm{Mod}[(g_1(xi) g_2(xi) cdots g_m(xi)) g_{m+1}(xi), f] = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi) g_{m+1}(xi), f].$










share|cite|improve this question











$endgroup$












  • $begingroup$
    The right way to do all this is to consider the quotient ring $K[X]/left<f(X)right>$.
    $endgroup$
    – Lord Shark the Unknown
    Jan 2 at 9:51










  • $begingroup$
    But Artin did not write a quotient ring in his book.
    $endgroup$
    – tchappy ha
    Jan 2 at 9:55












  • $begingroup$
    And I want to know the proof that Artin expects.
    $endgroup$
    – tchappy ha
    Jan 2 at 9:58














3












3








3


0



$begingroup$


I am reading Emil Artin's "Galois Theory" now.

There is a small gap in this book:




We shall now try to imitate the set $E_0$ without having an extension field $E$ and an element $a$ at our disposal. We shall assume only an irreducible polynomial $$f(x) = x^n + a_{n-1} x^{n-1} + cdots + a_0$$ as given. We select a symbol $xi$ and let $E_1$ be the set of all formal polynomials $$g(xi) = c_0 + c_1 xi + cdots + c_{n-1} xi^{n-1}$$ of a degree lower than $n$. This set forms a group under addition. We now introduce besides the ordinary multiplication a new kind of multiplication of two elements $g(xi)$ and $h(xi)$ of $E_1$ denoted by $g(xi) times h(xi)$. It is defined as the remainder $r(xi)$ of the ordinary product $g(xi) h(xi)$ under division by $f(xi)$. We first remark that any product of $m$ terms $g_1(xi), g_2(xi), cdots, g_m(xi)$ is again the remainder of the ordinary product $g_1(xi) g_2(xi) cdots g_m(xi)$. This is true by definition for $m = 2$ and follows for every $m$ by induction if we just prove the easy lemma: The remainder of the product of two remainders (of two polynomials) is the remainder of the product of these two polynomials.




And I tried to fill the gap.

Is the following proof ok or not?
$a, b, f$ is a polynomial.
$textrm{Mod}[a, f]$ is the remainder on division of $a$ by $f$.
$textrm{Quotient}[a, f]$ is the polynomial quotient of $a$ and $f$.




$a times b = a times textrm{Mod}[b, f]$




Proof:



$a b = textrm{Quotient}[a b,f] f + textrm{Mod}[a b,f]$



and



$b = textrm{Quotient}[b,f] f + textrm{Mod}[b,f]$.



$a b = a textrm{Quotient}[b,f] f + a textrm{Mod}[b,f]$.
$a textrm{Mod}[b,f] = textrm{Quotient}[a textrm{Mod}[b,f],f] f + textrm{Mod}[a textrm{Mod}[b,f],f]$.



$a b = a textrm{Quotient}[b,f] f + textrm{Quotient}[a textrm{Mod}[b,f],f] f + textrm{Mod}[a textrm{Mod}[b,f],f] = (a textrm{Quotient}[b,f] + textrm{Quotient}[a textrm{Mod}[b,f],f]) f + textrm{Mod}[a textrm{Mod}[b,f],f].$



$therefore textrm{Mod}[a b,f] = textrm{Mod}[a textrm{Mod}[b,f],f].$



$therefore a times b = a times textrm{Mod}[b, f]$.




$a times b = textrm{Mod}[a, f] times textrm{Mod}[b, f]$




Proof:



$a times b = a times textrm{Mod}[b, f] = textrm{Mod}[b, f] times a = textrm{Mod}[b, f] times textrm{Mod}[a, f] = textrm{Mod}[a, f] times textrm{Mod}[b, f]$.




$(g_1(xi) times g_2(xi)) times g_3(xi) = g_1(xi) times (g_2(xi) times g_3(xi)) = textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f]$




Proof:



$textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f] = (g_1(xi) g_2(xi)) times g_3(xi) = textrm{Mod}[g_1(xi) g_2(xi), f] times g_3(xi) = (g_1(xi) times g_2(xi)) times g_3(xi).$



$textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f] = g_1(xi) times (g_2(xi) g_3(xi)) = g_1(xi) times textrm{Mod}[g_2(xi) g_3(xi), f] = g_1(xi) times (g_2(xi) times g_3(xi)).$




$g_1(xi) times g_2(xi) times cdots times g_m(xi) times g_{m+1}(xi) = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi) g_{m+1}(xi), f]$




Proof:



I prove by induction.



$g_1(xi) times g_2(xi) times cdots times g_m(xi) times g_{m+1}(xi) = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi), f] times g_{m+1}(xi) = (g_1(xi) g_2(xi) cdots g_m(xi)) times g_{m+1}(xi) = textrm{Mod}[(g_1(xi) g_2(xi) cdots g_m(xi)) g_{m+1}(xi), f] = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi) g_{m+1}(xi), f].$










share|cite|improve this question











$endgroup$




I am reading Emil Artin's "Galois Theory" now.

There is a small gap in this book:




We shall now try to imitate the set $E_0$ without having an extension field $E$ and an element $a$ at our disposal. We shall assume only an irreducible polynomial $$f(x) = x^n + a_{n-1} x^{n-1} + cdots + a_0$$ as given. We select a symbol $xi$ and let $E_1$ be the set of all formal polynomials $$g(xi) = c_0 + c_1 xi + cdots + c_{n-1} xi^{n-1}$$ of a degree lower than $n$. This set forms a group under addition. We now introduce besides the ordinary multiplication a new kind of multiplication of two elements $g(xi)$ and $h(xi)$ of $E_1$ denoted by $g(xi) times h(xi)$. It is defined as the remainder $r(xi)$ of the ordinary product $g(xi) h(xi)$ under division by $f(xi)$. We first remark that any product of $m$ terms $g_1(xi), g_2(xi), cdots, g_m(xi)$ is again the remainder of the ordinary product $g_1(xi) g_2(xi) cdots g_m(xi)$. This is true by definition for $m = 2$ and follows for every $m$ by induction if we just prove the easy lemma: The remainder of the product of two remainders (of two polynomials) is the remainder of the product of these two polynomials.




And I tried to fill the gap.

Is the following proof ok or not?
$a, b, f$ is a polynomial.
$textrm{Mod}[a, f]$ is the remainder on division of $a$ by $f$.
$textrm{Quotient}[a, f]$ is the polynomial quotient of $a$ and $f$.




$a times b = a times textrm{Mod}[b, f]$




Proof:



$a b = textrm{Quotient}[a b,f] f + textrm{Mod}[a b,f]$



and



$b = textrm{Quotient}[b,f] f + textrm{Mod}[b,f]$.



$a b = a textrm{Quotient}[b,f] f + a textrm{Mod}[b,f]$.
$a textrm{Mod}[b,f] = textrm{Quotient}[a textrm{Mod}[b,f],f] f + textrm{Mod}[a textrm{Mod}[b,f],f]$.



$a b = a textrm{Quotient}[b,f] f + textrm{Quotient}[a textrm{Mod}[b,f],f] f + textrm{Mod}[a textrm{Mod}[b,f],f] = (a textrm{Quotient}[b,f] + textrm{Quotient}[a textrm{Mod}[b,f],f]) f + textrm{Mod}[a textrm{Mod}[b,f],f].$



$therefore textrm{Mod}[a b,f] = textrm{Mod}[a textrm{Mod}[b,f],f].$



$therefore a times b = a times textrm{Mod}[b, f]$.




$a times b = textrm{Mod}[a, f] times textrm{Mod}[b, f]$




Proof:



$a times b = a times textrm{Mod}[b, f] = textrm{Mod}[b, f] times a = textrm{Mod}[b, f] times textrm{Mod}[a, f] = textrm{Mod}[a, f] times textrm{Mod}[b, f]$.




$(g_1(xi) times g_2(xi)) times g_3(xi) = g_1(xi) times (g_2(xi) times g_3(xi)) = textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f]$




Proof:



$textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f] = (g_1(xi) g_2(xi)) times g_3(xi) = textrm{Mod}[g_1(xi) g_2(xi), f] times g_3(xi) = (g_1(xi) times g_2(xi)) times g_3(xi).$



$textrm{Mod}[g_1(xi) g_2(xi) g_3(xi), f] = g_1(xi) times (g_2(xi) g_3(xi)) = g_1(xi) times textrm{Mod}[g_2(xi) g_3(xi), f] = g_1(xi) times (g_2(xi) times g_3(xi)).$




$g_1(xi) times g_2(xi) times cdots times g_m(xi) times g_{m+1}(xi) = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi) g_{m+1}(xi), f]$




Proof:



I prove by induction.



$g_1(xi) times g_2(xi) times cdots times g_m(xi) times g_{m+1}(xi) = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi), f] times g_{m+1}(xi) = (g_1(xi) g_2(xi) cdots g_m(xi)) times g_{m+1}(xi) = textrm{Mod}[(g_1(xi) g_2(xi) cdots g_m(xi)) g_{m+1}(xi), f] = textrm{Mod}[g_1(xi) g_2(xi) cdots g_m(xi) g_{m+1}(xi), f].$







proof-verification polynomials modular-arithmetic






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 2 at 9:47







tchappy ha

















asked Jan 2 at 9:32









tchappy hatchappy ha

766412




766412












  • $begingroup$
    The right way to do all this is to consider the quotient ring $K[X]/left<f(X)right>$.
    $endgroup$
    – Lord Shark the Unknown
    Jan 2 at 9:51










  • $begingroup$
    But Artin did not write a quotient ring in his book.
    $endgroup$
    – tchappy ha
    Jan 2 at 9:55












  • $begingroup$
    And I want to know the proof that Artin expects.
    $endgroup$
    – tchappy ha
    Jan 2 at 9:58


















  • $begingroup$
    The right way to do all this is to consider the quotient ring $K[X]/left<f(X)right>$.
    $endgroup$
    – Lord Shark the Unknown
    Jan 2 at 9:51










  • $begingroup$
    But Artin did not write a quotient ring in his book.
    $endgroup$
    – tchappy ha
    Jan 2 at 9:55












  • $begingroup$
    And I want to know the proof that Artin expects.
    $endgroup$
    – tchappy ha
    Jan 2 at 9:58
















$begingroup$
The right way to do all this is to consider the quotient ring $K[X]/left<f(X)right>$.
$endgroup$
– Lord Shark the Unknown
Jan 2 at 9:51




$begingroup$
The right way to do all this is to consider the quotient ring $K[X]/left<f(X)right>$.
$endgroup$
– Lord Shark the Unknown
Jan 2 at 9:51












$begingroup$
But Artin did not write a quotient ring in his book.
$endgroup$
– tchappy ha
Jan 2 at 9:55






$begingroup$
But Artin did not write a quotient ring in his book.
$endgroup$
– tchappy ha
Jan 2 at 9:55














$begingroup$
And I want to know the proof that Artin expects.
$endgroup$
– tchappy ha
Jan 2 at 9:58




$begingroup$
And I want to know the proof that Artin expects.
$endgroup$
– tchappy ha
Jan 2 at 9:58










0






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%2f3059280%2fa-small-gap-in-emil-artins-galois-theory%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3059280%2fa-small-gap-in-emil-artins-galois-theory%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

Mont Emei

Province de Neuquén

Journaliste