今日の英語
- 何かを示すことを予告する
- We must show that A.
- What has to be shown is A.
- 定義する
- A are said to be B if C.
- A is B defined by C.
- A is referred to as B.
- 仮定する
- Suppose that A.
- 話を進める
- A means that B
- This follows from the fact that B.
- This means A.
- Then,
- そのほか
- The identity map (theなんだねそうだね。)
今日の豆知識
有限群の準同型について、とが互いに素なら、の部分群
はに包まれる。なぜなら、の部分群の位数はとの両方を割りきらなければならず、互いに素なのでとなり、となるから。