Timeline for Is the preimage of a Hopf subalgebra a Hopf subalgebra?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 31, 2023 at 15:18 | comment | added | Bugs Bunny | Think of an element in $\varphi^{-1}(H)$. It is a linear combination of elements of $F_1$. Separate them into two summands: $x$ -- linear combination of elements of $\phi^{-1}(H_1)$ and the rest $y$. Then $x$ belongs to the first summand, while $y$ belongs to $\ker (\varphi)$, which is the second summand. | |
| Aug 31, 2023 at 13:49 | comment | added | Sergei Akbarov | Excuse me, why in the last equality the embedding $\subseteq$ holds? I.e., why $\varphi^{-1}(H)\subseteq...$ ? | |
| Aug 31, 2023 at 12:58 | history | edited | Bugs Bunny | CC BY-SA 4.0 |
edited body
|
| Aug 31, 2023 at 12:52 | history | answered | Bugs Bunny | CC BY-SA 4.0 |