Congruence subgroups of Hecke groups

Hecke groups are an important tool in subgroups of Hecke groups play an important rule investigating functional equations, and congruence in research of the solutions of the Dirichlet series. When q, m are two primes, congruence subgroups and the principal congruence subgroups of level m of the Hecke group H（√q） have been investigated in many papers. In this paper, we generalize these results to the case where q is a positive integer with q ≥ 5, √q ￠ Z and m is a power of an odd prime.     

Rectangular Ring Congruences on an E-inversive Semiring

In this paper, we discussed the property of rectangular band semiring congruence and ring congruence on a semiring and gave some characterizations and structure of rectangular ring congruence on an E-inversive semiring.     

Complete Surjections and Complete Epimorphisms over Completely Distributive Lattices

Generators and lattice properties of the poset of complete homomorphisic images of a completely distributive lattice are exploited via the localic methods. Some intrinsic and extrinsic conditions about this poset to be a completely distributive lattice are given. It is shown that the category of completely distributive lattices is co-well-powered,and complete epimorphisms on completely distributive lattice are not necessary to be surjections. Finally, some conditions about complete epimorphisms to be surjections are given.     

Enumerating reflexible 2-cell embeddings of connected graphs

Two 2-cell embeddings:X → S and j:X → S of a connected graph X into a closed orientable surface S are congruent if there are an orientation-preserving surface homeomorphism h on S and a graph automorphism γ of X such that h = γj.A 2-cell embedding:X → S of a graph X into a closed orientable surface S is described combinatorially by a pair(X;ρ) called a map,where ρ is a product of disjoint cycle permutations each of which is the permutation of the darts of X initiated at the same vertex following the orientation of S.The mirror image of a map(X;ρ) is the map(X;ρ 1),and one of the corresponding embeddings is called the mirror image of the other.A 2-cell embedding of X is reflexible if it is congruent to its mirror image.Mull et al.[Proc Amer Math Soc,1988,103:321-330] developed an approach for enumerating the congruence classes of 2-cell embeddings of graphs into closed orientable surfaces.In this paper we introduce a method for enumerating the congruence classes of reflexible 2-cell embeddings of graphs into closed orientable surfaces,and apply it to the complete graphs,the bouquets of circles,the dipoles and the wheel graphs to count their congruence classes of reflexible or nonreflexible(called chiral) embeddings.     

含幺元的半格和群的Zappa-Sz\''{e}p积上的同余

Let P = E G be a Zappa-Szp product of a semilattice E with an identity and a group G. In this paper, we first introduce the concept of congruence pairs for P , and then prove that every congruence on P can be described by such a congruence pair. In fact the congruence lattice on P is lattice-isomorphic to the set of all congruence pairs for P . Finally,we characterize group congruences on P .     

关于完满的Lie超代数

In this paper, some properties of perfect Lie superalgebras are investigated. We prove that the derivation superalgebra of a centerless perfect Lie superalgebra of arbitrary dimension over a field of arbitrary characteristic is complete and we obtain a necessary and sufficient condition for the holomorph of a centerless perfect Lie superalgebra to be complete. Finally, some properties of perfect restricted Lie superalgebras are given.     

Generalized normal matrices

A matrix A ∈ Mn（C） is called generalized normal provided that there is a positive definite Hermite matrix H such that HAH is normal. In this paper, these matrices are investigated and their canonical form, invariants and relative properties in the sense of congruence are obtained.     

KERNEL IDEALS AND CONGRUENCES ON MS-ALGEBRAS

In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.     

Complete Convergence of Weighted Sums for Arrays of Rowwise m-negatively Asso ciated Random Variables

In this paper, we discuss the complete convergence of weighted sums for arrays of rowwise m-negatively associated random variables. By applying moment inequality and truncation methods, the sufficient conditions of complete convergence of weighted sums for arrays of rowwise m-negatively associated random variables are established. These results generalize and complement some known conclusions.     

Characterizations of Certain Congruences on Orthodox Semigroups

In this paper, we intrnduce the notation pmin,pmin p^min and p^min, by which we describe the trace classes and the kernel classes of general congruence p on orthodox semigronps.Then we have given and proved some equivalent characterizations of special congruences by mean of kernels and traces. On the basis of above-mentioned congruences, we further investigate theirrelations. Some results shout congruences on iverse semigroups are generalized to orthodox semigroups.     

[C(E),C_a(E)]中的唯一原子

对于集会 Ｘ上的任一非平凡等价关系 Ｅ,本文考察了半群 ＴＥ（Ｘ）上的同余Ｃ．（Ｅ）,并证明了Ｃ*（Ｅ）是ＴＥ（Ｘ）的同余格的完全子格［Ｃ（Ｅ）,Ｃ．（Ｅ）］中的唯一原子．     

纯正半群上的同余扩张(一)

刻划半群上的同余及其扩张是半群的代数理论中的一个非常重要的课题．本文讨论了带上的同余的正规性和不变性以及在其Ｈａｌｌ半群上的扩张，从同余扩张的角度刻划了带上的同余的性质，给出了扩张的极大、极小同余的描述．     

Some properties of complete congruence lattices

For a complete lattice C, we consider the problem of establishing when the complete lattice of complete congruence relations on C is a complete sublattice of the complete lattices of join- or meet-complete congruence relations on C. We first argue that this problem is not trivial, and then we show that it admits an affirmative answer whenever C is continuous for the join case and, dually, co-continuous for the meet case. As a consequence, we prove that if C is continuous then each principal filter generated by a continuous complete congruence on C is pseudocomplemented. Received January 6, 1998; accepted in final form July 2, 1998.     

完全单半群上同余的两种刻画

给出了完全单半群的相容组和同余结的定义,并利用它们刻画了完全单半群上的同余.     

纯正半群上的强同余及其格

给出了纯正半群S的强同余格上同余T的一些判别性质,证明了S上所有基础强同余所构成的集合FCP（S）是CP（S）的完备子格,最后讨论了由纯正半群的正规子半群决定的交完备子格的结构及由“求核”运算确定的（交完备格）同余K的若干性质,还顺带讨论了群同余格.     

On complete congruence lattices of join-infinite distributive lattices

In [5] G. Gr?tzer and E. T. Schmidt raised the problem of characterizing the complete congruence lattices of complete lattices satisfying the Join-Infinite Distributive Identity (JID) and the Meet-Infinite Distributive Identity (MID) and proved the theorem: Any complete lattice with more than two elements and with a meet-irreducible zero cannot be represented as the lattice of complete congruence relations of a complete lattice satisfying the (JID) and (MID). In this note we generalize this result by showing that the complete congruence lattice of every complete lattice satisfying (JID) and (MID) is a zero-dimensional complete lattice satisfying (JID). Some consequences are discussed. Received March 6, 2000; accepted in final form September 12, 2000.     

A Note on Triangular Schemes for Weak Congruences

Some geometrical methods, the so called Triangular Schemes and Principles, are introduced and investigated for weak congruences of algebras. They are analogues of the corresponding notions for congruences. Particular versions of Triangular Schemes are equivalent to weak congruence modularity and to weak congruence distributivity. For algebras in congruence permutable varieties, stronger properties—Triangular Principles—are equivalent to weak congruence modularity and distributivity.     

[C(E) ,Ca(E)]中的唯一原子

对于集合X上的任一非平凡等价关系E,本文考察了半群T_E(x)上的同余C_*(E),并证明了C_*(E)是T_E(X)的同余格的完全子格[C(E),C_a(E)]中的唯一原子.     

-正则半群上的同余

刻划-正则半群上的如下同余:包括在中的最大同余、最大幂等元分离同余、(最小)基本强-同余和群同余。     

Canonical forms for unitary congruence and *congruence

We use methods of the general theory of congruence and *congruence for complex matrices – regularization and cosquares – to determine a unitary congruence canonical form (respectively, a unitary *congruence canonical form) for complex matrices A such that āA (respectively, A ²) is normal. As special cases of our canonical forms, we obtain – in a coherent and systematic way – known canonical forms for conjugate normal, congruence normal, coninvolutory, involutory, projection, λ-projection, and unitary matrices. But we also obtain canonical forms for matrices whose squares are Hermitian or normal, and other cases that do not seem to have been investigated previously. We show that the classification problems under (a) unitary *congruence when A ³ is normal, and (b) unitary congruence when AāA is normal, are both unitarily wild, so these classification problems are hopeless.