Embedding theorems for multiplicative systems and projective geometries

Methods and results from the representation theory of finite di- mensional algebras have led to many interactions with other areas of mathe- matics. Such areas include the theory of Lie algebras and quantum groups, commutative algebra, algebraic geometry and topology, and in particular the new theory of cluster algebras. The aim of this workshop was to further de- velop such interactions and to stimulate progress in the representation theory of algebras.

<p style='text-indent:20px;'>In this article we study the centralizer of a minimal aperiodic action of a countable group on the Cantor set (an aperiodic minimal Cantor system). We show that any countable residually finite group is the subgroup of the centralizer of some minimal <inline-formula><tex-math id="M1">\begin{document}$ \mathbb Z $\end{document}</tex-math></inline-formula> action on the Cantor set, and that any countable group is the subgroup of the normalizer of a minimal aperiodic action of an abelian countable free group on the Cantor set. On the other hand we show that for any countable group <inline-formula><tex-math id="M2">\begin{document}$ G $\end{document}</tex-math></inline-formula>, the centralizer of any minimal aperiodic <inline-formula><tex-math id="M3">\begin{document}$ G $\end{document}</tex-math></inline-formula>-action on the Cantor set is a subgroup of the centralizer of a minimal <inline-formula><tex-math id="M4">\begin{document}$ \mathbb Z $\end{document}</tex-math></inline-formula>-action.

A mapping f : G → s from a left topological group G into a semigroup S is a local homomorphism if for every x є G \ {e}, there is a neighborhood Ux of e such that f (xy) = f (x)f (y) for all y є Ux \ {e}. A local homomorphism f : G → S is onto if for every neighborhood U of e, f(U \ {e}) = S. We show that(1) every countable regular left topological group containing a discrete subset with exactly one accumulation point admits a local homomorphism onto N,(2) it is consistent that every countable topological group containing a discrete subset with exactly one accumulation point admits a local homomorphism onto any countable semigroup,(3) it is consistent that every countable nondiscrete maximally almost periodic topological group admits a local homomorphism onto the countably infinite right zero semigroup.

Chapter 1 - Projective geometry

There is a particular fascination when two apparently disjoint areas of mathematics turn out to have a meaningful connection to each other. The main goal of this book is to provide a largely self-contained, in-depth account of the linkage between nonassociative algebra and projective planes, with particular emphasis on octonion planes. There are several new results and many, if not most, of the proofs are new. The development should be accessible to most graduate students and should give them introductions to two areas which are often referenced but not often taught. On the geometric side, the book introduces coordinates in projective planes, relates coordinate properties to transitivity properties of certain automorphisms and to configuration conditions. It also classifies higher-dimensional geometries and determines their automorphisms. The exceptional octonion plane is studied in detail in a geometric context that allows nondivision coordinates. An axiomatic version of that context is also provided. Finally, some connections of nonassociative algebra to other geometries, including buildings, are outlined. On the algebraic side, basic properties of alternative algebras are derived, including the classification of alternative division rings. As tools for the study of the geometries, an axiomatic development of dimension, the basics of quadratic forms, a treatment of homogeneous maps and their polarizations, and a study of norm forms on hermitian matrices over composition algebras are included.

In a paper entitled cocycles and spectra Helson and Par ry prove that for every T there exists a q~ such that V ~ has Lebesgue spectrum, moreover q~ can be chosen to be real, i.e., taking values + 1 and 1. The purpose of this paper is to extend this result to certain actions of countable groups which includes ergodic non-singular actions of countable abelian groups. We blend the method of Helson and Parry with the notions of weak equivalence and weak von Neumann transformations. In section 3 and 4 we discuss these results in connection with systems of imprimitivity. The problem of extending the result quoted above to countable groups was raised by H. Helson to one of us. It is a pleasure to acknowledge his interest and encouragement in this work.

This thesis consists of two independent chapters. The first chapter concerns the Smith Normal Form (SNF) over the integers ℤ of integral matrices. We consider the SNF of a matrix A to be the ratio of two ℤ-modules -- a finitely generated abelian group; this is called the Smith group of A. The Smith group provides a unified setting to present both new and old results. The new results concern the relationship between the eigenvalues of an integral matrix and its SNF. In particular, the multiplicities of integer eigenvalues are shown to relate to the multiplicities in the type of the Smith group. Bounds are also given for the exponent of the Smith group. In some cases, these are best possible. The old results discussed are the interlacing of the SNF in the case of augmented matrices and the symmetries of the SNF for certain combinatorial matrices. The latter results are extended to rectangular matrices. Numerous examples are given throughout, along with many conjectures based on computation. The second chapter generalizes the work of Pless, et al. on duadic codes and Q-codes. We take abelian group codes to be ideals in the group ring F[G], where G is a finite abelian group of odd order n and F is a finite field with characteristic relatively prime to n. We define generalized Q-codes from a pair of idempotents of F[G] and an automorphism of G which together obey two simple equations. These codes are (n, (n+1)/2) and (n, (n-1)/2) linear codes. We show that all of the properties of duadic and Q-codes generalize. In particular, we extend the results on the relationship of these codes to projective planes with regular automorphism group G. When F has characteristic 2, we give simple numerical conditions on G and F which determine when generalized Q-codes exist. We also give some techniques for constructing these codes.

On the Partially Ordered Monoid Generated by the Operators H, S, P, Ps on Classes of Algebras

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.

The term figurative is used to refer to any form of mathematical visualization that retains strong references to the geometry found in the real world. This article explains the figuration process for some basic mathematical functions definable in the n-dimensional complex projective space. In the latter part of this paper, we raise the question that has been neglected thus far: What does the Riemann sphere's axis stand for? We show that the answer can be obtained only by observing from the inside the sphere by setting the viewpoint of the immersive environment to the origin, which is always undefined in projective geometry. For another example, we can draw some basic math functions that we are familiar with on the projective plane, and observe the invariance that exists among the functions that were thought to be different from one another.

We consider a class of symmetric divisible designs D which are almost projective planes in the following sense: Given any point p, there is a unique point p’ such that p and p’ are on two lines, whereas any other point is joined to p by exactly one line; and dually. We note that either the block size k or k — 2 is a perfect square, and exhibit examples for k =3 and k = 4. Then we add the condition that D should admit an abelian Singer group, so that we may study the associated divisible difference sets. Under this additional assumption, we show that k is a square (unless k = 3) and that the only possible prime divisors of k are 2 and 3.

Assuming the Axiom of Constructibility, necessary and sufficient conditions are given for the vanishing of Ext\ for rings A of global dimension 1.Using Martin's Axiom, the necessity of these conditions is shown not to be a theorem of ZFC.Applications are given to abelian group theory, including a partial solution (assuming V = L) to a problem of Baer on the splitting of abelian groups.Some independence results in abelian group theory are also proved.Introduction.In a remarkable recent paper [22], S. Shelah proved that Whitehead's problem is unsolvable in ordinary set theory (Zermelo-Frankel set theory with the Axiom of Choice).More precisely, he proved that two different answers to the problem are obtained when set theory is extended by adding two different axioms: the Axiom of Constructibility and Martin's Axiom.(See Theorem 4.1.)Shelah's arguments were specific to Whitehead's problem and nonhomological in character.In this paper we extend Shelah's techniques in order to obtain some general results about the vanishing of ExtA (for modules over a ring A of global dimension 1) in different models of set theory, and we apply them to some specific problems in abelian group theory.Assuming the Axiom of Constructibility we obtain necessary and sufficient conditions for the vanishing of ExtA (Theorems 1.2 and 1.5).To state the result in.a special case: if C and A are abelian groups of cardinality N,, Ext(C, A) -0 if and only if C is the union of an increasing chain of countable subgroups [Cv\v < «,} such that the chain is smooth (i.e., C0 -U"<oC, for aii iimit ordinals a) and satisfies Ext(C0, A) = 0 and E\i(Cv+x/Cv,A) = 0 for all v < K,.Although the sufficiency of this condition is an easy consequence of classical homological algebra (see Theorem 1.2), the proof of necessity makes use of the Axiom of Constructibility (Theorem 1.5).The necessity of this condition is not provable in ordinary set theory; in particular the condition is not necessary when Martin's Axiom is assumed ( §3).

An (n, k) configuration is a set of n points and n lines, with k of the points on each line and k of the lines through each point. Motivated by the group law on cubic curves, here we investigate the problem of representing such abstract configurations by abelian groups in such a way that whenever k points P1, P2,..., Pk are collinear in the given configuration then the sum P1 + P2 +,..., + Pk = 0 in the group. In this note, we show how Bill McCune’s Prover9 can be successfully employed to determine the structure of the potential group in which the PG(2, 3), projective plane of order 3, gets embedded.KeywordsProjective planesgroup embeddingsautomated deductionProver9

E. ARTIN (1957), R. BAER (1952) and J.DIEUDONNE (1951) emphasized many times the structural identity between classical projective geometry and linear algebra over a division ring. Then Baer pointed out a possible extension of this structural identity to the case of a ring, generating intense research activity in the area of geometric algebra over rings. In this direction the most significant results appear: Ojanguren and Sridharan’s article on the fundamental theorem of projective geometry over a commutative ring; some theorems due to Klingenberg, Bass and Suslin on the structure of the general linear group over appropriate rings and some valuable notes of O’Meara’s on the automorphisms of linear groups over an integral domain.

1. Definitions and notations. Let Y be a compact connected metric abelian (c.c.m.a.) group. We shall use additive notation in such groups. Y will denote the discrete torsion-free countable abelian character group of Y, and multiplicative notation will be used in Y. Y can be written as an inverse limit inv lim (Yi,' r), where each Ym (m > 1) is a finite-dimensional torus and grn is a homomorphism of YM+1 onto Ym. If Y is n-dimensional then each Ym can be chosen to be an n