1. 引言
由于幻方界的专家们对于幻阵定义的规范性重视不够,因而造成其它学科或者数学分支的专家及幻方爱好者对幻方界褒贬不一,为了改变这种状态,刘娟娟等在2018年的《第二届国际幻方论坛》上提出了文献 [1],并在会议结束后将建议提交国家自然科学科学名词审定委员会办公室,同时在对幻方界的科学名词术语进行科学规范化的同时,也将对科学名词的定义进行规范化。以下是在对现有文献 [2] - [15] 中定义的基础上归纳总结后,根据概念规范化的原则,对相关定义进行补充及完善并形成完整的规范化定义。在下文中将对和幻阵、积幻阵及和积幻阵的相关定义分别给出其规范化的形式。
2. 主要内容
为了定义的方便,我们先给出以下几个集合
下文中出现的F是数域。
2.1. 和幻阵的规范定义
定义2.1.1设矩阵
,如果
,则称矩阵A为F上的
阶行和幻阵,并称Sr为F上的
阶行和幻阵A的行幻和。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和幻阵,并称Sr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和幻阵A的行幻和。
定义2.1.2设矩阵
,如果
,则称矩阵A为F上的
阶列和幻阵,并称Sc为F上的
阶列和幻阵A的列幻和。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和幻阵,并称Sc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和幻阵A的列幻和。
定义2.1.3设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
则称矩阵A为F上的
阶行和列和幻阵,并称Sr为F上的
阶行和列和幻阵A的行幻和,Sc为F上的
阶行和列和幻阵A的列幻和。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和列和幻阵,并称Sr为F上的
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和列和幻阵A的行幻和,Sc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和列和幻阵A的列幻和。
定义2.1.4设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
则称矩阵A为F上的n阶弱和幻方,并称S为F上的n阶弱和幻方A的幻和。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)弱和幻方,并称S为F上的n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)弱和幻方A的幻和。
定义2.1.5设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
则称矩阵A为F上的n阶和幻方,并称S为F上的n阶和幻方A的幻和。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)和幻方,并称S为F上的n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)和幻方A的幻和。
定义2.1.6设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
5)
,都有
,
6)
,都有
,
则称矩阵A为F上的n阶完美和幻方,并称S为F上的n阶完美和幻方A的幻和。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)完美和幻方,并称S为F上的n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)完美和幻方A的幻和。
2.2. 积幻阵的规范定义
定义2.2.1设矩阵
,如果
,则称矩阵A为F上的
阶行积幻阵,并称Pr为F上的
阶行积幻阵A的行幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行积幻阵,并称Pr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行积幻阵A的行幻积。
定义2.2.2设矩阵
,如果
,则称矩阵A为F上的
阶列积幻阵,并称Pc为F上的
阶列积幻阵A的列幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列积幻阵,并称Pc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列积幻阵A的列幻积。
定义2.2.3设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
则称矩阵A为F上的
阶行列积幻阵,并称Pr为F上的
阶行列积幻阵A的行幻积,Pc为F上的
阶行列积幻阵A的列幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列积幻阵,并称Pr为F上的
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列积幻阵A的行幻积,Pc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列积幻阵A的列幻积。
定义2.2.4设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
则称矩阵A为F上的n阶弱积幻方,并称P为F上的n阶弱积幻方A的幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)弱积幻方,并称P为F上的n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)弱积幻方A的幻积。
定义2.2.5设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
则称矩阵A为F上的n阶积幻方,并称P为F上的n阶积幻方A的幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)积幻方,并称P为F上的n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)积幻方A的幻积。
定义2.2.6设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
5)
,都有
,
6)
,都有
,
(注意:在(5)及(6)中规定
)
则称矩阵A为F上的n阶完美积幻方,并称P为F上的n阶完美积幻方A的幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)完美积幻方,并称P为F上的n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)完美积幻方A的幻积,
2.3. 和积幻阵的规范定义
定义2.3.1设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
则称矩阵A为F上的
阶行和行积幻阵,并称Sr为F上的
阶行和行积幻阵A的行幻和,Pr为F上的
阶行和行积幻阵A的行幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和行积幻阵,并称Sr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和行积幻阵A的行幻和,Pr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和行积幻阵A的行幻积。
定义2.3.2设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
则称矩阵A为F上的
阶行和列积幻阵,并称Sr为F上的
阶行和列积幻阵A的行幻和,Pc为F上的
阶行和列积幻阵A的列幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和列积幻阵,并称Sr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和列积幻阵A的行幻和,Pc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和列积幻阵A的列幻积。
定义2.3.3设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
则称矩阵A为F上的
阶行和行列积幻阵,并称Sr为F上的
阶行和行列积幻阵A的行幻和,Pr为F上的
阶行和行列积幻阵A的行幻积,Pc为
阶行和行列积幻阵A的列幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和行列积幻阵,并称Sr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和行列积幻阵A的行幻和,Pr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和行列积幻阵A的行幻积,Pc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和行列积幻阵A的列幻积。
定义2.3.4设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
则称矩阵A为F上的
阶列和行积幻阵,并称Sc为F上的
阶列和行积幻阵A的列幻和,Pr为F上的
阶行和行积幻阵A的行幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和行积幻阵,并称Sc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和行积幻阵A的列幻和,Pr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和行积幻阵A的行幻积。
定义2.3.5设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
则称矩阵A为F上的
阶列和列积幻阵,并称Sc为F上的
阶列和列积幻阵A的列幻和,Pc为F上的
阶列和列积幻阵A的列幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和列积幻阵,并称Sc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和列积幻阵A的列幻和Pc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和列积幻阵A的列幻积。
定义2.3.6设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
则称矩阵A为F上的
阶列和行列积幻阵,并称Sc为F上的
阶列和行列积幻阵A的列幻和,Pr为F上的
阶列和行列积幻阵A的行幻积,Pc为
阶列和行列积幻阵A的列幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4)则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和行列积幻阵,并称Sc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和行列积幻阵A的列幻和,Pr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和行列积幻阵A的行幻积,Pc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和行列积幻阵A的列幻积。
定义2.3.7设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
则称矩阵A为F上的
阶行列和行积幻阵,并称Sr为F上的
阶行列和行积幻阵A的行幻和,Sc为F上的
阶行列和行积幻阵A的列幻和,Pr为F上的
阶行列和行积幻阵A的行幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4)则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行积幻阵,并称Sr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行积幻阵A的行幻和,Sc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行积幻阵A的列幻和,Pr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行积幻阵A的行幻积。
定义2.3.8设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
则称矩阵A为F上的
阶行列和列积幻阵,并称Sr为F上的
阶行列和列积幻阵A的行幻和,Sc为F上的
阶行列和列积幻阵A的列幻和,Pc为
阶行列和列积幻阵A的列幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和列积幻阵,并称Sr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和列积幻阵A的行幻和,Sc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和列积幻阵A的列幻和,Pc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和列积幻阵A的列幻积。
定义2.3.9设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
则称矩阵A为F上的
阶行列和行列积幻阵,并称Sr为F上的
阶行列和行列积幻阵A的行幻和,Sc为F上的
阶行列和行列积幻阵A的列幻和,Pr为
阶行列和行列积幻阵A的行幻积,Pc为
阶行列和行列积幻阵A的列幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行列积幻阵,并称Sr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行列积幻阵A的行幻和,Sc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行列积幻阵A的列幻和,Pr为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行列积幻阵A的行幻积,Pc为
阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行列和行列积幻阵A的列幻积。
定义2.3.10设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
则称矩阵A为F上的n阶行和弱积幻阵。并称Sr为F上的n阶行和弱积幻阵A的行幻和。P为F上的n阶行和弱积幻阵A的弱幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和弱积幻阵,并称Sr为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和弱积幻阵A的行幻和,P为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)行和弱积幻阵A的弱幻积。
定义2.3.11设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
则称矩阵A为F上的n阶列和弱积幻阵。并称Sc为F上的n阶列和弱积幻阵A的列幻和。P为F上的n阶列和弱积幻阵A的弱幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和弱积幻阵,并称Sc为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和弱积幻阵A的列幻和,P为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)列和弱积幻阵A的弱幻积。
定义2.3.12设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
则称矩阵A为F上的n阶弱和弱积幻阵。并称S为F上的n阶弱和弱积幻阵A的弱幻和。P为F上的n阶弱和弱积幻阵A的弱幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)弱和弱积幻阵,并称S为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)弱和弱积幻阵A的弱幻和,P为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)弱和弱积幻阵A的弱幻积。
定义2.3.13设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
5)
,
6)
,
则称矩阵A为F上的n阶和弱积幻阵。并称S为F上的n阶和弱积幻阵A的幻和。P为F上的n阶和弱积幻阵A的弱幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)和弱积幻阵,并称S为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)和弱积幻阵A的幻和,P为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)和弱积幻阵A的弱幻积。
定义2.3.14设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
5)
,
6)
,
7)
,
8)
,
则称矩阵A为F上的n阶和积幻方或者双重幻方。并称S为F上的n阶和积幻方或者双重幻方A的幻和。P为F上的n阶和积幻方或者双重幻方A的幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)双重幻方,并称S为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)双重幻方A的幻和,P为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)双重幻方A的幻积。
定义2.3.15设矩阵
,如果矩阵A满足下列条件
1)
,
2)
,
3)
,
4)
,
5)
,都有
,
6)
,都有
,
7)
,
8)
,
9)
,
10)
,
11)
,都有
,
12)
,都有
,
(注意:在(11)及(12)中规定
)
则称矩阵A为F上的n阶完美和积幻方或者完美双重幻方。并称S为F上的n阶完美和积幻方或者完美双重幻方A的幻和。P为F上的n阶完美和积幻方或者完美双重幻方A的幻积。若把F换为S1 (S2, S3, C, R, Q, Z, N, S4),则称矩阵A为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)完美双重幻方,并称S为n阶始元(连元,异元,复,实,有理,整数,自然数,类自然数)完美双重幻方A的幻和,P为n阶始元完美双重幻方A的幻积。
在新的幻方种类出现后会继续添加新类的规范性定义。