2010年1月15日金曜日

GoogleドキュメントのTeXによる数式入力の練習。


Gを群とする。

(1)\forall a,b,c\in G[(ab)c=a(bc)]\\
(2)\exists1\in G\forall a\in G[1a=a1=a]\\
(3)\forall a\in G\exists a^{-1}\in G[aa^{-1}=a^{-1}=1]

Gの元xが交換子である。

\exists a,b\in G[x=aba^{-1}b^{-1}]

Gの交換子群D(G)。

D(G)=\left\{x\in G|\ \exists n\in N[x=x_{1}x_{2}\ \cdot\ \cdot\ \cdot x_{n}]\\
(\forall i\in N\exists a,b\in G[x_{i}=aba^{-1}b^{-1}\vee\\
x_{i}=(aba^{-1}b^{-1})^{-1}])\right\}

0 コメント:

コメントを投稿