Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

Is there a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all polynomials $\mathrm{Gal}(T(f))$ is the commutator subgroup of $\mathrm{Gal}(f)$?Is there a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all polynomials $\mathrm{Gal}(T(f))$ is the commutator subgroup of $\mathrm{Gal}(f)$?

that there does not exist a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What, if any, are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

Is there a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all polynomials $\mathrm{Gal}(T(f))$ is the commutator subgroup of $\mathrm{Gal}(f)$?

that there does not exist a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What, if any, are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

Is there a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all polynomials $\mathrm{Gal}(T(f))$ is the commutator subgroup of $\mathrm{Gal}(f)$?

that there does not exist a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What, if any, are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

put link to previous question, some rephrasings.
Source Link
Arturo Magidin
  • 7.2k
  • 1
  • 42
  • 60

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

"http://mathoverflow.net/questions/219076/a-question-in-galois-theory " that:

Is there a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all polynomials $\mathrm{Gal}(T(f))$ is the commutator subgroup of $\mathrm{Gal}(f)$?

that There is no athere does not exist a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

What, if any, are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

"http://mathoverflow.net/questions/219076/a-question-in-galois-theory " that:

There is no a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

Is there a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all polynomials $\mathrm{Gal}(T(f))$ is the commutator subgroup of $\mathrm{Gal}(f)$?

that there does not exist a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What, if any, are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

edited title
Source Link
Ali Taghavi
  • 356
  • 8
  • 31
  • 123

A functorial approach to Endofunctors on the category of groups which are Galois theory- related to a linear map on $\mathbb{Q}[x]$

I thank J.C. and Arturo Magidin for his/her interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

"http://mathoverflow.net/questions/219076/a-question-in-galois-theory " that:

There is no a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

A functorial approach to Galois theory

I thank J.C. for his/her interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

"http://mathoverflow.net/questions/219076/a-question-in-galois-theory " that:

There is no a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

Endofunctors on the category of groups which are Galois- related to a linear map on $\mathbb{Q}[x]$

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question

In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with rational coefficients is denoted by $\mathbb{Q}[x]$. The commutator subgroup of a group $G$ is denoted by $G'$. The isomorphism between two groups is denoted by $\simeq$

We learn from the answer to the following question

"http://mathoverflow.net/questions/219076/a-question-in-galois-theory " that:

There is no a $\mathbb{Q}$-linear map $T$ on $\mathbb{Q}[x]$ such that for all $f\in \mathbb{Q}[x]$ we have $$Gal(T(f))\simeq(Gal(f))'$$

Motivated by the above fact we ask the following question:

Assume that $T$ is a a linear map over $\mathbb{Q}[x]$, and $\mathcal{F}$ is an endofunctor on the category of groups. we say that $T$ is Galois-related to $\mathcal{F}$ if we have $$Gal(T(f))\simeq\mathcal{F}(Gal(f))\;\;\;\text{For all polynomial } f \in \mathbb{Q}[x]$$

What are some non trivial examples of such situation? (A non identity functor?Some interesting examples?)

Some clarification
Source Link
Ali Taghavi
  • 356
  • 8
  • 31
  • 123
Loading
edited title
Link
Ali Taghavi
  • 356
  • 8
  • 31
  • 123
Loading
added 37 characters in body
Source Link
Ali Taghavi
  • 356
  • 8
  • 31
  • 123
Loading
deleted 1 character in body
Source Link
Ali Taghavi
  • 356
  • 8
  • 31
  • 123
Loading
Source Link
Ali Taghavi
  • 356
  • 8
  • 31
  • 123
Loading