代数学 【代数学】可換群（アーベル群）の定義
可換群（アーベル群）の定義定義（可換群（アーベル群））$(G, *)$ を群とする．任意の $a, b \in G$ に対して，$$a * b = b * a$$が成り立つとき，$(G, *)$ を可換群（またはアーベル群）という．
代数学 代数学 【代数学】群の単位元の一意性
群の単位元の一意性定理（群の単位元の一意性）$(G, *)$ を群とする．このとき，$G$ の単位元はただ1つしかない．（証明）$e_1, e_2$ を 群 $G$ の単位元とする．このとき，単位元の定義より，$$\begin{align*...
Python3 【Python3】文字列の作り方
代数学 【代数学】【定義】群・群の単位元・群の逆元
「群」「群の単位元」「群の逆元」の定義定義（群）$G$ を空でない集合とする．$G$ 上に二項演算 $*$ （ $G \times G \to G$ ）が存在して次の（G1）〜（G3）を満たすとき，組 $(G, *)$ を群という．$\te...
Python3 【Python3】文字列の連結・繰り返し
文字列は連結・繰り返しができる。連結： + 演算子を使って、文字列同士を連結できる。繰り返し： * 演算子を使って、文字列を任意の回数だけ繰り返せる。Python# 文字列の連結s1 = "Hello"s2 = "World"result ...
Python3 【Python3】文字列の作り方
文字列の作り方文字を引用符で囲むことで文字列を作成できる。使える引用符は '（シングルクォート）または "（ダブルクォート）複数行にわたる文字列は ''' または """（トリプルクォート）で囲むPython# 文字列の作り方（単行）str...
