On generalized cocycle equations

In this chapter, we discuss several special types of modules that will make frequent appearances later. These include semisimple modules, artinian modules, and torsionfree modules, which have prototypes in vector spaces, finite abelian groups, and torsionfree abelian groups, respectively. That special types of modules have useful roles in the study of arbitrary modules may be seen already in the case of abelian groups (i.e., ℤ-modules). In studying an arbitrary abelian group, an almost reflexive first step is to look at its torsion part (i.e., the torsion subgroup) and its torsionfree part (i.e., the factor group modulo the torsion subgroup), since entirely different techniques are available (and needed) for dealing with torsion groups and torsionfree groups. On the torsionfree side, vector spaces make an appearance due to the facts that the torsionfree divisible abelian groups are exactly the vector spaces over ℚ and that every torsionfree abelian group can be embedded in a divisible one. On the torsion side, many questions can be reduced to the case of finite abelian groups, since every torsion abelian group is a directed union of finite subgroups. In studying torsion abelian groups, one also reduces to the case of p -groups for various primes p . Vector spaces make another appearance here, since in an abelian p -group the set of elements of order p (together with 0) forms a vector space over ℤ/ p ℤ.

§1. Introduction.The motivation of this work comes from two different directions: infinite abelian groups, and ordered algebraic structures. A challenging problem in both cases is that of classification. In the first case, it is known for example (cf. [KA]) that the classification of abelian torsion groups amounts to that of reducedp-groups by numerical invariants called theUlm invariants(given by Ulm in [U]). Ulm's theorem was later generalized by P. Hill to the class of totally projective groups. As to the second case, let us consider for instance the class of divisible ordered abelian groups. These may be viewed as ordered ℚ-vector spaces. Their theory being unstable, we cannot hope to classify them by numerical invariants. On the other hand, being o-minimal, the theory enjoys several good model theoretic properties (cf. [P-S]), so the search for some reasonable invariants is well motivated. The common denominator of the two cases, as well as of many others, is valuation theory. Indeed given an ordered vector space, one can consider it as a valued vector space, endowed with the natural valuation. Also, the socleG[p] of a reduced abelianp-groupG, endowed with the height functionhG, is a valued vector space over(the prime field of characteristicp) with values in the ordinals (cf. [F]).

This chapter is devoted to studying some concepts that will be extensively used in the last chapters, namely the cohomology of Lie algebras with values in a vector space, the Whitehead lemmas and Lie algebra extensions (which are related to second cohomology groups). The same three different cases of extensions of chapter 5 as well as the ℱ( M )-valued version of cohomology will be considered. In fact, the relation between Lie group and Lie algebra cohomology will be explored here, first with the simple example of central extensions of groups and algebras (governed by twococycles), and then in the higher order case, providing explicit formulae for obtaining Lie algebra cocycles from Lie group ones and vice versa. The Lie algebra cohomology a la Chevalley-Eilenberg, which uses invariant forms on a Lie group, is also presented in this chapter. This will turn out to be specially useful in the construction of physical actions (chapter 8), i.e . in the process of relating cohomology and mechanics. The BRST formulation of Lie algebra cohomology will also be discussed here due to its importance in gauge theories. Cohomology of Lie algebras: general definitions We now discuss the cohomology of Lie algebras with values on a vector space V following the same pattern as used in chapter 5 for the cohomology of groups with values in an abelian group. Let G be a Lie algebra, and let the vector space V over the field K be a ρ(G)-module.

The study of effectiveness in classical mathematics is rapidly expanding, through recent research in algebra, topology, model theory, and functional analysis. Well-known contributors are Barwise (Wisconsin), Crossley (Monash), Dekker (Rutgers), Ershoff (Novosibirsk), Feferman (Stanford), Harrington (Berkeley), Mal′cev (Novosibirsk), Morley (Cornell), Nerode (Cornell), Rabin (Hebrew University), Shore (Cornell). Further interesting work is due to Kalantari (University of California, Santa Barbara), Metakides (Rochester), Millar (Wisconsin), Remmel (University of California, San Diego), Nurtazin (Novosibirsk). Areas investigated include enumerated algebras, models of complete theories, vector spaces, fields, orderings, Hilbert spaces, and boolean algebras.We investigate the effective content of the structure theory of p-groups. Recall that a p-group is a torsion abelian group in which the (finite) order of each element is some power of a fixed prime p. (In the sequel, “group” = “additively written abelian group”.)The structure theory of p-groups is based on the two elementary notions of order and height. Recall that the order of x is the least integer n such that nx = 0. The height of x is the number of times p divides x, that is, the least n such that x = pny for some y in the group but x ≠ pn+1y for any y. If for each n ∈ ω there is a “pnth-root” yn, so that x = pnyn, then we say that x has infinite height. In 1923, Prüfer related the two notions as criteria for direct sum decomposition, provingTheorem. Every group of bounded order is a direct sum of cyclic groups, andTheorem. Every countable primary group with no (nonzero) elements of infinite height is a direct sum of cyclic groups.

In this paper, we present a method to create a safe arithmetic that can be used to obfuscate implementations that require operations over commutative groups. The method is based on the structure of the endomorphisms of certain extensions of the original commutative group. The endomorphisms of a commutative group are non-commutative (in general), thus we can use a non-commutative group to emulate the arithmetic of a commutative one. The techniques presented in this paper are very flexible and the programmer has a wide variety of options to obfuscate the algorithms. The system can be parameterized using conjugations, thus it is possible to generate a different arithmetic for each instance of the program with a change in the security parameters, even in cases in which this number is huge (for example, in IoT applications). The security of this method is based not only on the difficulty of the conjugacy search problem (in a harder version because only partial information about the groups is known by the attacker), but also in a number of extra options that can be chosen by the programmer. The paper explains the general method, analyzes its algebraic properties and provides detailed examples based on the vector spaces over and XOR operators.

Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically closed fields is the model-completion of the theory of vector spaces.

Long colimits of topological groups II: Free groups and vector spaces

Extending a result by Alon, Linial, and Meshulam to abelian groups, we prove that if G is a finite abelian group of exponent m and S is a sequence of elements of G such that any subsequence of S consisting of at least $$|S| - m\ln |G|$$ elements generates G, then S is an additive basis of G . We also prove that the additive span of any l generating sets of G contains a coset of a subgroup of size at least $$|G{|^{1 - c{ \in ^l}}}$$ for certain c=c(m) and $$ \in = \in (m) < 1$$ ; we use the probabilistic method to give sharper values of c(m) and $$ \in (m)$$ in the case when G is a vector space; and we give new proofs of related known results.

A classical problem in the literature seeks the minimal number of proper subgroups whose union is a given finite group. A different question, with applications to error-correcting codes and graph colorings, involves covering vector spaces over finite fields by (minimally many) proper subspaces. In this note we cover R-modules by proper submodules for commutative rings R, thereby subsuming and recovering both cases above. Specifically, we study the smallest cardinal number possibly infinite, such that a given R-module is a union of -many proper submodules. (1) We completely characterize when is a finite cardinal; this parallels for modules a 1954 result of Neumann. (2) We also compute the covering (cardinal) numbers of finitely generated modules over quasi-local rings and PIDs, recovering past results for vector spaces and abelian groups respectively. (3) As a variant, we compute the covering number of an arbitrary direct sum of cyclic monoids. Our proofs are self-contained.

We shall characterize the complete first order theories of torsion free abelian groups having algebraically prime models, elementarily prime models, minimal models, etc., using the well known invariants from [9], [3]. This study was suggested by the questions raised in [2]. Group here will always mean abelian group. For reference on groups see Fuchs [5], [6], for model theory Chang-Keisler [1]. All theories considered are theories in the first order language of group theory. A group G is minimal (strictly minimal) if H < G implies H = G (H-= G), and elementarily prime (algebraically prime) if G is elementarily (algebraically) embeddable in every H G. p, q always denote prime numbers, P the set of all primes. The p-rank of a group G, p-rk(G), is the dimension of G/pG as a vector space over Z/pZ. We define tf(p, G): = min {p-rk(G), ~o}. By the results of [9], [3], two nontrivial torsion free abelian groups G and H are elementarily equivalent iff for all primes p tf(p, G) = tf(p, H). This gives a natural 1-1 correspondence between the complete theories of nontrivial torsion free abelian groups and the functions /3 : P --~ ~o + 1. /3 will always stand for such a function, and the corresponding complete theory will be denoted by T 0. S o is the set of primes p for which/3(p) ~ 0. For more definitions see section 3. Let 13 be a function from P to o) + 1. We shall study the following questions: Does T o have an elementarily (algebraically) prime model? Does T o have a minimal (strictly minimal) model, and if this is the case, how many such models does T o have? Do the minimal and strictly minimal models of T o coincide? These questions have been studied for the special case of the theory of the

Independence in computable algebra

In a recent paper2 we have called a ring 2 primitive if 2 contains a maximal right ideal a such that the quotient (a: W) = (0). The quotient (: 1) is defined to be the largest two-sided ideal of 21 that satisfies the condition 21(a: 21) C a. Thus if 21lias an identity, (a: 21) is the largest two-sided ideal of 21 contained in a. Primitive rings appear to play a role in the general structure theory of rings analogous to that played by simple rings in the Wedderburn-Artin theory. Primitive rings are also fundamental in general representation theory since it is known that a necessary and sufficient condition that a ring 21 be primitive is that 21 be isomorphic to an irreducible ring W of endomorphisms in a commutative group T. If 2 is irreducible in T and Zi is the division ring of endomorphisms commutative with the elements of A, then R is a dense ring of linear transformations in T regarded as a vector space over Z.3 We shall call 2 a left primitive ring if 2 contains a maximal left ideal a' such that the quotient (}': 21)l = (0). Here (s': 2) 1 is the largest two-sided ideal in 2 having the property (a': 21)1 21 C a'. Evidently, a ring is left primitive if and only if it is anti-isomorphic to an irreducible ring of endomorphisms. It is an open question whether or not a primitive ring is necessarily left primitive. This is indeed the case if 2 contains minimal ideals. In many other respects the theory of primitive rings that contain minimal ideals constitutes the most satisfactory part of the theory of primitive rings. An appropriate tool for studying rings of this type is a generalization of the duality theory previously used by Dieudonn6 in studying simple rings that possess minimal ideals.4 In this note we develop this generalization of Dieudonn6's results. We also investigate certain natural topologies that can be defined in any primitive ring.

Let D D be a division ring and let V = D n V=D^n be a finite-dimensional D D -vector space, viewed multiplicatively. If G = D ∙ G=D^\bullet is the multiplicative group of D D , then G G acts on V V and hence on any group algebra K [ V ] K[V] . Our goal is to completely describe the semiprime G G -stable ideals of K [ V ] K[V] . As it turns out, this result follows fairly easily from the corresponding results for the field of rational numbers (due to Brookes and Evans) and for infinite locally-finite fields. Part I of this work is concerned with the latter situation, while Part II deals with arbitrary division rings.

Tiling sets and spectral sets over finite fields

Generalized Cartan TypeSLie Algebras in Characteristic Zero