《半群中的稠密子集与主同余》由会员分享，可在线阅读，更多相关《半群中的稠密子集与主同余（59页珍藏版）》请在金锄头文库上搜索。
1、摘要本文主要对一般半群上的主同余及一些相关课题如稠密子集与析取子集( 语言) 进行研究.第一章给出了文中所需的一些预备知识.第二章主要研究 稠密 子集的一般理论， 在给出了稠密子集与 析取子集的若干代数 性质后， 我们着重考虑了半群中保持稠密子集的同态和稠密元， 给出了有限字母表上 保持稠密语言的同态的完全刻划.在第三章中， 我们讨论了一些特殊半群 ( 如群、 半格、 完全单半群、 矩形带) 上 的主同余. 利用一类特殊的正规子群和一类允许三元组分别给出了 群和完全单半群上 主同 余的结构. 我们还研究了一些半群上析取子集的存在性问题， 得到了有限半格和 有限矩形带上析取子集存在的充 要条件，
2、 并且讨论了有限矩形带上析取子集的计数向 题， 给出了一个计数公式. 在这一章中， 做为一般理论在码论上的应用， 我们利用群码 给出了群语言的一个等价刻划. 同时附带地得到了薄强码成为群码的一个充要条件.在最后一章中， 我们对几类稠密语言进行了专门的研究. 提出了广义反析取语言 类的概念， 给出了 这些语言 类的代数封闭 性质 在这一章中， 我们还找到了一类新的 f d - 辖区. 最后， 我们利用一类半奇异字给出了稠密左消语言的一个等价刻划.关扭词: 主同 余， 稠密子集， 析取子集， 保持稠密子集的同态， 稠密元， 句法么 半群， 主正规子群， 群子集， 群语言， 群码， 强码，( 广义)
3、 反析取语言， 非， f 一 析取语言， 稠密左消语言，薄奇异字，稠密奇异字.ABSTRACTT h e m a i n p u r p o s e o f t h i s t h e s i s i s t o s y s t e m a t i c a l l y s t u d y t h e p r i n c i p a l c o n g r u - e n c e s a n d s o m e r e l a t e d t o p i c s s u c h a s d e n s e a n d d i s j u n c t i v e s u b s e t s ( l
4、 a n g u a g e s ) i n t h e s c o p e o f g e n e r a l s e m i g r o u p t h e o r y .T h e fi r s t c h a p t e r c o n t a i n sTh e s e c o n d c h a p t e rs o me r e q u i r e d c o n c e p t s a n d n o t a t i o n s .t h e g e n e r a l t h e o r y o f d e n s e s u b s e t s . A f t e r g
5、i v i n g s o m e a l g e b r a i c p r o p e r t i e s o f d e n s e a n d d i s j u n c t i v e s u b s e t s , w e s t u d y t h e d e n s e s u b s e t p r e s e r v i n g h o m o m o r p h i s m a n d t h e d e n s e e l e m e n t s i n s e m i gro u p s . D e n s e l a n g u a g e p r e s e r
6、v i n g e n d o m o r p h i s m s o v e r fi n i t e a l p h a b e t s h a v e b e e n c o m p l e t e l y c h a r a c t e r i z e d .T h e t h i r d c h a p t e r i s d e v o t e d t o a t h e o ry o f p r i n c i p a l c o n gru e n c e s i n s o m e c l a s s e s o f s e m i g r o u p s T h e p r
7、 i n c i p a l c o n gru e n c e s o f gro u p s a n d c o m p l e t e l y s i m p l e s e m i gr o u p s h a v e b e e n c o m p l e t e l y c h a r a c t e r i z e d b y u s i n g s o m e p a r t i c u l a r n o r m a l s u b gr o u p s a n d a d m i s s i b l e t r i p l e s r e s p e c t i v e l
8、 y . T h e e x i s t e n c e p r o b l e m s o f d i s j u n c - f i v e s u b s e t s h a s b e e n s o l v e d i n fi n i t e s e m i l a t t i c e s a n d fi n i t e r e c t a n g u l a r b a n d s . A f o r m u l a f o r t h e n u m b e r o f d i s j u n c t i v e s u b s e t i n fi n i t e r e
9、c t a n g u l a r b a n d s i s g i v e n . T h e c h a p t e r a l s o c o n t a i n s a n a p p li c a t i o n t o t h e t h e o ry o f c o d e s . B y u s i n g g r o u p c o d e s , w e c h a r a c t e r i z e t h e gr o u p l a n g u a g e s . A s a b y p r o d u c t o f t h e t h e o r y , a n
10、 e c e s s a r y a n d s u ffi c i e n t c o n d i t i o n f o r a t h i n s t r o n g c o d e b e i n g a gr o u p c o d e i sf o u n d .I n t h e l a s t c h a p t e r , w e c o n s i d e r s o m e c l a s s e s o f d e n s e l a n g u a g e s . S e v e r a l n e w c l a s s e s o f l a n g u a g
11、e s c a l l e d ( g e n e r a l i z e d ) a n t i - d i s j u n c t i v e l a n g u a g e s a r e p u t f o r w a r d a n d s t u d i e d i n t h i s c h a p t e r . C l o s u r e p r o p e r t i e s a b o u t t h e s e c l a s s e s o f l a n g u a g e s a r e g i v e n . A c l a s s o f f d - d o
12、m a i n s c a ll e d n o n - r f - d i s j u n c t i v e l a n g u a g e s i s f o u n d i n t h i s c h a p t e r . D e n s e l e f t c a n c e ll a t i v e l a n g u a g e s h a v e b e e n c h a r a c t e r - i z e d b y u s i n g a p a r t i c u l a r c l a s s o f s e m i - s i n g u l a r w o
13、r d sKe y w o r d s : p r i n c i p a l c o n gru e n c e , d e n s e s u b s e t , d i s j u n c t i v e s u b s e t , d e n s e s u b s e t p r e s e r v i n g h o m o m o r p h i s m , d e n s e e l e m e n t , s y n t a c t i c m o n o i d , p r i n c i p a l n o r m a l s u b gr o u p , gro u p
14、 s u b s e t , gro u p l a n g u a g e , gro u p c o d e , s t r o n g c o d e , ( g e n e r a l i z e d ) a n t i - d i s j u n c t i v e l a n g u a g e , n o n - r f - d i s j u n c t i v e l a n g u a g e , d e n s e l e f t c a n c e l l a t i v e l a n g u a g e , t h i n - s i n g u l a r w o
15、 r d , d e n s e - s i n g u l a r w o r d .Pr e f a c eT h e t h e o ry o f c o d e s t a k e s i t s o r i g i n i n t h e i n f o r m a t i o n t h e o r y d e v i s e d b y S h a n n o n i n t h e 1 9 5 0 s . I n t h e p a s t h a l f c e n t u r y , t h i s t h e o r y h a s b e e n d e v e l o
16、 p e d i n s e v e r a l d i r e c t i o n s , w h i c h i n c l u d e t h e t h e o ry o f e n t r o p y a n d t h e t h e o r y o f e r r o r - c o r r e c t i n g c o d e s . D u e t o t h e n a t u r e o f t h e q u e s t i o n s r a i s e d a n d s o l v e d , t h i s t h e o r y i s n o w c l e a r l y a n i m p o r t a n t p a r t o f t h e o r e t i c al c o m p u t e r s c i e n c e a n d i s s t r o n g l y r e l a t e d t o c o m b i n a t o r i c s o n w o r d s , a u t o m a t a t h
