离散实验六 判断给定代数系统是否为群 （通过编程判断给定代数系统是否为群）

给出一个代数系统<G,* >，其中：G={1，2，…，n}，* 运算由运算表矩阵 给出，要判断： 

（1）<G,* >是否为半群；  

（2）<G，*>是否为含幺半群； 

（3）<G，*>是否为群。   

附上运行截图：

附上代码：

#include<iostream>
using  namespace std;
int Y=0;
int S[100][100];

int guangqun(int n)
{
    for(int i=1;i<=n;i++)
    for(int j=1;j<=n;j++)
{
    if(S[i][j]<1||S[i][j]>n)
    return 0;
    else
    return 1;
}
}

int  banqun(int  n)
{
 int flag=1;
 for(int i=1;i<=n;i++)
  for(int j=1;j<=n;j++)
   for(int k=1;k<=n;k++)
   {
    int x=S[i][j];
    int y=S[j][k];
    if(S[x][k]!=S[i][y])
     flag=0;
   }
   return flag;
}

int yaoqun(int n)
{
 
 for(int i=1;i<=n;i++)
  for(int j=1;j<=n;j++)
   if(S[i][j]==j && S[j][i]==j)
   {
    Y=i;
    return 1;
   }
 return 0;
}

int qun(int n)
{
    int flag3=guangqun(n);
 int flag1=banqun(n);
 int flag2=yaoqun(n);
 if(flag1&&flag2&&flag3)
 {
  for(int i=1;i<=n;i++)
   for(int j=1;j<=n;j++)
    if(S[i][j]==Y&&S[j][i]==Y)
     return 1;   
 }
 else 
 return 0;
}

int main()
{
     cout<<"请输入代数系统的阶数：";
     int n;
     cin>>n;
     cout<<"请输入* 运算的运算表："<<endl;
     for(int i=1;i<=n;i++)
      for(int j=1;j<=n;j++)
           cin>>S[i][j];
         int flag=qun(n);
     if(flag)
     cout<<"该代数系统是群"<<endl;
     else
      cout<<"该代数系统不是群"<<endl;
     return 0;
}

                                                                  总结：

根据群的概念，判断封闭性，结合性，是否有幺元，是否有逆元四个条件是否都成立。于是我用四个分函数分别实现上述四个条件的判断。

封闭性即判断输入的运算表中的每个数是否在[1,n]中。若是return1；

结合性即（x*y）*z=x*(y*z);利用三重循环和之前输入的运算表进行运算比较。

是否有幺元可以判断某一行所有元素是否与其列坐标对应相等，或某一列元素是否与其行坐标对应相等，若相等，则有幺元，幺元是其行坐标或列坐标。

判断逆元即在前三种条件都成立的情况下，看是幺元的元素对应的行列坐标与其列行坐标是否也同为幺元。若是，则成立。

以上四种条件若都成立，则代数系统是个群，反之则不是。