Arithmetic of quasi-cyclotomic fields

We call a quadratic extension of a cyclotomic field a quasi-cyclotomic field if it is non-abelian Galois over the rational number field. In this paper, we study the arithmetic of any quasi-cyclotomic field, including to determine the ring of integers of it, the decomposition nature of prime numbers in it, and the structure of the Galois group of it over the rational number field. We also describe explicitly all real quasi-cyclotomic fields, namely, the maximal real subfields of quasi-cyclotomic fields which are Galois over the rational number field. It gives a series of totally real fields and CM fields which are non-abelian Galois over the rational number field.     

Existence of Generalized Inverse of Linear Transformations over Finite Fields

Relationships between the orthogonal direct sum decomposition of a vector space over a finite field and the existence of the generalized inverses of a linear transformation over the finite field are analyzed. Necessary and sufficient conditions for judging the existence of the generalized inverses of a linear transformation over a finite field are presented.     

Embedding Problems of Division Algebras

A finite group G is called admissible over a given field if there exists a central division algebra that contains a G-Galois field extension as a maximal subfield. We give a definition of embedding problems of division algebras that extends both the notion of embedding problems of fields as in classical Galois theory, and the question which finite groups are admissible over a field. In a recent work by Harbater, Hartmann, and Krashen, all admissible groups over function fields of curves over complete discretely valued fields with algebraically closed residue field of characteristic zero have been characterized. We show that also certain embedding problems of division algebras over such a field can be solved for admissible groups.     

Deciding finiteness of matrix groups in positive characteristic

We present a new algorithm to decide finiteness of matrix groups defined over a field of positive characteristic. Together with previous work for groups in zero characteristic, this provides the first complete solution of the finiteness problem for finitely generated matrix groups over a field. We also give an algorithm to compute the order of a finite matrix group over a function field of positive characteristic by constructing an isomorphic copy of the group over a finite field. Our implementations of these algorithms are publicly available in Magma.     

交换矩阵半群的可约性

首先分别给出单生矩阵半群或者摹群不可约、不可分解以及完全可约的充分必要条件,其次讨论一般域上矩阵半群的可约性的一些条件,最后特别地讨论实数域上矩阵半群的可约性,完全确定了实数域上对称和反对称矩阵组成的不可约交换矩阵半群.     

The center of the ring of 3×3 generic matrices

Following Procesi, the center of the division ring of generic matrices over a field F is described as the fixed field of the symmetric group acting on a purely transcendental extension of F. For 3×3 matrices, the center is shown to be purely transcendental over F. In characteristic zero this is equivalent to saying that the field of simultaneous rational invariants of 3×3 matrices over F is a purely transcendental extension field of F.     

Quasi-cyclic codes as codes over rings of matrices

Quasi-cyclic codes over a finite field are viewed as cyclic codes over a noncommutative ring of matrices over a finite field. This point of view permits to generalize some known results about linear recurring sequences and to propose a new construction of some quasi-cyclic codes and self-dual codes.     

关于四元数代数同构的条件

引入广义四元数代数的 K上表示矩阵的概念 ,探讨复线性表示与 K上表示矩阵的关系 .在此基础上 ,给出两个广义四元数代数同构的一个新的判定条件     

The minimum rank problem over the finite field of order 2: Minimum rank 3

Our main result is a sharp bound for the number of vertices in a minimal forbidden subgraph for the graphs having minimum rank at most 3 over the finite field of order 2. We also list all 62 such minimal forbidden subgraphs. We conclude by exploring how some of these results over the finite field of order 2 extend to arbitrary fields and demonstrate that at least one third of the 62 are minimal forbidden subgraphs over an arbitrary field for the class of graphs having minimum rank at most 3 in that field.     

Classification of three-dimensional zeropotent algebras over the real number field

A nonassociative algebra is defined to be zeropotent if the square of any element is zero. In this paper, we give a complete classification of three-dimensional zeropotent algebras over the real number field up to isomorphism. By restricting the result to the subclass of Lie algebras, we can obtain a classification of three-dimensional real Lie algebras, which is in accordance with the Bianchi classification. Moreover, three-dimensional zeropotent algebras over a real closed field are classified in the same manner as those over the real number field.     

四元数体上矩阵的广义对角化

引入了复四元数环和四元数体上矩阵可 对角化的概念,研究了复四元数环上矩阵的性质,给出了四元数体上矩阵可 对角化的充分必要条件和求矩阵 对角化的方法。     

On the number of curves of genus 2 over a finite field

In this paper we compute the number of curves of genus 2 defined over a finite field k of odd characteristic up to isomorphisms defined over k; the even characteristic case is treated in an ongoing work (G. Cardona, E. Nart, J. Pujolàs, Curves of genus 2 over field of even characteristic, 2003, submitted for publication). To this end, we first give a parametrization of all points in , the moduli variety that classifies genus 2 curves up to isomorphism, defined over an arbitrary perfect field (of zero or odd characteristic) and corresponding to curves with non-trivial reduced group of automorphisms; we also give an explicit representative defined over that field for each of these points. Then, we use cohomological methods to compute the number of k-isomorphism classes for each point in .     

Nonlinearity of the Automorphism Groups of Some Free Algebras

We prove that the groups of tame automorphisms of a free Lie algebra (free associative algebra, absolutely free algebra, algebra of polynomials) of rank at least four over a field of characteristic zero admit no faithful representation by matrices over any field.     

A semi-abelian extension of a theorem by Takeuchi

We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor–Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observation. We also prove that the category of cocommutative Hopf algebras over a field is action representable. We make some new observations concerning the categorical commutator of normal Hopf subalgebras, and this leads to the proof that two definitions of crossed modules of cocommutative Hopf algebras are equivalent in this context.     

Generators and Dimensions of Derived Categories of Modules

Several years ago, Bondal, Rouquier, and Van den Bergh introduced the notion of the dimension of a triangulated category, and Rouquier proved that the bounded derived category of coherent sheaves on a separated scheme of finite type over a perfect field has finite dimension. In this article, we study the dimension of the bounded derived category of finitely generated modules over a commutative Noetherian ring. The main result of this article asserts that it is finite over a complete local ring containing a field with perfect residue field. Our methods also give a ring-theoretic proof of the affine case of Rouquier's theorem.     

The hypercentral structure of the group of unitriangular automorphisms of a free metabelian Lie algebra

We describe the hypercentral structure of the group of unitriangular automorphisms of a free metabelian Lie algebra over an arbitrary field. Using it, we prove that this group admits no faithful representation by matrices over a field provided that the algebra rank is at least four.     

Families of rationally simply connected varieties over surfaces and torsors for semisimple groups

Under suitable hypotheses, we prove that a form of a projective homogeneous variety G/P defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre’s Conjecture II in Galois cohomology for function fields over an algebraically closed field.     

Diophantine Undecidability of Function Fields of Characteristic Greater than 2, Finitely Generated over Fields Algebraic over a Finite Field

Let F be a function field of characteristic p > 2, finitely generated over a field C algebraic over a finite field C _p and such that it has an extension of degree p. Then Hilbert's Tenth Problem is not decidable over F.