Đại số cơ sở - Các bài tập kiểm tra nhóm

Nhóm là một khái niệm cơ bản của Đại số, và là một trong những nội dung không thể vắng

bóng trong các đề thi tuyển sinh chuyên ngành Đại số cơ sở. Vì vậy bạn phải nắm vững kỹ

năng kiểm tra một tập X cho trước với một phép toán nào đó trên X lập thành một nhóm. Dĩ

nhiên bạn phải năm vững khái niệm nhóm để theo đó mà từng bước kiểm tra tập X đã cho và

phép toán đã cho có thỏa mãn tất cả các điều kiện cần có cho một nhóm hay không?

Theo chương trình Đại số đại cương ta có ba định nghĩa nhóm, tương đương với nhau như

sau :

pdf7 trang | Chia sẻ: liennguyen452 | Lượt xem: 2985 | Lượt tải: 0download
Bạn đang xem nội dung tài liệu Đại số cơ sở - Các bài tập kiểm tra nhóm, để tải tài liệu về máy bạn click vào nút DOWNLOAD ở trên
ĐẠI SỐ (CƠ SỞ) TS Trần Huyên Ngày 11 tháng 10 năm 2004 Mở Đầu Độc giả thân mến, các bạn đang tham gia chuyên đề "Đại số cơ sở" của Khoa Toán - Tin ĐHSP Tp. HCM. Chuyên đề của chúng tôi xây dựng, trước hết nhằm trợ giúp các ứng viên Thạc sĩ tương lai về chuyên ngành đại số hệ thống lại các kiến thức cơ sở, các kỹ thuật cơ bản, rèn luyện kỹ năng giải toán để có thể vững vàng vượt qua kỳ thi tuyển sinh cao học của ĐHSP Tp. HCM, trở thành học viên Cao học ngành Đại số của trường. Chuyên đề bám sát các nội dung đề ra trong chương trình tuyển sinh, không chỉ giúp các học viên có thể vững tâm đối diện với kỳ thi tuyển mà còn giúp cho học viên một khả năng, phương pháp tự học, tự đào tạo mình. Để học viên dễ theo dõi, tiếp thu các nội dung sẽ được biên soạn dưới dạng các bài giảng với ngôn ngữ đơn giản và dễ hiểu nhất, mỗi bài giảng độ hai tiết cho mỗi tuần. Chuyên đề đề sẽ được dàn dựng với thời lượng chừng 40 tiết, liên tục được cập nhật cho tới ngày các bạn có thể tham gia đợt ôn tập tập trung trước khi bước vào kỳ thi tuyển, dịp tháng 05−2005. Để chuyên đề càng ngày càng được triển khai một cách hữu ích, hiệu quả hơn, chúng tôi luôn luôn sẳn sàng đón nhận các góp ý, yêu cầu của các bạn. Chúng tôi cũng sẳn sàng trao đổi, giải đáp các thắc mắc của các bạn, hầu mong chuyên đề sẽ là người bạn tâm giao của độc giả trong hành trình phấn đấu khoa học của mình. Các bài tập kiểm tra nhóm Nhóm là một khái niệm cơ bản của Đại số, và là một trong những nội dung không thể vắng bóng trong các đề thi tuyển sinh chuyên ngành Đại số cơ sở. Vì vậy bạn phải nắm vững kỹ năng kiểm tra một tập X cho trước với một phép toán nào đó trên X lập thành một nhóm. Dĩ nhiên bạn phải năm vững khái niệm nhóm để theo đó mà từng bước kiểm tra tập X đã cho và phép toán đã cho có thỏa mãn tất cả các điều kiện cần có cho một nhóm hay không? Theo chương trình Đại số đại cương ta có ba định nghĩa nhóm, tương đương với nhau như sau : 1 Định nghĩa 1 Nhóm là một tập hợp X 6= ∅, trên đó đã xác định được một phép toán hai ngôi thỏa các điều kiện : 1. N1 : (Điều kiện kết hợp) : ∀x, y, z ∈ X thì (xy)z = x(yz). 2. N2 : (Điều kiện đơn vị ) : ∃e ∈ X, ∀x ∈ X thì { ex = x xe = x 1 3. N3 : (Điều kiện khả nghịch ) ∀x ∈ X,∃x−1 ∈ X sao cho { x−1x = e xx−1 = e 2 Định nghĩa 2 Nhóm là nửa nhóm X, có đơn vị trái e và mọi x ∈ X đều có nghịch đảo trái x′ (tức x′x = e) Như vậy so với định nghĩa 1, thì định nghĩa 2 tiết kiệm hơn; ở điều kiện N2 chỉ cần kiểm tra ex = x và ở điều kiện N3 chỉ phải kiểm tra x −1x = e. Một dạng đối ngẫu của định nghĩa 2 và có thể xem như là định nghĩa 2’ là : Nhóm là nửa nhóm X, có đơn vị phải e và ∀x ∈ X đều có nghịch đảo phải x′ (tức xx′ = e) 3 Định nghĩa 3 Nhóm là nửa nhóm X mà các phương trình ax = b và xa = b là giải được (tức có nghiệm) trong X với mọi a, b ∈ X Để kiểm tra một tập cho trước X và một phép toán cho trên X là nhóm, tùy trường hợp cụ thể mà ta lựa chọn định nghĩa nào trong các định nghĩa nêu trên để áp dụng cho phù hợp. 4 Ví dụ 4.1 Ví dụ 1 Cho tập hợp X = Z × Z = {(k1, k2) : k1, k2 ∈ Z} xác định trên X phép toán sau : (k1, k2).(l1, l2) = (k1 + l1, k2 + (−1)k1l2) Chứng minh rằng X với phép toán trên là nhóm. Giải : 1. Cách 1 : (Nếu sử dụng định nghĩa 1, ta lần lượt kiểm tra từng bước như sau:) • X = Z × Z 6= ∅ vì Z 6= ∅. • Dễ dàng thấy là nếu (k1, k2), (l1, l2) là cặp số nguyên thì (k1+ l1, k2+(−1)k1l2) cũng là một cặp số nguyên nên phép toán trên X là phép toán hai ngôi. • ∀(k1, k2), (l1, l2), (t1, t2) ∈ X ta có :[(k1, k2)(l1, l2)](t1, t2) = (k1 + l1, k2 + (−1)k1l2)(t1, t2) = (k1 + l1 + t1, k2 + (−1)k1l2 + (−1)k1+l1t2) (1) Mặt khác : (k1, k2)[(l1, l2)(t1, t2)] = (k1, k2)(l1 + t1, l2 + (−1)l1t2) = (k1 + l1 + t1, k2 + (−1)k1l2 + (−1)k1+l1t2 (2) So sánh ( 1) vào ( 2) ta có điều kiện kết hợp. • Tồn tại (0, 0) ∈ X mà với mọi (k1, k2) ∈ X thì (0, 0)(k1, k2) = (0 + k1, 0 + (−1)0k2) = (k1, k2) và (k1, k2)(0, 0) = (k1 + 0, k2 + (−1)k1 .0) = (k1, k2) Vậy (0, 0) là đơn vị trong X. 2 • ∀(k1, k2) ∈ X,∃(−k1, (−1)k1+1k2) ∈ X mà (−k1, (−1)k1+1k2)(k1, k2) = (−k1 + k1, (−1)k1+1k2 + (−1)−k1k2) = (0, 0) (k1, k2)(−k1, (−1)k1+1k2) = (k1 − k1, k2 + (−1)2k1+1k2) = (0, 0) tức (k1, k2) −1 = (−k1, (−1)k1+1k2) Vậy X là một nhóm. • Nhận xét : Như vậy để kiểm tra một nhóm theo định nghĩa 1, ta đã làm theo đúng các yêu cầu của định nghĩa là kiểm tra tập X 6= ∅, kiểm tra phép toán cho trên X thật sự là phép toán hai ngôi (hai phần tử bất kỳ của tập hợp X phải có tích là một phần tử thuộc X!) và ba tiên đề N1, N2, N3. Dĩ nhiên, trong các bước đó, nếu có bước nào mà các đòi hỏi đuợc thỏa mãn một cách hiển nhiên thì ta có thể bỏ qua. Chẳng hạn ở ví dụ trên nếu xem bước 1, bước 2 là hiển nhiên thỏa mãn thì vẫn có thể chấp nhận được. Tuy nhiên trong một số trường hợp cần kiểm tra một cách cẩn trọng, tránh sự sai sót. 2. Cách 2 : Nếu sử dụng định nghĩa 2 thì trong lời giải trên chỉ cần bỏ đi hai đẳng thức kiểm tra đơn vị phải, kiểm tra nghịch đảo phải (hoặc bỏ đi hai đẳng thức kiểm tra đơn vị trái, kiểm tra nghịch đảo trái). 3. Cách 3 : (Nếu sử dụng định nghĩa 3 ) Trước hết hết ta kiểm tra X 6= ∅, phép toán trên X thật sự là phép toán hai ngôi, kiểm tra điều kiện kết hợp của phép toán (Điều này là như cách 1). Tiếp theo ta kiểm tra các phương trình ax = b và xa = b là có nghiệm trong X. Cho a = (a1, a2), b = (b1, b2) ∈ X và x = (x1, x2). • ax = b⇐⇒ (a1, a2)(x1, x2) = (b1, b2) ⇐⇒ (a1 + x1, a2 + (−1)a1x2) = (b1, b2) ⇐⇒ { a1 + x1 = b1 a2 + (−1)a1x2 = b2 ⇐⇒ { x1 = b1 − a1 ∈ Z x2 = (−1)a1(b2 − a2) ∈ Z Vậy phương trình ax = b có nghiệm nghĩa là x = (b1 − a1, (−1)a1(b2 − a2)) ∈ X • Tương tự : xa = b⇐⇒ (x1, x2)(a1, a2) = (b1, b2) ⇐⇒ (x1 + a1, x2 + (−1)x1a2) = (b1, b2) ⇐⇒ { x1 + a1 = b1 x2 + (−1)x1a2 = b2 ⇐⇒ { x1 = b1 − a1 ∈ Z x2 = b2 − (−1)b1−a1a2 ∈ Z tức phương trình xa = b có nghiệm là : x = (b1 − a1, b2 − (−1)b1−a1a2) ∈ X Vậy tập X với phép toán đã cho lập thành nhóm. • Nhận xét :Để tìm được phần tử đơn vị (0, 0) hay nghịch đảo (k1, k2)−1 = (−k1, (−1)k1+1k2) ở cách 1, ta sử dụng việc giải các phương trình đưa ra ở cách 3 với b = a khi tìm đơn vị e hay với b = e = (0, 0) khi tìm a−1. 4.2 Ví dụ 2 Cho X = {[ a b 0 c ] : ac 6= 0 } Chứng minh rằng X là nhóm đối với phép nhân ma trận. Giải : 3 1. Cách 1 : (Nếu sử dụng định nghĩa 1) • Hiển nhiên là X 6= ∅ • ∀ [ a1 b1 0 c1 ] , [ a2 b2 0 c2 ] ∈ X thì[ a1 b1 0 c1 ] [ a2 b2 0 c2 ] = [ a1a2 b 0 c1c2 ] ∈ X(a1a2c1c2 6= 0) Vậy phép nhân ma trận là phép toán hai ngôi trên X. • Theo đại số tuyến tính, phép nhân các ma trận có tính chất kết hợp. • Đơn vị là E = [ 1 0 0 1 ] ∈ X • ∀ [ a b 0 c ] ∈ X do ac 6= 0 theo đại số tuyến tính ta có : [ a b 0 c ]−1 = 1 ac [ c −b 0 a ] ∈ X Vậy X là một nhóm. • Nhận xét : Trong ví dụ trên, tập các ma trận và phép nhân ma trận là các đối tượng mà chuyên ngành ĐSTT đã nghiên cứu, vì vậy để kiểm tra một số điều kiện nào đó mà bản chất là các kết quả đã biết ở chuyên ngành này, ta không cần lặp lại các kiểm tra chi tiết mà chỉ cần nhắc rằng theo chuyên ngành đó (hay kết quả nào đó) ta có được điều muốn kiểm tra. Chẳng hạn tính chất kết hợp của phép nhân ma trận, đơn vị hay nghịch đảo của một ma trận không suy biến ở ví dụ trên. Tuy nhiên trong trường hợp đơn vị hay nghịch đảo, cần phải chỉ ra, phần tử đang nói tới phải thuộc tập X đã cho. 2. Cách 2 : (nếu sử dụng định nghĩa 3) : Trước hết ta kiểm tra X 6= ∅, phép nhân ma trận là phép toán 2 ngôi trên X, tính kết hợp của phép nhân ma trận trên X (như đã làm ở cách 1). Tiếp theo cho a = [ a1 a2 0 a3 ] , b = [ b1 b2 0 b3 ] ∈ X ta cần chỉ ra các phương trình ax = b và xa = b đều có nghiệm trong X. Gọi x =[ x1 x2 0 x3 ] . • ax = b ⇐⇒ [ a1 a2 0 a3 ] [ x1 x2 0 x3 ] = [ b1 b2 0 b3 ] ⇐⇒ [ a1x1 a1x2 + a2x3 0 a3x3 ] =[ b1 b2 0 b3 ] ⇐⇒  a1x1 = b1 a3x3 = b3 a1x2 +a2x3 = b2 ⇐⇒  x1 = b1 a1 (a1 6= 0) x3 = b3 a3 (a3 6= 0) x2 = b2a3 − a2b3 a1a3 (a1a3 6= 0) 4 Vậy nghiệm x =  b1a1 b2a3 − a2b3a1a3 0 b3 a3  ∈ X • Tương tự chứng minh phương trình xa = b có nghiệm. Vậy X là nhóm. • Nhận xét : Thật ra cách 2 này khá dài dòng, chúng tôi đưa ra nhằm để các bạn làm quen nhiều hơn với định nghĩa 3, và muốn khẳng định điều rằng, mỗi bài toán đều có thể có nhiều lời giải khác nhau nếu ta ta biết huy động và vận dụng kiến thức đã biết một cách hợp lý, năng động. 4.3 Ví dụ 3 Cho tập sốM = {−1, 1}. Chứng minh rằngM lập thành nhóm với phép nhân thông thường các số. Giải : 1. Cách 1 : • Hiển nhiên M 6= ∅ • Xét bảng nhân của M :  · -1 1 -1 1 -1 1 -1 1 Kết quả của một tích bất kỳ hai phần tử của M lại thuộc M nên phép nhân các số trên M là phép toán 2 ngôi. • Phép nhân các số (nói riêng trên M) có tính kết hợp. • Đơn vị là 1 ∈M • Dễ thấy nếu x ∈M thì x−1 = x ∈M Vậy M là nhóm 2. Cách 2 : Ta biểu diễn M dưới dạng sau : M = {x ∈ R : |x| = 1} • Hiển nhiên M 6= ∅ • ∀x, y ∈M thì |x| = |y| = 1 nên |xy| = |x|.|y| = 1, do đó xy ∈M , tức phép nhân các số trên M là phép toán hai ngôi. • Phép nhân các số có tính chất kết hợp • Đơn vị là 1 ∈M • ∀x ∈M thì |x| = 1 nên |x−1| = 1|x| = 1 do đó x −1 ∈M Vậy M là nhóm. 3. Cách 3 : Ta biểu diễn M = {x ∈ R : x2 = 1} hay M = {(−1)n : n ∈ Z} và tiến hành kiểm tra các điều kiện như trên. 4. Cách 4 : Các bạn có thể sử dụng định nghĩa 3 với lưu ý là : 1.M = M = M.1 (−1).M = M = M.(−1) 5 • Nhận xét : Mỗi tập hợp có thể được biểu diễn dưới các dạng khác nhau. Và với mỗi cách biểu diễn, chúng ta có thể có những cách xử lý khác nhau để có được các lời giải không giống nhau. Ví dụ này muốn các bạn khi nhìn nhận một vấn đề phải biết xem xét ở những góc độ khác nhau để thấy được các cách tiếp cận khác nhau giải quyết vấn đề đó. 4.4 Ví dụ 4 Chứng minh rằng một nửa nhóm hữu hạn X có luật giản ước hai phía là nhóm. Giải : 1. Cách 1 : (Nếu sử dụng định nghĩa 3). Điều kiện về các phương trình ax = b và xa = b giải được trong X của định nghĩa 3 là tương đương với đòi hỏi aX = X = Xa, ∀a ∈ X. Gải sử rằng X = {x1, x2, ..., xn}. Khi đó ∀a ∈ X thì aX = {ax1, ax2, ..., axn} ⊂ X đồng thời do X có luật giản ước nên n tích trong aX là đôi một khác nhau (nếu axi = axj thì xi = xj) nên |aX| = |X| suy ra aX = X. Một cách tương tự có thể chứng minh Xa = X. Vậy X là nhóm. 2. Cách 2 : Các bạn có thể sử dụng định nghĩa 1 (hay định nghĩa 2 với chú ý rằng do X 6= ∅ nên ∃a ∈ X và do X hữu hạn nên có m > n > 0 và am = an. Đơn vị của X khi đó là e = am−n (hãy tự chứng minh). Với mọi x ∈ X, ắt tồn tại k > l > 0 mà xk = xl và x−1 = xk−l−1 (hãy tự chứng minh). Lưu ý trong chứng minh luôn luôn có ý thức sử dụng luật giản ước. • Nhận xét : Đây là một ví dụ tương đối khó. Việc sử dụng dạng tương đương cho sự tồn tại nghiệm các phương trình ax = b, xa = b là hoàn toàn có quyền chấp nhận, không cần phải chứng minh. Thật ra đó là dạng phát biểu khác của các điều kiện trên theo ngôn ngữ tập hợp. Cách thứ 2 chúng tôi chỉ đưa ra các cách tìm đơn vị và nghịch đảo, việc hoàn thiện chứng minh dành cho độc giả để tự khám phá lấy chính mình, thử khơi dậy bản năng khéo léo của mình. BÀI TẬP LÀM THÊM 1. Cho X = Z × Z = {(k1, k2) : k1, k2 ∈ Z} Trên X xác định phép toán sau : (k1, k2)(l1, l2) = (k1 + (−1)k2l1, k2 + l2) Chứng minh X với phép toán trên là nhóm. 2. Cho X = {[ a 0 b c ] : ac 6= 0 } . Chứng minh X với phép nhân ma trận lập thành một nhóm. Nhóm X có giao hoán không? 3. Cho tập các số phức D = {1, i,−1,−i}. Chứng minh rằng D là nhóm với phép nhân thông thường các số. 4. Cho tập X 6= ∅ và Φ(X) là tập các song ánh của X lên X. Chứng minh Φ(X) là nhóm đối với phép nhân ánh xạ. 6 5. Cho Mn ∗ là tập hợp các ma trận cấp n không suy biến. Chứng minh Mn∗ là nhóm với phép nhân ma trận. 6. Ta gọi ma trận vuông A = (aij) cấp n có dạng tam giác nếu aij = 0 khi i > j. Chứng minh rằng tập các ma trận vuông cấp n không suy biến có dạng tam giác lập thành nhóm với phép nhân ma trận. 7

File đính kèm:

  • pdfDS2011-10-20041009-thayHuyen-bai1.pdf