On free group algebras in division rings with uncountable center

Let be a division algebra with uncountable center . If contains a noncommutative free -algebra, then also contains the -group algebra of the free group of rank 2.

     

Nonabelian free subgroups in homomorphic images of valued quaternion division algebras

Given a quaternion division algebra a noncentral element is called pure if its square belongs to the center. A theorem of Rowen and Segev (2004) asserts that for any quaternion division algebra of positive characteristic and any pure element the quotient of by the normal subgroup generated by is abelian-by-nilpotent-by-abelian. In this note we construct a quaternion division algebra of characteristic zero containing a pure element such that contains a nonabelian free group. This demonstrates that the situation in characteristic zero is very different.

     

A note on normal varieties of monounary algebras

A variety is called normal if no laws of the form s = t are valid in it where s is a variable and t is not a variable. Let L denote the lattice of all varieties of monounary algebras (A,f) and let V be a non-trivial non-normal element of L. Then V is of the form with some n > 0. It is shown that the smallest normal variety containing V is contained in for every m > 1 where C denotes the operator of forming choice algebras. Moreover, it is proved that the sublattice of L consisting of all normal elements of L is isomorphic to L.     

A note on a subvariety of linear tense algebras

In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {?, <, >}, {?, <, >} and {?, <, >}, respectively. In this paper we consider the subvariety ?? generated by the finite members of Disc. We prove that V is locally finite and we determine its lattice of subvarieties. We also prove that ?? = Disc ∩ Dens = Disc ∩ Cont. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A note on generalized derivations in Banach algebras

In this note we characterize a complex Banach algebra A admitting a generalized derivation g such that the cardinality of the spectrum σ(g(x)) is exactly one for all x∈A.     

A note on trinomial identities in associative algebras

In the paper, trinomial identities of associative algebras over an infinite field are considered (in general, the algebras may have no unit), i.e., identities of the formα m ₁+β m ₂+γ m ₃=0, where α, β, and γ are scalars andm ₁,m ₂, andm ₃ are different monomials. It is shown that any nontrivial identity if this kind implies a semigroup identity. The algebras with trinomial identities are characterized in the language of varieties. Translated fromMatematicheskie Zametki, Vol. 65, No. 2, pp. 254–260, February, 1999.     

A note on the existence of non-cyclic free subgroups in division rings

A division ring D is said to be weakly locally finite if for every finite subset ${S \subset D}$ , the division subring of D generated by S is centrally finite. It is known that the class of weakly locally finite division rings strictly contains the class of locally finite division rings. In this note we prove that every non-central subnormal subgroup of the multiplicative group of a weakly locally finite division ring contains a non-cyclic free subgroup. This generalizes the previous result by Gonçalves for centrally finite division rings.     

Real quadratic flexible division algebras

In this paper we give a new process called vectorial isotopy, in order to classify the eight-dimensional real quadratic flexible division algebras, and we solve the isomorphism problem.     

Linear equations and heights over division algebras

We make a start on the investigation of “small” solutions to systems of homogeneous linear equations over non-commutative division algebras. In this paper we prove some upper and lower bounds for the sizes of solutions to such systems. To measure solutions and coefficient matrices we define heights which satisfy natural invariance and finiteness properties.     

A homological approach to representations of algebras II: tame hereditary algebras

We determine the pure global dimension of finite dimensional hereditary or radical-squared zero algebras over algebraically closed fields. The results are applied to algebras of dimension four and to the incidence algebras of critical ordered sets studied by Loupias. We further prove that the path algebra of an oriented cycle shares with Dedekind domains the Kulikov property (submodules of pure-projective modules are pure-projective).     

Decomposability for division algebras of exponent two and associated forms

This article investigates the structure of quadratic forms and of division algebras of exponent two over fields of characteristic different from two with the property that the third power of the fundamental ideal in the associated Witt ring is torsion free.      

A note on Tutte polynomials and Orlik–Solomon algebras

Let be a (central) arrangement of hyperplanes in and the dependence matroid of the linear forms . The Orlik–Solomon algebra of a matroid is the exterior algebra on the points modulo the ideal generated by circuit boundaries. The graded algebra is isomorphic to the cohomology algebra of the manifold . The Tutte polynomial is a powerful invariant of the matroid . When is a rank 3 matroid and the θ_Hi are complexifications of real linear forms, we will prove that determines . This result partially solves a conjecture of Falk.     

A quadratic form approach to Construction A of lattices over cyclic algebras

We propose a construction of lattices from (skew-) polynomial codes, by endowing quotients of some ideals in both number fields and cyclic algebras with a suitable trace form. We give criteria for unimodularity. This yields integral and unimodular lattices with a multiplicative structure. Examples are provided.     

Division algebras over -fields

Using elementary methods we prove a theorem of Rost, Serre, and Tignol that any division algebra of degree 4 over a -field containing is cyclic. Our methods also show any division algebra of degree 8 over a -field containing is cyclic.