A small gap in Emil Artin's “Galois Theory”.
$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].$
proof-verification polynomials modular-arithmetic
$endgroup$
add a comment |
$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].$
proof-verification polynomials modular-arithmetic
$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
add a comment |
$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].$
proof-verification polynomials modular-arithmetic
$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
proof-verification polynomials modular-arithmetic
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
add a comment |
$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
add a comment |
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
});
}
});
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%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
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%2f3059280%2fa-small-gap-in-emil-artins-galois-theory%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
$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