国产伦乱,一曲二曲欧美日韩,AV在线不卡免费在线不卡免费,搞91AV视频

當前位置:主頁 > 科技論文 > 計算機論文 >

檢驗有限集合及其二元運算是否構成群的程序

發(fā)布時間:2015-02-12 18:06

摘 要:

摘 要:利用C語言編制程序檢驗有限集合及其上二元運算是否適合結(jié)合律,是否存在單位元,每一個元是否存在逆元,從而快速檢查一個有限集合對所給二元運算是否成一個群。

關鍵詞:

關鍵詞:有限群 結(jié)合律 左單位元 左逆元 程序

     在半群論、群論的研究中,經(jīng)常需要構造反例以支持研究,,這就面臨著檢驗對集合特別是有限集合規(guī)定的代數(shù)運算是否滿足構成半群或群的條件,其中結(jié)合律的檢驗尤為繁瑣,對含有N個元的集合,就結(jié)合律需檢驗個式子,每個式子又需進行四次二元運算;雖然對于階數(shù)不高于20的群的個數(shù)和種類已完全得到[1]:

階數(shù)

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

群數(shù)

1

1

1

2

1

2

1

5

2

2

1

5

1

2

1

14

1

5

1

5

但在實際構建階數(shù)不大于20的群時,仍需與已知的群建立同構映射;因而可借助編制程序利用計算機進行快速檢驗;本文通過用數(shù)字字符代替字母字符,將文[2]最多可檢驗含有65536個元的有限集合擴展為任意有限集合。


1 預備知識

定義2.1[3]  群的第二定義

一個不空集合G對于一個叫做乘法的代數(shù)運算來說作成一個群,假如

I,G對于乘法來說是封閉的;

II,結(jié)合律成立:a(bc)=(ab)c

對于G的任意三個元a,b,c都對;

III,G里至少存在一個左單位元e,能讓

             ea=a

對于G中的任何元a都成立;

IV,對于G的每一個元a,在G里至少存在一個左逆元,能讓

            =

定義2.2[3]  有限群的另一定義    

  一個有乘法的有限不空集合G作成一個群,假如

Ⅰ、G對于這個乘法來說是閉的;

Ⅱ、結(jié)合律成立:

                      

對于G的任意三個元、、都成立;

    Ⅲ、消去律成立:

             

                                 

2 程序

    對于一個有限集合來說:如果利用有限群的另一定義來判斷所給的有限集合及其代數(shù)運算是否構成群:封閉性的檢驗很簡單,只需觀察所給的運算表中沒有新元素出現(xiàn)即可,如果有新元素出現(xiàn)則不滿足封閉性,反之則滿足封閉性;對于消去律的驗證,只需觀察集合A中的所有元素都出現(xiàn)在所給的運算表中每行每列,因而只需檢驗結(jié)合律是否成立;但對于一個給定的階數(shù)很大的群,在判斷消去律的時候就會顯得麻煩。這時依據(jù)群的第二定義檢驗有限集合及其上二元運算是否構成群,可利用計算機的方法檢驗結(jié)合律是否成立及左單位元,左逆元的存在性。下面,筆者給出利用C語言編制的檢驗程序。

2.1 結(jié)合律及左單位元的檢驗程序

#include

本文編號:14579


資料下載
論文發(fā)表

本文鏈接:http://lk138.cn/kejilunwen/jisuanjikexuelunwen/14579.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權申明:資料由用戶29423***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
美女一区二 区三区| 亚洲日本在线视频图片区| 国产精品婷婷久久一区| 日本 高清无码| 无码精区| 车致| av 第一区 在线| 美国久久久久| 久久c视频极品| 久久99亚洲精品久中文字幕| 欧美黄片 在现看| 日韩浮力在线视频| 92午夜爆乳福利视频| 亚洲成人av国产偷拍在线| 天天干天天91| 亚洲成人无码视屏| 用大鸡巴用力操| a一级香蕉视频在线观看| 亚洲重口味成人网免费观看视频| 日韩成黄色电影| 看日本黄色不卡直免费看| 日本区一区二区三视频| 人妻少妇久久久久久| 手机看日韩黄片| 亚洲尺码激情在线观看视频免费| 国产日韩一区二区av在线观看| 精品日子韩一区二区| 亚洲天堂成| 嗯啊 欧美| 欧美激情操穴视频| 午夜三级小说| 久久草成人版| 精品少妇人妻av免费久久农村| 欧美一精品区二区久久| 国产综合亚洲欧美在线| rihangaoqingyiqu| 亚洲专区网址| 97无码精品一区二区| 日韩电影h| 国产找AV导航| 午夜黃色电影|