SÁNG KIẾN KINH NGHIỆM ĐỀ TÀI: "CẤU TRÚC NHÓM TRONG PHƯƠNG TRÌNH HÀM" A. ĐẶT VẤN ĐỀ Đối với học sinh trường chuyên việc tìm hiểu, đào sâu kiến thức trong lời giải một bài toán là rất cần thiết. Thức tiễn khi giảng dạy tại trường THPT chuyên Lam Sơn tôi nhận thấy các bài toán xác định phương trình hàm đối với học sinh là một vấn đề khó. Đây là một mảng mà SGK THPT ít đề cập đến. Nếu dùng các kiến thức sơ đẳng về nhóm của toán học cao cấp để tìm hiểu vấn đề này thì có thể giải quyết một số trường hợp rất hiệu quả. Cấu trúc nhóm xuất hiện tự nhiên trong các bài toán sơ cấp. Ví dụ đơn giản nhất là cấu trúc của tập các số nguyên, số hữu tỷ, số thực và số phức. Đây là các nhóm giao hoán vô hạn. Ví dụ ít hiển nhiên hơn là các nhóm hữu hạn (nói chung không giao hoán) xuất hiện trong lý thuyết số, tổ hợp và đại số. Trong đại số có một hướng khai thác là dựa vào cấu trúc nhóm để giải các phương trình hàm. Các nhóm ở đây thường là : Một tập các phép biến đổi của một miền với phép hợp thành (phép tạo thành hàm hợp) lập thành một nhóm hữu hạn. Khái niệm hàm hợp học sinh đã được học ở chương trình SGK lớp 11. Do vậy các em học sinh khá hoàn toàn có thể hiểu cơ sở lí luận, bản chất của vấn đề nếu dùng đến cấu trúc nhóm để giải phương trình hàm. Để phần nào giúp các em nắm thêm một phương pháp giải phương trình hàm (bằng cách dùng cấu trúc nhóm) chúng tôi chọn đề tài: ”Cấu trúc nhóm trong phương trình hàm”. Ngoài ra sáng kiến kinh nghiệm đề cập thêm 2 dạng khác về các bài toán phương trình hàm dạng thường gặp. Nội dung sáng kiến kinh nghiệm gồm bốn phần: 1. Kiến thức cơ sở 2. Các bài toán minh họa cấu trúc nhóm trong phương trình hàm 3. Một số dạng khác về phương trình hàm thường gặp 4. Kết quả thực nghiệm của đề tài. B. NỘI DUNG ĐỀ TÀI I. Kiến thức cơ sở 1. Phép hợp thành các hàm số: Giả sử hai hàm ( ) f x và ( ) g x thoả mãn miền xác định của ( ) g x chứa miền giá trị của ( ) f x khi đó ta gọi hợp thành của các hàm số của f và g là một hàm số, kí hiệu f g  xác định bởi :     ( ) ( ) . g f x g f x  Nói chung f g g f    tức phép hợp thành các hàm số không có tính giao hoán nhưng lại có tính kết hợp     . f g h f g h      2. Khái niệm hàm lặp: Phép hợp thành f f  gọi là phép lặp 2 lần đối với f và ta có hàm lặp (2 lần)     2 ( ) ( ) ( ) . f x f f x f f x   Mở rộng khái niệm hàm lặp n lần có:         ( ) ( ) . n o o o nlan f x f f f x f f f f x      Chẳng hạn         2 2 2 ; 1 1 2 x x f x f x f f x x x      bằng quy nạp có   2 1 n x f x nx   3.Tập hợp các hàm số   i G g  (g i : D RR   ) lập thành 1 nhóm đối với phép hợp thành các hàm số nếu: + , i j g G g G    thì , i j g g G   + 1 , g x G   + Với mỗi g i G  thì  1 i g G   sao cho: 1 1 1 i o i i o i g g g g g     Số phần tử của G gọi là cấp của G. 4. Bài toán xác định phương trình hàm: Cho  D R là một tập con và G là một nhóm hữu hạn có cấp nG  gồm các hàm 0 1 , , : n g g D D   với phép toán hợp thành. Cho trước các hàm RD n   :,, , 10  . Phương trình hàm chúng ta quan tâm là:    101000 nn gfgf (1) với f là hàm cần tìm. Cụ thể hơn, với x là biến của hàm f, ta có phương trình hàm.               xxgfxxgfx nn    1100 Để giải phương trình này ta lần lượt thay x bởi   xg i . Khi đó ta nhận được một hệ phương trình tuyến tính với hệ số là các hàm     xg ji  , hệ số tự do gồm các hàm     xg i  và ẩn là các hàm       1, ,0,,:  njixgfxf ii . Chú ý rằng điều kiện cần và đủ để một nghiệm f 0 , f n-1 của hệ phương trình này suy ra nghiệm của phương trình (1) là 11 00   ii ogfogf với mọi i = 0,1,2, , n-1. Chú ý : Cách giải như trên đối với phương trình (1) cũng giúp ta biết khi nào phương trình có một nghiệm duy nhất hay vô số nghiệm. Trường hợp hệ có vô số nghiệm xảy ra khi ta thay biến mới vào thì chỉ được phương trình hệ quả. Ví dụ, xét phương trình hàm:     2 xxfxf  . Theo cách ở trên, ta thay x bởi –x thì vẫn được phương trình ban đầu và do đó không có phương trình mới. Nghiệm của phương trình này là     xFxxf  2 2 1 trong đó F(x) là một hàm lẻ bất kỳ. Cấu trúc nhóm nào hay xuất hiện trong phương trình hàm (1)? Thông thường nhóm G là một nhóm giao hoán hữu hạn và G sinh bởi một song ánh DDg  : với tính chất D idg n  là ánh xạ đồng nhất trên D, ở đây ta lấy hợp thành n lần của g. Khi đó, 1, ,0,  nigg i i . Trong trường hợp này, lời giải bài toán hoàn toàn phụ thuộc vào ánh xạ g. Để thiết lập các bài toán phương trình hàm dạng này, ta tìm các nhóm G và cụ thể hơn là xây dựng các hàm g như vậy. Ý tưởng xây dựng ánh xạ g là chia R thành các khoảng rời nhau (tạm thời bỏ qua các điểm ở các đầu mút). Một ví dụ là các đoạn có dạng (k,k+1) với   k . Hàm g sẽ là song ánh từ khoảng này vào một khoảng khác, luân phiên giữa các bộ n khoảng. Ví dụ, ta chia   1,0,1 4321  DDDDR , trong đó          ,1,1,0,0;1,1, 4321 DDDD . Ta xét hàm   x xg 1  . Khi đó rõ ràng g: 34431221 :,:,:, DDgDDgDDgDD  là các song ánh. Hay gặp nhất là trường hợp các g i là các hàm phân tuyến tính. Để sử dụng trong phương trình hàm (1), ta chỉ xét các hàm phân tuyến tính xoắn, nghĩa là tồn tại một số nguyên dương n sao cho   xxg n  . Để áp dụng, ta chỉ xét g hạn chế trên một miền RD  . Cụ thể hơn,   11 ,\   n xxRD , trong đó i x là các điểm mà   xg i không xác định. Bằng cách lấy hợp thành của các hàm phân tuyến tính thích hợp ở trên, ta nhận được một nhóm hữu hạn, thậm chí là không giao hoán. Thích hợp ở đây theo nghĩa là hợp thành của các hàm đó cũng là các hàm phân tuyến tính xoắn. Ví dụ, xét hàm   xxg  1 và   x xg 1 2  , khi đó     1 2 2 1 1 o o g g x g g x x    và   1 2 1 2 ; ; ; o G id g g g g  là một nhóm giao hoán cấp 4. II. Các bài toán minh họa cấu trúc nhóm trong phương trình hàm Bài 1: Tìm hàm ( ) f x sao cho ( ) 2 (1 ) 1 (1) xf x f x    Phân tích. Nếu đặt 1 2 ; 1 g x g x    thì   1 2 ; G g g  làm thành một nhóm. Với phép biến đổi 1 2 2 1 ; g g g g   từ phương trình hàm đã cho có hệ:         1 1 2 2 2 1 2 1 2 1 g f g f g g f g f g          Suy ra     1 2 3 4 x f g f x x x      Lời giải: Thay x bởi (1 ), x  ta có (1 ) (1 ) 2 ( ) 1 (2) x f x f x     Từ (1) và (2) suy ra 2 3 ( ) 4 x f x x x     Bài 2: Tìm hàm số f xác định 1 3 x    và thoả mãn   1 (1) 1 3 x f x f x x           Phân tích. Nếu đặt 1 2 3 2 2 1 1 , ; 1 3 1 3 o x x g x g g g g x x         Khi đó g 3o g 2 = g 1 &   1 2 3 , , G g g g    1/3 x   lập thành 1 nhóm. với phép biến đổi 1 2 2 3 3 1 ; ; g g g g g g    từ phương trình hàm đã cho ta có:               1 2 1 1 3 2 2 3 2 1 3 1 3 2 f g f g g g g g f g f g g f g f g f g g                   3 2 2 9 6 2 18 2 x x x f x x         1/3 x   Lời giải: Đặt   1 1 1/3 1 3 1 3 x t t x t x t          . Kết hợp với (1) ta có   1 1 1 3 1 3 t t f f t t t             . Hay   1 1 1 3 1 3 x x f f x x x             (2) Từ (1) thay x bởi 1 1 3 x x   ta có 1 1 1 1 3 1 3 1 3 x x x f f x x x                     (3). Từ (1), (2), (3) ta có hệ:     1 1 3 1 1 1 1 3 1 3 1 3 1 1 1 3 1 3 x f x f x x x x x f f x x x x x f f x x x                                                    Giải ra ta có:   3 2 2 9 6 2 18 2 x x x f x x        1/3 x   Bài 3: Giải phương trình hàm :   1 2 1 1 x xf x f x           (1) (x 0, 1   ) Phân tích. Nếu đặt 1 2 1 , 1 x g x g x     , 3 2 2 1/ ( 0) g g g x x      4 2 3 3 2 1 ( 1) 1 x g g g g g x x         và   1 2 3 4 , , , G g g g g  lập thành một nhóm. Từ phương trình hàm đã cho có hệ:                 1 1 2 2 2 3 3 3 4 4 4 1 2 1 2 1 2 1 2 1 g f g f g g f g f g g f g f g g f g f g                Suy ra :       2 1 2 4 1 0; 1 5 5 x x f g f x x x x        Lời giải: Đặt 1 1 1 1 x t t x x t        . Kết hợp với (1) ta có:   1 1 2 114 1 1 x x f f x x x             (2) Đặt 1 1 1 1 x u u x x u        kết hợp (1) suy ra   1 1 1 2 1(3) 1 1 x x f f x x x                    Đặt 1 1 v x x v      kết hợp (1) suy ra 1 1 1 2 1 1 x f f x x x                   (4) Từ (1); (2); (3); (4) có hệ:     1 2 1 1 1 1 1 2 1 1 1 1 1 1 2 1 1 1 1 2 1 1 1 x xf x f x x x f f x x x x f f x x x x x f f x x x                                                                         Giải ra ta có     2 4 1 5 1 x x f x x x       0; 1 x   Bằng phương pháp trên chúng ta giải được một lớp phương trình hàm mà ở đó việc tìm ra các hàm g i sao cho   i G g  lập thành một nhóm đối với phép hợp thành các hàm số là mấu chốt. Đối với học sinh khi trình bày lời giải các em không cần đưa ra nhóm G. Việc diễn đạt được trình bày dưới dạng phép đặt (đặt hàm như thế nào đó tức là tìm các g i làm ngoài nháp) Bài 4: (Putnam 1971). Tìm tất cầm số   RRf 1,0\: thoả mãn.   x x x fxf          1 1 với mọi 1;0,   xRx Phân tích. Ký hiệu D = R \  0,1  . Xét các hàm 1 2 3 , , : g g g D D  thoả mãn 1 2 3 ( ) , ( ) ( 1)/ , ( ) 1/(1 ) g x x g x x x g x x      với mọi x  D (Ta tìm g 3 bằng cách lấy 3 2 2 g g g   ). Dễ dàng chứng minh: 2 2 3 2 3 1 , . g g g g g g     Khi đó   1 2 3 ; ; g g g lập thành một nhóm. Lời giải: Phương trình hàm ban đầu viết lại là   2 ( ) ( ) 1. f x f g x x    Ký hiệu: 1 1 2 2 3 3 ; ; . f f f g f f g f f g        Khi đó, thay x lần lượt bởi g 2 (x) và g 3 (x) ta nhận được hệ phương trình: 1 2 2 3 2 1 3 3 1 ( ) 1 ( ) 1. f f x f f g x f f g x               Hệ này có nghiệm: 3 2 1 3 2 2 3 2 3 1 ( ) ( ) 2 ( 1) 2 1 ( )) 2 ( 1) 3 4 1 ( ) . 2 ( 1) x x f x f x x x x x x f x x x x x x f x x x                         Thử lại điều kiện , 2,3 i i f f g i    ta thấy thoả mãn. Vậy nghiệm của phương trình hàm ban đầu là: 3 2 1 ( ) . 2 ( 1) x x f x x x     Bài 5. Tìm tất cả các hàm giá trị phức : f C C  thoả mãn:     zzzfzf  11 với mọi Cz  Phân tích. Giả sử : f C C  thoả mãn phương trình hàm. Khi đó:      zzzz zzzz 2)()1()1( 1)1()( Ở đây g 1 =z;g 2 =1-z và   1 2 ; G g g  lập thành một nhóm Lời giải: Từ hệ trên suy ra 2 2 ( 1) ( ) 1, . z z f z z z z C        Từ đó ( ) 1 f z  với mọi 1 2 , , z C z z z   trong đó     2/31,2/31 21 iziz  . Các giá trị (z 1 ),  (z 2 ) chỉ cần thoả mãn điều kiện. 1 1 2 1 ( ) ( ) 1 . f z z f z z    Bài 6. Tìm tất cả các hàm số   xf thoả mãn. 2 3 2 13 4 2 3 . 1 2 1 2 3 x x x f f x x x x                    Phân tích. Đặt 1 1 3 2 ( ) , ( ) . 1 2 1 x x g x h x x x      Ta thấy 2 1 ( ) g x x  nhưng 1 ( ) n h x x  với 1,2,3,4,5. n  Ta có thể nghĩ đến tìm một hàm g sao cho   1 1 ( ) ( ) . h x g g x  Khi đó 2 ( ) , 3 1 x g x x    ta có 2 ( ) . g x x  Phương trình ban đầu viết lại là             1 1 1 1 1 1 1 ( ) 9 ( ) 4 2 ( ) 3 ( ) ( ) ( ) 2 g x g x f g x f g g x g x g x      Lời giải: Giải tương tự như bài trước, ta được: 1 ( ) . f x x  Thử lại trực tiếp vào phương trình ban đầu ta suy ra đây là nghiệm. Bài 7. Tìm tất cả các hàm số f xác định trên   \ 0;1 R thoả mãn.       xx x x fxf            1 212 1 1 Phân tích. Xét 1 ( ) . 1 g x x   Ta có 2 1 ( ) 1g x x   và 3 ( ) . g x x  Phương trình ban đầu viết lại là     2 ( ) ( ) 2 1 ( ) ( ) . f x f g x g x g x     Lời giải: Đặt     2 0 1 2 ( ) ( ), ( ) ( ) , ( ) ( ) , f x f x f x f g x f x f g x    ta được hệ phương trình.       2 0 1 2 1 2 2 0 ( ) ( ) 2 1 ( ) ( ) ( ) ( ) 2 1 ( ) ( ) ( ) 2 1 ( ) . f x f x g x g x f x f x x g x f x f x x g x                    Giải hệ phương trình ta được 0 1 ( ) 1 2 ( ) . 1 x f x g x x      Bằng cách thử trực tiếp vào phương trình ban đầu ta suy ra đây là nghiệm. Bài 8. Tìm tất cả các hàm số ( ) f x thoả mãn: x x x f x x f                   1 3 1 3 Phân tích. Xét 3 ( ) . 1 x g x x    Ta có 2 3 3 ( ) , ( ) . 1 x g x g x x x     Đặt 0 1 2 3 3 ( ) ( ), ( ) , ( ) . 1 1 x x f x f x f x f f x x x              Phương trình ban đầu viết lại là 2 ( ) ( ) . f g x f g x x     Lời giải: Lần lượt thay x bởi ( ) g x và 2 ( ) g x vào phương trình này ta được hệ phương trình 1 2 0 2 2 0 1 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ). f x f x x f x f x g x f x f x g x            Giải hệ này ta được 2 3 0 2 ( ) ( ) 7 ( ) . 2 2(1 ) g x g x x x x f x x       Bằng cách thử lại ta suy ra đây là nghiệm phương trình ban đầu. Bài 9. (IMO shortlist 2001 (Czech)). Tìm tất cả các hàm số : f    thoả mãn:   ( ) ( ) ( ) ( ) ( ) ( ), , . f xy f x f y x y f x f y x y       Lời giải: Điều kiện cần. Giả sử : f    là một hàm thoả mãn phương trình hàm. Cho y = 1 ta có 2 ( ) (1). f x xf  Nếu (1) 0 f  thì ( ) 0, f x  với mọi . x   Giả sử (1) 0. f a   Khi đó ký hiệu   | ( ) 0 . G x f x       Khi đó dễ thấy ( ) , . f x ax x G    Ta đi miêu tả tập G. - Trước hết 1 G  . - Nếu 1 , x G   thay y = x -1 vào phương trình hàm ta được   1 1 1 (1) ( ) ( ) ( ) ( ) ( ). f f x f x x x f x f x       Do đó   1 1 ( ) (1) ( ) ( ) (1) ( ) 0. f x f x x f x f f x       Từ đây ta suy ra 1 ( ) 0. f x   Nói cách khác 1 x G   hay G đóng đối với phép lấy nghịch đảo. - Nếu x y G   thì do   ( ) ( ) ( ) ( ) ( ) ( ) 0, f xy f x f y x y f x f y     nên . xy G  - Nếu x  G, thay x bởi x 2 và y = x -1 ta được: (x)( (x 2 ) - (x -1 )) = (x 2 – x -1 ) (x 2 ) (x -1 ). Dẫn đến   2 2 1 1 1 ( ) ( ) ( ) ( ) ( ) ( ) 0. f x f x x x f x f x f x        Do đó 2 ( ) 0. f x  Nói cách khác, x 2  G. Kết hợp với khẳng định trên ta suy ra G đóng đối với phép nhân. Điều kiện đủ: Dễ thấy hàm  = 0 thoả mãn phương trình hàm. Giả sử G   là một tập con đóng đối với phép nhân và phép lấy nghịch đảo. Khi đó định nghĩa hàm : f    như sau: [...]... b, c cho trước III Một số dạng khác về phương trình hàm thường gặp: Ngoài cách sử dụng cấu trúc nhóm để giải một lớp phương trình hàm như trên chúng ta đề cập thêm 2 dạng khác về phương trình hàm dạng thường gặp Dạng 1: Xác định phương trình hàm bằng phép chọn giá trị đặc biệt Từ giả thiết mà hàm số thoả mãn  x  D , chọn giá trị x thích hợp, xác định giá trị của hàm tại những điểm đặc biệt Từ đó nhờ... hàm là một vấn đề khó, đối tượng bồi dưỡng học sinh phải là học sinh khá giỏi Trên đây là một số bài toán xác định phương trình hàm nhờ cấu trúc nhóm và một số dạng thường gặp sát với chương trình SGK THPT Tuy nhiên sự phân loại như trên chỉ mang tính chất tương đối Mỗi bài toán xác định phương trình hàm đều có một mấu chốt riêng của nó Đòi hỏi chúng ta phải phân tích kĩ các giả thiết, vận dụng các...  n  Với hàm xác định trên (dãy số) vấn đề xác định công thức tổng quát của dãy được đề cập nhiều trong các tài liệu Việc xác định công thức tổng quát còn giải theo các phương pháp khác như dựa vào phương trình đặc trưng, phương pháp lùi dần các số hạng kết hợp với qui nạp Dạng 2: Xác định phương trình hàm bằng cách vận dụng khéo léo, triệt để sự liên hệ về đồ thị, các tính chất của hàm số (tính... là một nghiệm của phương trình hàm ban đầu Vậy nghiệm của phương trình hàm ban đầu hoặc là hàm  = 0 hoặc là hàm số có dạng: a  0, (x 1)  f (x)  ax, (x G) 0, (x G)  Trong đó G  R là một tập nào đó đóng đối với phép nhân và lấy nghịch đảo Bài tập vận dụng: Bài 1: Tìm hàm f ( x) nếu: a x 2 f  x   f 1  x   2 x  x 4 b 2 f  x   f 1  x   x 2 Bài 2: a Xác định hàm f ( x) và g ( x)... )  cu  u  Theo (2) thì f (u )  0 hoặc f (u )  u , nên c  0 hoặc c  1 Thử lại: Cả 2 hàm f ( x )  0 hoặc f ( x )  x đều thoả mãn (1) Với hàm xác định trên tập (thực chất là dãy ) thì sự xác định phương trình hàm có thể kết hợp giữa phương pháp chọn trị đặc biệt và phương pháp qui nạp Bài 6: Xác định hàm f :  f (1)  1 và f (m  n)  f (m  n)  1  f (2m)  f (2n) (1)  m, n  , m  n 2 Lời... G)  Hàm  như vậy là nghiệm của phương trình hàm trong bài toán Thật vậy, nếu x, y  G thì xy  G và ta có f ( x )  f ( x )  f ( y )   axy (ax  ay )  ( x  y ) f ( x) f ( y ) Giả sử y  G Nếu x  G, thì xy  G ta có f ( xy )  f ( x)  f ( y )   0  ( x  y ) f ( x) f ( y ) Nếu x  G thì f ( x)  f ( y )  0 và ta có f ( xy)  f ( x)  f ( y)   0  ( x  y) f ( x) f ( y) Tóm lại hàm ...   C   2  yo   y0  Do đó phương trình x0  2 x0  2 x2  2x  7 đường cong cần tìm y  x2 Bài 2: Xác định phương trình đường cong đối xứng với đồ thị y  x 2  4 x  1 (C ) qua A(1;1) Lời giải: Gọi M ( x0 ; y0 ) là một điểm bất kỳ thuộc đồ thị hàm số cần tìm , suy ra N (2  x2 ;2  y0 ) là điểm đối xứng với M qua A(1;1) ta có: M ( x0 ; y0 ) thuộc đồ thị hàm số cần tìm khi và chỉ khi : 2... Thời gian: 45’ x 2  3x  4 Bài 1: Xác dịnh phương trình đường cong đối xứng với đồ thị y  2x  5 đường thẳng y  2 qua Bài 2: Xác dịnh hàm số f ( x) thỏa mãn:  x 1 f  x  f   1 x  x   x  0;1 Đề kiểm tra số 2( Sau khi học chuyên đề) Thời gian: 60’ Bài 1: Xác dịnh phương trình đường cong đối xứng với đồ thị: y  đường thẳng y  3 Bài 2: Tìm hàm f ( x) nếu: x 2  2 x  11 qua 3x  2 1... có phương pháp chung để giải Việc tìm ra lời giải phụ thuộc vào “tình tiết” của từng bài toán Chúng ta xét một số ví dụ sau: x2  4x  3 Bài 1: Xác định phương trình đường cong đối xứng với đồ thị y   C  qua x2 đường y  1 Lời giải : Gọi A( x0 ; y0 ) là một điểm bất kỳ trên đồ thị hàm số cần tìm Suy ra B  x0 ;2  yo  là điểm đối xứng của A qua đường y = 1 Ta có A( x0 ; y0 ) thuộc đồ thị hàm. .. f ( x) f ( y ) Bài 7: Xác định hàm f; g nếu: f ( x )  f ( y )  cos( x  y ) g ( x  y ),  x, y  Bài 8: Xác định hàm f : 0;1   0;1 thoả mãn hai điều kiện: a) f ( x1 )  f ( x2 ),  x1  x2 b) f  2 x  f ( x)   x,  x  0;1 Bài 9: Xác định hàm f : a) * *  tăng thực sự và thoả mãn hai điều kiện f (2 n)  f (n)  n b) Nếu f (n) chính phương thì n chính phương Bài 10: Xác định f :  thoả . một phương pháp giải phương trình hàm (bằng cách dùng cấu trúc nhóm) chúng tôi chọn đề tài: Cấu trúc nhóm trong phương trình hàm . Ngoài ra sáng kiến kinh nghiệm đề cập thêm 2 dạng khác về. bài toán phương trình hàm dạng thường gặp. Nội dung sáng kiến kinh nghiệm gồm bốn phần: 1. Kiến thức cơ sở 2. Các bài toán minh họa cấu trúc nhóm trong phương trình hàm 3. Một số dạng khác về. này là     xFxxf  2 2 1 trong đó F(x) là một hàm lẻ bất kỳ. Cấu trúc nhóm nào hay xuất hiện trong phương trình hàm (1)? Thông thường nhóm G là một nhóm giao hoán hữu hạn và G sinh