Construction method for some real division algebras with <Emphasis Type="Italic">su</Emphasis>(3) as derivation algebra

We obtain a family of eight-dimensional unital division algebras over a field F out of a separable quadratic field extension S of F, a three-dimensional anisotropic hermitian form h over S of determinant one and an element c ∈ S ^× not contained in F. These algebras are not third-power associative.     

Norms and gauges on Clifford Algebra

From a normed quadratic space (V,q), we construct a norm on the Clifford algebra C(V,q). We describe the associated graded form of this norm and give a condition for this norm to be a gauge. Then, we apply our results to prove that for a complete discrete valued field, an anisotropic quadratic form q with dimq = 0 mod 8 and nonsplit Clifford algebra cannot be at the same time a transfer of a K-hermitian form with K∕F an inertial quadratic field extension and a transfer of a T-hermitian form with T∕F a ramified quadratic field extension.     

Commuting Graphs of Matrix Algebras

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all noncentral elements of R, and two distinct vertices x and y are adjacent if and only if xy = yx. The commuting graph of a group G, denoted by Γ(G), is similarly defined. In this article we investigate some graph-theoretic properties of Γ(M _n (F)), where F is a field and n ≥ 2. Also we study the commuting graphs of some classical groups such as GL _n (F) and SL _n (F). We show that Γ(M _n (F)) is a connected graph if and only if every field extension of F of degree n contains a proper intermediate field. We prove that apart from finitely many fields, a similar result is true for Γ(GL _n (F)) and Γ(SL _n (F)). Also we show that for two fields F and E and integers n, m ≥ 2, if Γ(M _n (F))?Γ(M _m (E)), then n = m and |F|=|E|.     

Geometry of 2 × 2 hermitian matrices

LetD be a division ring which possesses an involution a → α . Assume that is a proper subfield ofD and is contained in the center ofD. It is pointed out that ifD is of characteristic not two, D is either a separable quadratic extension of F or a division ring of generalized quaternions over F and that if D is of characteristic two,D is a separable quadratic extension ofF. Thus the trace map Tr:D → F, a → a + a is always surjective, which is formerly posed as an assumption in the fundamental theorem of n×n hermitian matrices overD when n ≥ 3 and now can be deleted. WhenD is a field, the fundamental theorem of 2 × 2 hermitian matrices overD has already been proved. This paper proves the fundamental theorem of 2×2 hermitian matrices over any division ring of generalized quaternions of characteristic not two This research was completed during a visit to the Academy of Mathematics and System Sciences, Chinese Academy of Sciences.     

On Commuting Graphs of Finite Matrix Rings

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all noncentral elements of R and two distinct vertices are joint by an edge whenever they commute. It is conjectured that if R is a ring with identity such that Γ(R) ≈ Γ(M _n (F)), for a finite field F and n ≥ 2, then R ≈ M _n (F). Here we prove this conjecture when n = 2.     

The Number of Subgroups of PSL(2, Z) When Acting on F p ∪ {∞}

Coset diagrams defined for the transitive actions of PSL(2, Z) on projective line over a Galois field F _p , PL(F _p ), where p is prime, are used to obtain a formula for finding the number of subgroups of index p + 1 of the modular group PSL(2, Z). Some intransitive actions of PSL(2, Z) on PL(F _p ) for some special values of θ, when θ ∈ F _p , are also studied.     

Zero divisors in quaternion algebras

Let F be a finite field or an algebraic number field. In previous papers we have shown how to find the basic building blocks (the radical and the simple components) of a finite dimensional algebra over F in polynomial time (deterministically in characteristic zero and Las Vegas in the finite case). A finite-dimensional simple algebra A is a full matrix algebra over some not necessarily commutative extension field G of F. The problem remains to find G and an isomorphism between A and a matrix algebra over G. This, too, can be done in polynomial time for finite F. We indicate in the present paper that the problem for F = Q might be substantially more difficult. We link the problem to hard number theoretic problems such as quadratic residuosity modulo a composite number. We show that assuming the generalized Riemann hypothesis, there exists a randomized polynomial time reduction from quadratic residuosity to determining whether or not a given 4-dimensional algebra over Q has zero divisors. It will follow that finding a pair of zero divisors is at least as hard as factoring squarefree integers.     

Armendariz group rings

For a torsion or torsion-free group G and a field F, we characterize the group algebra FG that is Armendariz. Armendariz property for a group ring over a general ring R is also studied and related to those of Abelian group rings and the quaternion ring over R.     

Subsets with Generalized Derivations Having Nilpotent Values on Lie Ideals

Let R be a prime ring, with no nonzero nil right ideal, Q the two-sided Martindale quotient ring of R, F a generalized derivation of R, L a noncommutative Lie ideal of R, and b ∈ Q. If, for any u, w ∈ L, there exists n = n(u, w) ≥1 such that (F(uw) ? bwu)ⁿ = 0, then one of the following statements holds:

1. F = 0 and b = 0;

2. R ? M₂(K), the ring of 2 × 2 matrices over a field K, b² = 0, and F(x) = ?bx, for all x ∈ R.

     

Transfer Results for the FIP and FCP Properties of Ring Extensions

For an extension E: R ? S of (commutative) rings and the induced extension F: R(X) ? S(X) of Nagata rings, the transfer of the FCP and FIP properties between E and F is studied. Then F has FCP ? E has FCP. The extensions E for which F has FIP are characterized. While E has FIP whenever F has FIP, the converse fails for certain subintegral extensions; it does hold if E is integrally closed, seminormal, or subintegral with R quasi-local having infinite residue field. If F has FIP, conditions are given for the sets of intermediate rings of E and F to be order-isomorphic.     

The Structure of the Tame Kernels of Quadratic Number Fields (III)

Let F be an imaginary quadratic number field and K ₂ O _F the tame kernel of F. In this article, we determine all possible values of r ₄(K ₂ O _F ) for each type of imaginary quadratic number field F. In particular, for each type of imaginary quadratic number field we give the maximum possible value of r ₄(K ₂ O _F ) and show that each integer between the lower and upper bounds occurs as a value of the 4-rank of K ₂ O _F for infinitely many imaginary quadratic number fields F.     

Imaginary Quadratic Fields with Ono Number 3

In this article, we prove that an imaginary quadratic field F has the ideal class group isomorphic to ?/2? ⊕ ?/2? if and only if the Ono number of F is 3 and F has exactly 3 ramified primes under the Extended Riemann Hypothesis (ERH). In addition, we give the list of all imaginary quadratic fields with Ono number 3.     

APPLICATIONS OF CLIFFORD ALGEBRAS TO INVOLUTIONS AND QUADRATIC FORMS

ABSTRACT

Let k be a field, char k ≠ 2, F = k(x), D a biquaternion division algebra over k, and σ an orthogonal involution on D with nontrivial discriminant. We show that there exists a quadratic form ? ∈ I ²(F) such that dim ? = 8, [C(?)] = [D], and ? does not decompose into a direct sum of two forms similar to two-fold Pfister forms. This implies in particular that the field extension F(D)/F is not excellent. Also we prove that if A is a central simple K-algebra of degree 8 with an orthogonal involution σ, then σ is hyperbolic if and only if σ _K(A) is hyperbolic. Finally, let σ be a decomposable orthogonal involution on the algebra M _{2 ^m} (K). In the case m ≤ 5 we give another proof of the fact that σ is a Pfister involution. If m ≥ 2 ^n?2 ? 2 and n ≥ 5, we show that q _σ ∈ I ⁿ (K), where q _σ is a quadratic form corresponding to σ. The last statement is founded on a deep result of Orlov et al. (2000) concerning generic splittings of quadratic forms.     

Products of involutory matrices. I

It is shown that, for every integer ?1 and every field F, each n×n matrix over F of determinant ±1 is the product of four involutory matrices over F. Products of three ×n involutory matrices over F are characterized for the special cases where n?4 or F has prime order ?5. It is also shown for every field F that every matrix over F of determinant ±1 having no more than two nontrivial invariant factors is a product of three involutory matrices over F.     

Application of Greenberg's conjecture in the capitulation problem

Let r be a positive integer. Assume Greenberg's conjecture for some totally real number fields, we show that there exists an infinite family of imaginary cyclic number fields F over the field of rational number field , with an elementary 2‐class group of rank equal to r that capitulates in an unramified quadratic extension over F. Also, we give necessary and sufficient conditions for the Galois group of the unramified maximal 2‐extension over F to be abelian.     

A result concerning nilpotent values with generalized skew derivations on Lie ideals

ABSTRACT

Let n≥1 be a fixed integer, R a prime ring with its right Martindale quotient ring Q, C the extended centroid, and L a non-central Lie ideal of R. If F is a generalized skew derivation of R such that (F(x)F(y)?yx)ⁿ = 0 for all x,y∈L, then char(R) = 2 and R?M₂(C), the ring of 2×2 matrices over C.     

A note on skew differential operators on commutative rings

Let A be a commutative integral domain that is a finitely generated algebra over a field k of characteristic 0 and let ø be a k-algebra automorphism of A of finite order m. In this note we study the ring D(A;ø of differential operators introduced by A.D. Bell. We prove that if A is a free module over the fixed sub-ring A ^ø, with a basis containing 1, then D(A;ø) is isomorphic to the matrix ring M_m(D(A ^ø). It follows from Grothendieck's Generic Flatness Theorem that for an arbitrary A there is an element c?Asuch that D(A[c^-1];ø)?M _m(D(A[c^-1]^ø)). As an application, we consider the structure of D(A;ø)when A is a polynomial or Laurent polynomial ring over k and ø is a diagonalizable linear automorphism.     

Centers in domains with quadratic growth

Let F be a field, and let R be a finitely-generated F-algebra, which is a domain with quadratic growth. It is shown that either the center of R is a finitely-generated F-algebra or R satisfies a polynomial identity (is PI) or else R is algebraic over F. Let r ∈ R be not algebraic over F and let C be the centralizer of r. It is shown that either the quotient ring of C is a finitely-generated division algebra of Gelfand-Kirillov dimension 1 or R is PI.     

The Cohen–Macaulay and Gorenstein Properties of Rings Associated to Filtrations

Let (R, m) be a Cohen–Macaulay local ring, and let ? = {F _i } _i∈? be an F ₁-good filtration of ideals in R. If F ₁ is m-primary we obtain sufficient conditions in order that the associated graded ring G(?) be Cohen–Macaulay. In the case where R is Gorenstein, we use the Cohen–Macaulay result to establish necessary and sufficient conditions for G(?) to be Gorenstein. We apply this result to the integral closure filtration ? associated to a monomial parameter ideal of a polynomial ring to give necessary and sufficient conditions for G(?) to be Gorenstein. Let (R, m) be a Gorenstein local ring, and let F ₁ be an ideal with ht(F ₁) = g > 0. If there exists a reduction J of ? with μ(J) = g and reduction number u: = r _J (?), we prove that the extended Rees algebra R′(?) is quasi-Gorenstein with a-invariant b if and only if J ⁿ : F _u  = F _n+b?u+g?1 for every n ∈ ?. Furthermore, if G(?) is Cohen–Macaulay, then the maximal degree of a homogeneous minimal generator of the canonical module ω _G(?) is at most g and that of the canonical module ω _R′(?) is at most g ? 1; moreover, R′(?) is Gorenstein if and only if J ^u : F _u  = F _u . We illustrate with various examples cases where G(?) is or is not Gorenstein.