这里是测试

Note

默认块

default块

primary块

success块

info块

warning块

danger块

默认块

default块

primary块

success块

info块

warning块

danger块

默认块

default块

primary块

success块

info块

warning块

danger块

默认 提示块标签

default块

primary块

success块

info块

warning块

danger块

图片








hide

\[ Hayashi-Hana^2 \]

这是哪? Hayashi-HanaHana

这是哪?

\[ Hayashi-Hana^2 \]

这是哪?

不知道耶🤔

\[ Hayashi-Hana^2 \]

tab

这是啥?

是苹果

这是啥?

是苹呆

这是啥?

啥都没有

button

Hana
Hana
Hana
Hana
Hana
Hana
Hana

inlineImg

好耶!

label

颜色、蓝色、粉色、红色、紫色、橙色、绿色

bilibili

pdf

查看 PDF

aplayer

text

下划线

点线

波浪线

删除线

command

隐藏文本

span

  • 彩色文字
    红色、黄色、绿色、青色、蓝色、灰色。
  • 超大号文字
    HayashiHana²

HayashiHana²

check box

☐ 未选
☑ 绿色 + 默认选中
☑ 黄色 + 默认选中
☑ 青色 + 默认选中
☑ 蓝色 + 默认选中
☑ 增加
☑ 减少
☑ 叉

radio

◉ 选中
○ 支持自定义颜色
○ 绿色
○ 黄色
○ 青色
○ 蓝色

HayashiHana²

Hayashi-NakaHana/Hayashi-NakaHana.github.io

sites

HayashiHana²

poem

立花北枝

さびしさや
一尺消えて
ゆくほたる

progress

进度条样式预览(10%)
进度条样式预览(30%)
进度条样式预览(50%)
进度条样式预览(70%)
进度条样式预览(90%)
进度条样式预览(100%)

reference

你说得对,但是《xx》[1]是xxx[2]自主开发的一款全新开放世界冒险游戏。游戏发生在一个被称作「xx」[2]的幻想世界,在这里,被神选中的人将被授予「xx」[3],导引元素之力。你将扮演一位名为「xx」[4]的神秘角色,在自由的旅行中邂逅性格各异、能力独特的同伴们,和他们一起击败强敌,找回失散的亲人——同时,逐步发掘「xx」[5]的真相。

[1] 原神
[2] 米哈游
[3] 神之眼
[4] 旅行者
[5] 原神

text

重点

这里是重点文本的演示案例。

注记与增订

划线!划线!全划完就等于我会了!

划线!划线!全划完就等于我会了!

注音

椎名真昼しい な ま ひる

7.(正规基定理)若\(E/F\)为有限Galois扩张,则存在 \(a\in E\) 使得

\[ \{\sigma(x):\sigma\in G\} \]

\(E\)作为\(F\)的线性空间的一组基.

证明

只证\(k\)无限的情况.

\(Gal(E/F)=\{\sigma_1,\dots,\sigma_n\}\).对任意\(x\in E\),若存在\(a_i\in F\)使得

\[ a_1\sigma_1(x)+a_2\sigma_2(x)+\cdots+a_n\sigma_n(x)=0 \]

则令 \(\sigma^{-1}_i(i=1,\dots,n)\)作用在上式,因此得到一个线性方程组 \(BA=0\),其中 \(B=(\sigma^{-1}_i\sigma_j(x)),A=(a_i)^T\).下面我们只需找到一个\(x\)使得 \(|B|\neq 0\)也就是\(B\)可逆,如此我们就能得到 \(a_i=0\).

定义

\[ f(X_{\sigma_1},\dots,X_{\sigma_n})=det(t_{\sigma_i,\sigma_j}) \]

其中

\[ t_{\sigma_{i},\sigma_{j} }=X_{ \sigma^{-1}_{i}\sigma_{j} } \]

\(X_{id}=1\) 其余为 \(0\), 则 \(f\neq 0\). 对任意 \(x\in E\)\(X_i=\sigma_{i}(x)\), 注意 \(f\)\(\sigma_{i}\) 的线性组合, 因此由Dedkind-Artin特征标定理知存在 \(x\in E\) 使得

\[ f(\sigma_1(x),\dots,\sigma_n(x))\neq 0 \]

\(G\)作用到这个 \(x\)的集合,就是一组正规基.我们完成了证明.