Timeline for Extension of hyperderivatives
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 8, 2021 at 20:44 | comment | added | darij grinberg | ... making sure the maps are continuous. | |
| Aug 8, 2021 at 20:44 | comment | added | darij grinberg | I suspect the answer is "yes", because a family of Hasse-Schmidt derivations $\left(D_0, D_1, D_2, \ldots\right)$ on a ring $A$ is equivalent to a ring homomorphism $\sum_{i\geq 0} D_i t^i : A \to A\left[\left[t\right]\right]$ (see, e.g., Theorem 2.10 in darijgrinberg.gitlab.io/algebra/va3.pdf ), and therefore all you need is to extend a ring homomorphism $K \to K\left[\left[t\right]\right]$ to a ring homomorphism $K\left(a\right) \to K\left(a\right)\left[\left[t\right]\right]$; but this should be easy "by tensoring". But I'll leave the details to you, particularly ... | |
| Aug 8, 2021 at 20:43 | comment | added | joaopa | yes, you are right. | |
| Aug 8, 2021 at 20:39 | comment | added | darij grinberg | You want to extend them as (a family of) Hasse-Schmidt derivations, right? | |
| Aug 8, 2021 at 20:33 | history | edited | YCor | CC BY-SA 4.0 |
edited tags
|
| Aug 8, 2021 at 9:49 | history | edited | Daniele Tampieri | CC BY-SA 4.0 |
added 11 characters in body
|
| Aug 8, 2021 at 9:30 | history | asked | joaopa | CC BY-SA 4.0 |