Lixin Mao and Nanqing Ding^{*}
Department of Mathematics
Nanjing University
Nanjing 210093, P.R. China
nqding@nju.edu.cn
Abstract : We define a dimension, called FPprojective dimension, for modules and rings. It measures how far away a finitely generated module is from being finitely presented, and how far away a ring is from being Noetherian. This dimension has nice properties when the ring in question is coherent. The relations between the FPprojective dimension and other homological dimensions are discussed.
Lianggui Feng
Department of Mathematics and System Science
National University of Defense Technology
Changsha 410073, P. R. China
fenglg2002@yahoo.com
Abstract : Some results obtained in
our exploring the related algebraic structure these years are
presented in this exposition. It consists of four aspects: (1) The
study of radical theory of rings (modules) and generalization; (2)
Descriptions and computations on homological dimensions; (3) The
structure of K group with lower rank; (4) Large subdirect
products and the related structure of
prufer rings. Finally, two questions are posed.
Keywords: ring, module, homological dimension, K group
AMS subject classification: 16E50; 16S90
^{f} The author is supported in part by NNSFC(A0324660)
Gennian Ge
Department of Mathematics
Zhejiang University
Hangzhou 310027, Zhejiang
P. R. China
gnge@zju.edu.cn
Abstract : Constant weight codes (CWCs) are an important class of codes in coding theory. Generalized Steiner systems GS(2,k,v,g) were first introduced by Etzion and used to construct optimal nonlinear CWCs over an alphabet of size g+1 with minimum Hamming distance 2k3, in which each codeword has length v and weight k. In this talk, Weil's theorem on character sum estimates is used to show that there exists a GS(2,4,v,3) for any prime v º 1 (mod 4) and v > 13. From the coding theory point of view, we can get that an optimal nonlinear quaternary (v,5,4) CWC exists for such a prime v.
M. Ghadiri
Department of Mathematics
Yazd University
Yazd, Iran
mghadiri@yazduni.ac.ir
Abstract : The largest class of algebraic hyperstructures satisfying the grouplike axiom is called the H_{n}group. Here, the notion of an H_{n}normal subgroup and anH_{n} quotient group of an H_{n}group are defined. Then the fundamental equivalence relation for H_{n}quotient group and the first isomorphism theorem for H_{n}groups is obtained.
MengKiat Chuah
Department of Applied Mathematics
National Chiao Tung University
Hsinchu, Taiwan
chuah@math.nctu.edu.tw
ChuChin Hu^{*}
Department of Applied Mathematics
National Chiao Tung University
Hsinchu, Taiwan
fox.am89g@nctu.edu.tw
Abstract : A Vogan diagram is a Dynkin diagram with an involution, and the vertices fixed by the involution may be painted. They represent real simple Lie algebras, and two diagrams are said to be equivalent if they represent the same Lie algebra. In this talk we classify the equivalence classes of all Vogan diagrams. In doing so, we find that the underlying Dynkin diagrams have certain properties in graph painting. We show that this combinatorial property provides an easy classification for most of the simplylaced Dynkin diagrams.
Ka Hin Leung^{*}
Department of Mathematics
National University of Singapore
Kent Ridge, Singapore 119260
Republic of Singapore
matlkh@@nus.edu.sg
Siu Lun Ma
Department of Mathematics
National University of Singapore
Kent Ridge, Singapore 119260
Republic of Singapore
matmasl@@nus.edu.sg
Bernhard Schmidt
Institut für Mathematik
Universität Augsburg
86135 Augsburg
Germany
schmidt@@math.uniaugsburg.de
Abstract : A Hadamard matrix of order v is a v×v matrix H with entries ±1 such HH^{t} = vI where I is the identity matrix. A Hadamard matrix is called regular if each row contains the same number of entries 1. It is conjectured that a Hadamard matrix of order v > 2 exists if and only if v is divisible by 4.
While the construction of Hadamard matrices of order 4t for arbitrary t seems out of reach at the present time, there may be some hope to construct Hadamard matrices of order 4q^{2} for all prime powers q. For q º 1\mod 4 and q º 3\mod 8 this already has been accomplished by the marvelous work of Mingyuan Xia and Gang Liu. The constructions of Xia and Liu are based on cyclotomy, namely, the use of 4th, 8th and (q+1)th cyclotomic classes in \Bbb F_{q2}. However, it seems that the difficulty of implementing the approach using cyclotomy increases with the exact power of 2 dividing q+1, In fact, up to our knowledge no general constructions for Hadamard matrices of order 4q^{2} with q º 7\mod 8 have been known.
In the present paper, we obtain two putative infinite families of Hadamard matrices of order 4q^{2} with q º 7\mod 8 prime. We believe that, for any large enough n, our constructions yield at least ^{5}/_{8}n^{2/5} primes q < n, q º 7\mod16 such that a regular Hadamard matrices of order 4q^{2} exists. Our approach is based on 16th and (q+1)th cyclotomic classes.
Jinwang Liu
College of Mathematics and Computation
Hunan Science and Technology University,
Xiangtan,Hunan,China, 411201
College of
Mathematics and
Computation
Hunan Normal University
Changsha, Hunan,China, 410081
email: jwliu@xtnu.edu.cn
Abstract : In several recent papers Hoon Hong and Gutieerz addressed the problem of the behaviour of groebner bases under composition of polynomials..Adressing the problem of some Groebner bases under composition is extraordinary significant,we mainly probe into the behaviour of lGroebner bases under composition.
Let k be a field,k[x_{1},x_{2},¼,x_{n}] be a polynomial ring in the variables x_{1},x_{2},¼,x_{n} with coefficient from k, > be a term ordering.Composition Q is the operation of replacing variable in a polynomial with other polynomials.
Let F be a finite set of polynomials in k[x_{1},x_{2},¼,x_{n},] and let G be a Groebner basis of the ideal generated by F under the term ordering > .Let Q = (q_{1},q_{2},¼,q_{n}) be a list of n polynomials in k[x_{1},x_{2},¼,x_{n}].F°Q be the set obtained from F by replacing x_{i} by q_{i}.One ponders whether G°Q is also a Groebner basis of F°Q.If for any F,G;G°Q is also a Groebner basis of F°Q,we say Groebner basis computation commute with composition by Q.We ponder whether Groebner basis lGroebner basis computation commute with composition b Q for some F's and G's.
Lemma 1^{[6]} Groebner basis computation commute with composition by Q if and only if
(a) "p "q,p > qÞ p°lt(q) > q°lt(q) > q°lt(q);and
(b) the list lt(q) is a 'permuted powering',the ltq_{i} and ltq_{j} are pairwise relatively prime.
Let f,g Î k[x_{1},x_{2},¼,x_{n}],we denote the leading power product of f by lp(f),the leading coefficient of f by lc(f),the leading term of f by lt(f),that is,lt(f) = lc(f)lp(f).
Lemma 2 ^{[1]} Let d be a greatest common divisor of f and g,then {f,g} is a Groebner basis if and only if lp(^{g}/_{d}) and lp(^{g}/_{d}) is relatively prime.
Theorem 1. Let lp(f) = x_{1}^{u1}x_{2}^{u2}¼x_{n}^{un}, lp(g) = x_{1}^{v1}x_{2}^{v2}¼x_{n}^{vn},and there is k such that deg_{xk}lp(f) = u_{k} ³ deg_{xk}lp(g);then {f,g} is not a Groebner basis,or {f+h,g} is not a Groebner basis,here lp(h) < lp(f),deg_{xk}lp(h) < deg_{xk}lp(g).
Theorem 2. If deg_{xk}lp(f) ¹ 0, deg_{xk}lp(g) ¹ 0,for any integer l > 0,then there are integers l,m,s such that {f^{m},g^{s}} is not a Groebner basis,and or {f^{m}+f^{l},g^{s}} is not a Groebner basis.
Let t_{1},t_{2},¼,t_{s} are all items of f,if degt_{i} ³ l,"i;we call that f ldegree.Let G = {g_{1},g_{2}.¼,g_{s}} be a Groebner basis,if "g_{i},g_{i}¢s are ldegree,we call that G lGroebner basis.
Theorem 3. lGroebner basis computation commute with composition by Q if and only if
(a) "p "q, degp.degq ³ l, p > qÞ p°lt(q) > q°lt(q);and
(b) the list lt(q) is a 'powering'.
Reference
[1] Adams,W., Loustaunau, P., An Introduction to Gröbner Bases, Graduate Studies in Mathematics 3, Amer.Math.Soc., Providence, 1994.
[2] Becker,T. and Weispfenning,V.: Gröbner BasesA Computational Approach to Commutative Algebra, GTM 141, New York: Springer, 1993.
[3] Gutierrez,J.,etc. Reduced Gröbner bases under composition, J. Symb. Comput. 26, 433444, 1998.
[4] Greuel,G., Pfister,G., Advances and improvements in the theory of standars bases and syzybies, Arch.Math., Vol.66, 163176, 1906.
[5] Gräbe,H., The tangent cone algorithm and homogeization, J.pure Applied Algebra, Vol.97, 303312, 1994.
[6] Hong,H: Gröner Bases Under Composition I, J. Symb. Comput., 25, 643663, 1978.
[7] Jinwang,L.: The term orderings which are compatible with comosition II, J. Smb. Comput,(2003).35,153168.
Xilin Tang
Department of Mathematics
South China University of Technology
Guangzhou, Guangdong, P.R.China
Xilintang@21cn.com
Abstract : Let S be a regular semigroup. An inverse subsemigroup S^{°} of S is called an inverse transversal of S if S^{°} contains a unique inverse x^{°} of each element x of S. An inverse transversal S^{°} of S is called a Qinverse transversal of S if S^{°} is a quasiideal of S. A regular biordered set E is an ITbiordered set if there is a regular semigroup S with sets of idempotent E and S has inverse transversals. The class of regular semigroups with inverse transversals contains inverse semigroups, completely simple semigroups, etc..
The representations for regular semigroups by means their biordered sets are very important in theoretical of semigroups. In this paper, we gives representations for the class of regular biordered sets firstly. On the basis of it, and give the representations for ITbiordered sets and their regular semigroups. The representation for a fully fundamental regular semigroups of an ITbiordered set is an analogue of the Munn representations on semilattices or the Hall representations on bands.
YenLung Tsai
National Center for Theoretical Sciences
Mathematics Division
3rd General Building, National Tsing Hua University
Hsinchu 30043, Taiwan, R.O.C.
yenlung@math.cts.nthu.edu.tw
Abstract : Let f be a degeneration of Kähler manifolds. The ClemensSchmid exact sequence studies the PicardLefchetz transformation and gain some important properties of the degeneration. In hope of gaining more information of the degeneration, we survey the possibility of generalizing classical (abelian) ClemensSchmid exact sequence to nonabelian one. We will provide ``counterexamples'' to show that we cannot use the same formulation as in abelian case. Some notions of nonabelian ClemensSchmid exact sequences will be discussed.
Julie TzuYueh Wang
Institute of Mathematics
Academia Sinica
Nankang, Taipei 115
Taiwan
jwang@math.sinica.edu.tw
Abstract : We discuss unique range sets, uniqueness polynomials, and other uniqueness problems for entire functions and meromophic functions. We also study their analogous problems for number fields.
Xiaolong Xin
Department of Mathematics
Northwest University
Xi'an,
Shaanxi 710069, P.R.China
xlxin@nwu.edu.cn
Abstract : In this paper, we give the concepts of hyperlattice, subhyperlattice, and complemented hyperlattice, and study a few results in these aspects. We also give the definitions of homomorphism and isomorphism of hyperlattices, then investigate a series of properties of hyperlattice.
Keywords: hyperlattice; distributive hyperlattice; complemented hyperlattice
MSC: 06B99
WeiChen Yao
Department of Mathematics and Computer Science Education
Taipei Municipal Teachers College
Taipei, Taiwan, ROC
yao@mail1.tmtc.edu.tw
This is a joint work with Jing Yu
Abstract : Let k be a function field of one variable over a finite field, ¥ a fixed prime divisor of k, and let A be the ring of the elements of k which are integral at all primes of k other than ¥. Let K be an Afield of finite Acharacteristic and let f be a rank one Drinfeld Amodule over K. Given a Î K, we show that the set

Jiwen Zeng^{*}
The Department of Mathematics
Xiamen University
Xiamen, 361005, P. R. China
jwzeng@jingxian.xmu.edu.cn
Zhang Japing
Mathematics Institute
Beijing University
Beijing, 100871, P. R. China
Abstract : In this paper, we
introduce several matrices to describe the relations among the
KülshammerRobinson basis, projective modules, the ordinary
irreducible characters and Brauer irreducible characters. We show
that there are various equalities of Cartan matrices,
decomposition matrices of the blocks according to the local blocks
via Brauer correspondence. By using these equalities, we prove
that there are several inequalities about the ordinary irreducible
characters and Brauer irreducible characters, which imply their
new relations and pure group results. Some results are given to
describe the relations between generalized
characters and KülshammerRobinson basis.
f Research partially supported by CNSF and CSC.
Wenguang Zhai
School of Mathematics Sciences
Shandong Normal University
Jian, Shandong 250014
P.R.China
zhaiwg@hotmail.com
Abstract : Let D(x) denote the error term of the Dirichlet divisor problem . Dirichlet first proved D(x) = O(x^{1/2}). The exponent 1/2 was improved by many authors. The latest result is D(x) << x^{131/416}(logx)^{26957/8320 } proved by Huxley. The conjectured bound is D(x) = O(x^{1/4+e}), which is supported by the classical meansquare formula of D(x). Tsang established the asymptotic formulas of the third and fourthpower moments of D(x). Now we established the asymptotic formula of the kth power moment of D(x) for each k Î {5,6,7,8,9}.