خانه
حلقه یکدار
تعریف حلقه يکدار: فرض کنید که R نسبت به دو عمل دوتایی + و . تشکیل یک حلقه بدهد. R را یک حلقه یکدار گویند، هرگاه عضوی چون $ 1_{R} \in R $ موجود باشد به قسمی که به ازای هر $ a \in R $ داشته باشیم:
$ a.1_{R} = 1_{R}.a = a $
مثال۱. ثابت کنید که $\mathbb{Q}$ همراه با دو عمل دوتایی جمع و ضرب معمولی اعداد یک حلقه یکدار است.
برای اثبات این موضوع که $\mathbb{Q}$ نسبت به دو عمل دوتایی جمع و ضرب معمولی یک حلقه یکدار است. داریم:
۱. $(\mathbb{Q} , +)$ یک گروه آبلی است. يعني داريم:
- $\mathbb{Q}$ نسبت به عمل دوتایی جمع بسته است.
- $\mathbb{Q}$ نسبت به عمل دوتایی جمع جابهجايي است.
- $\mathbb{Q}$ نسبت به عمل دوتایی جمع شركتپذیر است.
- $\mathbb{Q}$ نسبت به عمل دوتایی جمع دارای عضو همانی است.
- $\mathbb{Q}$ نسبت به عمل دوتایی جمع دارای عضو وارن به ازای هر عضو میباشد.
۲. $(\mathbb{Q} , .)$ بسته و شرکت پذیر است.
۳. عمل دوتایی ضرب بر روی عمل دوتایی جمع پخشپذیر است.
و اینکه در نهایت برای اثبات حلقه یکدار بودن داریم:
۴. عضو $1 \in \mathbb{Q}$ موجود است، به قسمی که به ازای هر $a\in \mathbb{Q}$ بگیریم، داریم:
$ 1.a = a.1 =a $
در نتیجه $\mathbb{Q}$ نسبت به عمل دوتایی ضرب دارای یک عضو همانی است. در نتیجه این حلقه یک حلقه یکدار است.
تمرین ۱. ثابت کنید که مجموعه $ M_{n \times n} (\mathbb{R}) = \{ \begin{bmatrix} a & b \\ c & d \end{bmatrix} | a,b,c,d \in R , ad - bc \neq 0 \} $ یک حلقه یکدار است.
تمرین ۲. آیا مجموعه $ 2Z = \{ 2k | k \in Z \} $ یک حلقه یکدار است یا خیر.
تمرین ۳. آیا مجموعه $ Z_{n} = \{ \overline{0} , \overline{1} , ... \overline{n-1} \} $ همراه با عمل دوتایی جمع و ضرب معمولی تشکیل یک حلقه یکدار میدهد یا خیر؟
$ \forall \overline{a} , \overline{b} \in Z_{n} ; \overline{a+b} = \overline{a} + \overline{b}$
$ \forall \overline{a} , \overline{b} \in Z_{n} ; \overline{ab} = \overline{a} \overline{b} $
که در آن نماد $\overline{i}$ به مفهوم زیر است:
$\overline{i}=\{m \in \mathbb{Z} | m=nq+i , q \in \mathbb{Z} \}$
- بازدید: 9641
حلقه آبلی
تعریف حلقه آبلی: فرض کنید که R همراه با دو عمل دوتایی + و . تشکیل یک حلقه بدهد. R را یک حلقه آبلی با جابهجایی گویند، هرگاه این حلقه نسبت به عمل دوتایی ضرب دارای ویژگی زیر باشد:
$\forall a,b \in R; a.b = b.a $
این عبارت بيان میكند، كه اعضای حلقه R همواره نسبت به عمل دوتایی ضرب جابهجا شوند.
مثال۱. ثابت کنید که مجموعه $ M_{n \times n} (R) = \{ \begin{bmatrix} a & b \\ c & d \end{bmatrix} | a,b,c,d \in R \} $ نسبت به عمل جمع و ضرب ماتریسها تشکیل یک حلقه جابهجایی را نمیدهد.
برای اثبات این موضوع که $ M_{n \times n} (R) $ همراه با دو عمل دوتایی جمع و ضرب ماتریسها تشکیل یک حلقه را میدهد. به گونه زیر عمل میکنیم.
۱. ثابت میکنیم که $ M_{n \times n} (R) $ نسبت به عمل دوتایی جمع یک گروه آبلی است، لذا داریم:
- به ازای دو ماتریس A و Bای که از $ M_{n \times n} (R) $ بگیریم، چون مجموع دو ماتریس $ 2 \times 2 $، یک ماتریس $ 2 \times 2 $ است، لذا داریم:
$A+B \in M_{n \times n}(R)$
- مجموعه $ M_{n \times n} (R) $ نسبت به عمل دوتایی جمع ماتریسها دارای خاصیت شرکتپذیری است، زیرا به ازای هر سه ماتریس $ A,B,C $ که از $ M_{n \times n} (R) $ بگیریم، همواره داریم:
$ (A+B) + C = A + (B+C) $
- عضوی چون $ A = \begin{bmatrix} 0 & 0 \\ 0 & 0 \end{bmatrix} \in M_{n \times n} (R) $ موجود است، به قسمی که به ازای هر ماتریس $ B \in M_{ n \times n} (R) $ بگیریم، همواره داریم:
$ A+B = B+A = B $
- به ازای هر ماتریس $ A = \begin{bmatrix} a & b \\ c & d \end{bmatrix} \in M_{n \times n} (R) $ بگیریم، ماتریسي چون $ A = \begin{bmatrix} -a & -b \\ -c & -d \end{bmatrix} \in M_{n \times n} (R) $ موجود است، به قسمی که داریم:
$ A+B = 0 = B + A $
۲) مجموعه $ M_{n \times n} (R) $ نسبت به عمل دوتایی ضرب ماتریسی دارای ویژگیهای زیر میباشد:
- $ M_{n \times n} (R) $ نسبت به عمل دوتایی ضرب ماتریسی دارای ویژگی های زیر میباشد.
- نسبت به عمل دوتایی ضرب ماتریسی بسته است. چون ضرب دو ماتریس $ 2 \times 2 $ یک ماتریس $ 2 \times 2 $ میباشد.
۳) در نهایت عمل دوتایی ضرب بر روی عمل دوتایی جمع ماتریسی خاصیت پخشپذیر بودن را دارد. به عنوان تمرین ثابت کنید.
با استفاده از ویژگی های بالا ثابت شد که مجموعه $ M_{n \times n} (R) $ یک حلقه است، اما این حلقه یک حلقه جابهجایی نیست، زیرا اگر دو ماتریس A و B زیر را داشته باشیم، داریم:
$ A = \begin{bmatrix} 5 & 2 \\ 3 & 1 \end{bmatrix} $, $ B = \begin{bmatrix} 1 & 1 \\ 0 & 0 \end{bmatrix} $
⇒ $ BA = \begin{bmatrix} 1 & 1 \\ 0 & 0 \end{bmatrix} . \begin{bmatrix} 5 & 2 \\ 3 & 1 \end{bmatrix}$
⇒ $ AB = \begin{bmatrix} 5 & 2 \\ 3 & 1 \end{bmatrix} . \begin{bmatrix} 1 & 1 \\ 0 & 0 \end{bmatrix}$
در نتیجه $ AB \neq BA $ خواهد شد. پس جابهجایی نیست.
تمرین ۱. ثابت کنید که مجموعه زیر با دو عمل دوتایی تعریف شده یک حلقه جابهجایی است.
$ R [n] = \{ (a_0 , ... , a_{n} , ... ) | a_1 \in R , a_{i} = 0 \} $
$ ( a_0 , a_1 , ... , a_{n} , ... ) + ( b_0 , b_1 , ... , b_{n} , ... ) = (a_0 + b_0 , a_1 + b_1 , ... , a_{n} + b_{n} , ... ) $
$ ( a_0 , a_1 , ... , a_{n} , ...) . ( b_0 , b_1 , ... , b_{n} , ... ) = ( C_0 , C_1 , ... , C_{n} , ... ) $
که در آن داریم $ C_{i} = \sum_{k=0} ^{i} a_{k} b_{i-k} $
تمرین ۲. آیا مجموعه $ nZ = \{ nk | k \in Z \} $ دو عمل دوتایی زیر یک حلقه جابهجایی است یا خير؟
$ nk_1 + nk_2 = n(k_1 + k_2) $
$ (nk_1) (nk_2) = nk_3 = n(nk_1 k_2) $
- بازدید: 3460
ميدان
تعریف میدان: مجموعه $A \neq \emptyset $را همراه با دو عمل دوتایی + و . را در نظر بگیرید. مجموعه A همراه با این دو عمل دوتایی تشکیل یک میدان را میدهد هرگاه در شرایط زیر صدق کند:
۱. هرگاه مجموعه A نسبت به دو عمل دوتایی + و . بسته باشد، به عبارت دیگر داریم:
$ \forall x , y \in A , x.y \in A , x+y \in A $
۲. هرگاه دو عمل دوتایی + و . بر روی مجموعه A جا به جایی باشد، به عبارت دیگر داریم:
$ \forall x , y \in A , x+y = y+x $
۳. هرگاه عمل دوتایی + بر روی مجموعه A شرکتپذیر باشد، به عبارت دیگر داریم:
$ \forall x,y,z \in A, (x+y) + z = x+(y+z)$
۴. مجموعه A نسبت به عمل دوتایی + دارای عضو همانی است، به عبارت دیگر داریم:
$ \exists 0_{A} \in A , \forall a \in A , a+0_A = 0_A + a = a $
۵. هرگاه هر عضو از مجموعه A دارای عضو وارون منحصر به فرد باشد، به عبارت دیگر داریم:
$ \forall a \in A , \exists b \in A , a+b = b+a = 0_A $
۶. نسبت به عمل دوتایی ضرب جا به جایی باشد، به عبارت دیگر داریم:
$ \forall x,y \in A , x.y = y.x $
۷. نسبت به عمل دوتایی ضرب شرکتپذیر باشد، به عبارت دیگر داریم:
$ \forall x,y,z \in A , (x.y)z = x(y.z) $
۸. عضو منحصر به فردي چون $1_A \in A$ موجود باشد به گونه ای که به ازای هر $ a \in A $ میگیریم داشته باشیم:
$ 1_A . a = a . 1_A = a $ .
۹. به ازای هر عضو $ a \in A $ عضو منحصر به فردی چون b موجود باشد که نسبت به عمل دوتایی ضرب داشته باشیم:
$ \forall a\in A, \exists b\in A, a.b = b.a = 1_A $
۱۰. به ازای هر $ x,y,z \in A $ میگیریم عمل دوتایی ضرب بر روی عمل دوتایی جمع پخشپذیر باشد.
$ x . ( y+z ) = x.y + x.z $
$ ( y+z ) . x = y.x + z.x $
در نتیجه هر مجموعه ای که در ۱۰ شرط بالا صدق کند یک میدان میباشد.
مثال. آیا اعداد گویا با دو عمل دوتایی + و . تعریف شده به صورت زیر تشکیل یک میدان را می دهد؟
$ \forall \frac{a}{b}, \frac{c}{d} \in Q\longrightarrow \frac{a}{b} + \frac{c}{d} = \frac{ad+ bc}{bd} $
$ \forall \frac{a}{b}, \frac{c}{d} \in Q\longrightarrow \frac{a}{b} . \frac{c}{d} = \frac{ac}{bd} $
برای اینکه ببینیم $ (Q, +, .) $ تشکیل یک میدان میدهد یا خیر، كافي است ۱۰ شرط بالا را برای میدان بودن بررسی کنیم.
۱. مجموعه نسبت به دو عمل دوتایی جمع و ضرب بسته است، زیرا حاصل جمع دو عدد گویا، عددی به صورت $ \frac{ad + bc}{bd} $ است که خود یک عدد گویا است. پس نسبت به عمل دوتایی جمع بسته و با توجه به اینکه نسبت به عمل دوتایی ضرب، حاصل عبارت $ \frac{ac}{bd} $ است که خود یک عدد گویا است، پس نسبت به ضرب هم بسته خواهد بود.
۲. می توان به راحتی بیان نمود که $(Q , +)$ یک گروه آبلی است.
۳. همچنین می توان دید که $(Q , .)$ هم یک گروه آبلی است.
۴. برای اتمام اثبات این موضوع که $(Q , + , .)$ یک میدان است، کافی است پخشپذیر بودن $(Q , + , .)$ را نشان دهیم.
$ \forall \frac{a}{b} , \frac{c}{d} , \frac{e}{f} , \in Q \longrightarrow \frac{a}{b} . (\frac{c}{d} + \frac{e}{f}) = \frac{a}{b} . ( \frac{cf + ed}{df} ) = \frac{acf + aed}{bdf} = \frac{ac}{bd} + \frac{ae}{bf} = \frac{a}{b} . \frac{c}{d} + \frac{a}{b} . \frac{e}{f} $
لذا $(Q , + , .)$ یک میدان میباشد.
تمرین. آیا مجموعه اعداد مختلط همراه با دو عمل دوتایی جمع و ضرب تعریف شده به صورت زیر تشکیل یک میدان میدهد؟
$ \forall a+bi , c+di \in C \longrightarrow (a+bi)(c+di) = (ac-bd) + (bc + ad)i $
$ \forall a+bi , c+di \in C \longrightarrow (a+bi)+(c+di) = (a+c) + i(b+d) $
- بازدید: 11937
تعریف جایگشت، مثال و تمرین
تعریف جایگشت: فرض كنيم S یک مجموعه دلخواه باشد. یک جایگشت بر روی مجموعه S، تابعی دو سویی از مجموعه S به روش خودش میباشد. جایگشت را در جبر معمولا با نماد $ \sigma $ نشان می دهیم. یعنی داریم:
$\sigma : S \rightarrow S$
$\sigma(s)=w, \:\: s ,w \in S$
- بازدید: 11912