The Radicans. James B. Wilson. April 13, 2002

Similar documents
Ring Theory Problems. A σ

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Section 15 Factor-group computation and simple groups

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Partial, Total, and Lattice Orders in Group Theory

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Foundations of Cryptography

MATH 326: RINGS AND MODULES STEFAN GILLE

Groups and Symmetries

Algebra. Travis Dirle. December 4, 2016

(Rgs) Rings Math 683L (Summer 2003)

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

4.4 Noetherian Rings

* 8 Groups, with Appendix containing Rings and Fields.

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Quiz 2 Practice Problems

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

MT5836 Galois Theory MRQ

INTRODUCTION TO THE GROUP THEORY

Lecture 7 Cyclic groups and subgroups

ECEN 5022 Cryptography

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

Introduction to finite fields


MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

Structure of rings. Chapter Algebras

Quasi-reducible Polynomials

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Mathematics for Cryptography

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

Rings and groups. Ya. Sysak

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

LECTURE NOTES IN CRYPTOGRAPHY

Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem

and this makes M into an R-module by (1.2). 2

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

Supplementary Notes: Simple Groups and Composition Series

FROM GROUPS TO GALOIS Amin Witno

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS

A Multiplicative Operation on Matrices with Entries in an Arbitrary Abelian Group

0 Sets and Induction. Sets

MA441: Algebraic Structures I. Lecture 18

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Math 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

NOTES ON FINITE FIELDS

CHAPTER 14. Ideals and Factor Rings

CHAPTER III NORMAL SERIES

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Noetherian property of infinite EI categories

Graduate Preliminary Examination

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

Formal power series rings, inverse limits, and I-adic completions of rings

SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin

Modular Arithmetic and Elementary Algebra

Group Theory

Residual finiteness of infinite amalgamated products of cyclic groups

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS

Algebraic Number Theory

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

An Additive Characterization of Fibers of Characters on F p

ECEN 5682 Theory and Practice of Error Control Codes

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time.

REPRESENTATION THEORY WEEK 9

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Artin s and Brauer s Theorems on Induced. Characters

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

8. Prime Factorization and Primary Decompositions

Chapter 5. Modular arithmetic. 5.1 The modular ring

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

Spectra of Semidirect Products of Cyclic Groups

Projective modules: Wedderburn rings

A short proof of Klyachko s theorem about rational algebraic tori

INVERSE LIMITS AND PROFINITE GROUPS

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

Chapter 8. P-adic numbers. 8.1 Absolute values

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Exercises on chapter 1

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

The Number of Homomorphic Images of an Abelian Group

Math 547, Exam 1 Information.

Some Results on the Arithmetic Correlation of Sequences

Rings, Modules, and Linear Algebra. Sean Sather-Wagstaff

ALGEBRA 11: Galois theory

Transcription:

The Radicans James B. Wilson April 13, 2002 1 Radices of Integers Computational mathematics has brought awareness to the use of various bases in representing integers. The standard for most number systems is decimal, which is base 10, or has radix 10. 1 Common examples inclue the radix for: binary, 2; octal, 8; and hexidecimal, 16. Definition 1.1 A positive integer r is a radix. A sequence α = (a k,..., a 0 ) is a radix r sequence if 0 a i < r when r > 1 and a i = 1 if r = 1, for all i = 1,..., k. The set of all radix r sequences of integers is defined as N r and is called a primitive radican of r. 2 The translation of a positive integer to a specific radix in computer science can be done recursively as follows: a i = (n k j=i+1 a j )/r i, where k = log r n. This method ensures the proper allocation of space and takes advantage of the implicit flooring done with integer division in computers. However this recursion runs backwards and so is potentially confussing. 3 The following direct and more number theoretic recursion offers a greater insight into the mechinisms behind a radix. j 1 a j r j n a i r i (mod r j+1 ) where each a j is restricted to the least residue class. Notice n = m r j + j 1 a ir i and (r j, r j+1 ) = r j so the explicit form can be given through cancelation as a j m (mod r). 1 The use of the term base is more common than radix. However due to the use of the the terms basis and bases later, base will be avoided in favor of radix. 2 The set N includes 0. 3 Running backwards allows for a program to convert the radix to a reduced precision thus is ideal for floating point situations as well. 1

The process terminates when j a ir i = n, which it must at some point. Regardless of the algorithm used, the output is well-defined and unique and is denoted as n r. Note the length of n r is always log r n and 1 when n = 0. Definition 1.2 An non-negative integer n is said to be expressed (in the radix r) by n r = (a k,..., a 0 ) if for all i = 1,..., k, 0 a i < r when r > 1 and a i = 1 when r = 1 (called a tally). Proposition 1.3 The map (r) : N r N, defined as α(r) = a k r k + + a 1 r + a 0, is well-defined. Furthermore r : N N r defined by n r = (a k,..., a 0 ) is the inverse map of (r), so n r(r) = n and α(r) r = α. 4 Typcially the sequence is denoted with the most significant figures to the left and the least significant to the right, just as with decimal notation. The individual coefficients a i are called r-dits, or simply radits when r is clear from the context. Definition 1.4 Given a set A N, define A r = {n r n A}. Also define n = n so that A = A and in particlar N = N. Before moving on it is important to note several techniques exist to extend the radix representation of a positive integer to its negative: simply fix a new symbol (the minus sign) in front of the number, or for the case of more complex systems, such as the p-adic integers, use infinite sequences. Most of these methods can be extended to the following construction but for simplicity negative integers are ignored. 2 Radix Algorithm The construction of a radix makes sense to other number systems as well. But as with other principles, the development of radix does not in general follow the integer model. The restrictions that make an integer like radix to exist are considered but the certain useful results can be derived even with radix representations that do not exhibit all the necessary properties. Lemma 2.1 Given a right Z-module M and a submodule S, and an integer r 0, a b (mod S) if and only if ar i br i (mod Sr i ) for all i 0. Proof: a + S = b + S if and only if (a + S)r i = (b + S)r i. Furthermore (x + S)r i = {(x + s)r i s S} = {xr i + sr i s S} = xr i + Sr i. Therefore a + S = b + S if and only if ar i + Sr i = br i + Sr i. 4 The notation mimicks the equation a/b b = a as a mnemonic. 2

Theorem 2.2 (Radix Algorithm) Let M be a right Z-module and S a submodule of M with transversal T r(s) and of finite index r. For every element a M there exists a unique sequence a S = {a i i N, a i T r(s)} such that for all j N. a a i r i (mod Sr j ) (1) Proof: Proceed with induction. Given an element a M there exists a unique a 0 T such that a + S = a 0 + S by the definition of T, thus verifying a a 0 (mod Sr 0 ). Presume the subsequence a 0,..., a j satisfies Equation (1), which requires a j a ir i Sr j. Thus there exists an s S such that a j a ir i = sr j. However clearly the order of sr j in M/Sr j+1 divides r. Therefore there exists a t M such that s tr (mod Sr). Once again there exists a unique a j+1 T r(s) such that a j+1 t (mod S). Applying Lemma-2.1 and substituting yields a j+1 r j+1 tr j+1 = sr j = a a i r i (mod Sr j+1 ). Therefore a S is uniquely defined. Proposition 2.3 If an element is expressible then its expression is unique. Proof: Suppose a is expressed by (a i ) i N and (b i ) i N. The transitivity of mod equivalence infers j a ir i j b ir i (mod Sr j ). If j = 0 clearly a 0 b 0 (mod S) and since both are in the transversal it follows a 0 = b 0. Proceeding with induction, assume a i = b i for all i j for some non-negative integer j. Canceling the common sum leaves a j+1 r j+1 b j+1 r j+1 (mod Sr j+1 ), and applying Lemma-2.1 reduces the expression to a j+1 b j+1 (mod S). By the same argument as above a j+1 = b j+1, so in fact (a i ) i N = (b i ) i N. When context allows, we write a S as a r and M S as M r since the integer radix is generally of greatest interest. Traditionally the sequence derived from the radix algorithm is written from left to write starting with the most significant radit. Some confussion may arrise of the radix algorithm is not used to compute the sequence. Example 2.4 In the ring Z/4, 0 = 1 4. Therefore 0 = 1 2 2 + 0 2 + 0 1. However 0 2 (1, 0, 0) because 1 2 2 = 4 / 0 (0 2 + 0 1) (mod 2 3 ). 3

Example 2.5 Consider the radix algorithum with the chain 0 Z/r 0 Z/r Z/r where r > 1. The element (1, 0) (0, 0) (mod Z/r 0) so a 0 = 0. Next (1, 0) a 1 r + 0 = a 1 r (mod 0). Therefore (1, 0) = a 1 r yet every element of x Z/r Z/r has order dividing r so (1, 0) a 1 r for any a 1 in any transversal. Therefore Z/r Z/r is not expressible. Proposition 2.6 Every cyclic group is expressible by any subgroup of finite index greater than one. Proof: Consider the arbitrary cyclic group C = g and the subgroup S of finite index r > 1 in C. Take an arbitrary element a C. By the definition of the transversal T r(s) there exists a unique a 0 a (mod S). Assume a j a ir i (mod Sr j ) for all j k, with a i T r(s), for some k and proceed by induction. Both a and k a ir i are in C so a = gn and k a ir i = gm. Therefore g(n m) 0 (mod Sr k ) and since g is a generator of C it follows gs = B for some s Z. Therefore r k n m... hmm, requires some more work, r j could be greater than the group size. Definition 2.7 (Radix Algorithm) Let H = {H i i N} be an r-regular descending normal series so that [H i, H i+1 ] = r for all H i 0 and H 0 = G. Let φ i : {0,..., r} H i be a map such that φ i (m)h i+1 = φ i (n)h i+1 implies m = n and for each ah i+1 there exists an n such that φ i (n)h i+1 = ah. G γ0 γ G/H 1 γ 1 H 1 /H 2 γ 2 i γ H i /H i+1 i+1 where γ i (ah i ) = a φ i (a i ) where φ(a i )H i = ah i. The radix expression of x G by H is the sequence (x i ) i N where for all j N. xφ 0 (x 0 ) 1 φ j (x j ) 1 H j+1, Proposition 2.8 The radix algorithm is well-defined. Proof: When j = 0 there exists a unique x 0 such that φ 0 (x 0 )H 1 = xh 1 which verifies xφ 0 (x 0 ) 1 H 1. Assume xφ 0 (x 0 ) 1 φ j (x j ) 1 H j+1 for some set of unique x 0 through x j and proceed with induction. Once again the definition of φ j+1 provides for a unique x j+1 such that φ j+1 (x j+1 )H j+2 = x 1 φ 0 (x 0 ) 1 φ j (x j ) 1 H j+2. Therefore x j+1 φ i(x i ) 1 H j+2. By induction (x i ) i N is uniquely determined for all x G so the radix algorithm is well-defined. Definition 2.9 A regular descending normal series is a collection H = {H i i I} where H i+1 H i and [H i, H i+1 ] = [H j, H j+1 ] where H i and H j are not 0. A strongly regular descending normal series requires further that H i /H i+1 = H j /H j+1 when once again H i and H j are non-trivial. The analog exists for ascending normal series. 4

Definition 2.10 Given an r-regular descending normal series H with H 0 = G, the expression of G by H is called a radix expression and r is called the radix. If H is strongly regular then G is expressed base r. Theorem 2.11 If H is a strongly regular descending normal series then G is isomorphic to I G/H 1 with radix multiplication. Proof: blah. Example 2.12 Express D 4 base 2. First locate a regular descending normal series: 0 a 2 a D 4. Next define the φ i functions: φ 0 (0) = e and φ 0 (1) = b, φ 1 (0) = e and φ 1 (1) = a, and finally φ 2 (0) = e and φ 2 (1) = a 2. Now apply the radix algorithm to each element. For instance: a e = φ 0 (0) (mod a ), aφ 0 (0) 1 = ae 1 = a a = φ 1 (1) (mod a 2 ), aφ 0 (0) 1 φ 1 (1) 1 = ae 1 a 1 = e e = φ 2 (0) (mod 0), so a 2 = 010. The same works with ab: ab b = φ 0 (1) (mod a ), abφ 0 (1) 1 = ab 1 = a a = φ 1 (1) (mod a 2 ), abφ 0 (01 1 φ 1 (1) 1 = ab 1 a 1 = e e = φ 2 (0) (mod 0), and therefore ab 2 = 011. Notice that in the second step abφ 0 (1) 1 is in a so in fact the evaluation is in a / a 2 not D 4 / a 2 as required. When completed the algorithm generates the following table uniquely identifying every element. e a a 2 a 3 b ab a 2 b a 3 b D/4/ a φ 0 (0) φ 0 (0) φ 0 (0) φ 0 (0) φ 0 (1) φ 0 (1) φ 0 (1) φ 0 (1) a / a 2 φ 1 (0) φ 1 (1) φ 1 (0) φ 1 (1) φ 1 (0) φ 1 (1) φ 1 (0) φ 1 (1) a 2 /0 φ 2 (0) φ 2 (0) φ 2 (1) φ 2 (1) φ 2 (0) φ 2 (0) φ 2 (1) φ 2 (1) 000 010 100 110 001 011 101 111 Notice the representation need not be unique. For instance take instead the regular descending normal series: H 3 = 0 H 2 = a 2 H 1 = {e, a 2, b, a 2 b} H 0 = D 4. 5

Now define: φ 0 (1) = a, φ 1 (1) = b, and φ 2 (1) = a 2. The radix algorithm now generates: e a a 2 a 3 b ab a 2 b a 3 b H 0 /H 1 φ 0 (0) φ 0 (1) φ 0 (0) φ 0 (1) φ 0 (0) φ 0 (1) φ 0 (0) φ 0 (1) H 1 /H 2 φ 1 (0) φ 1 (0) φ 1 (0) φ 1 (0) φ 1 (1) φ 1 (1) φ 1 (1) φ 1 (1) H 2 /H 3 φ 2 (0) φ 2 (0) φ 2 (1) φ 2 (1) φ 2 (0) φ 2 (0) φ 2 (1) φ 2 (1) 000 001 100 101 010 011 110 111 Notice the results are simply permutations of each other: 000 010 100 110 001 011 101 111 000 001 100 101 010 011 110 111. Interchanging the first two rows in the table creates the other. Proposition 2.13 If an element is expressible then its expression is unique. Proof: Suppose a is expressed by (a i ) i N and (b i ) i N. The transitivity of modular equivalence infers j φ i(a i ) j φ i(b i ) (mod H j+1 ) for all j. If j = 0 clearly φ 0 (a 0 ) φ 0 (b 0 ) (mod H 1 ) implies φ 0 (a 0 )H 1 = φ 0 (b 0 )H 1 so a 0 = b 0 by the definition of φ 0. Proceeding with induction, assume a i = b i for all i j for some non-negative integer j. Using cancelation j+1 φ i(a i ) j+1 φ i(b i ) (mod H j+2 ) reduces to φ j+1 (a j+1 ) φ j+1 (b j+1 ) (mod H j+2 ) where once again φ j+1 (a j+1 ) φ j+1 (b j+1 ) implies a j+1 = b j+1 by the definition of φ j+1. Therefore the expression of a is unique by induction. If G is of finite order n then the maximum length required to express any element in G by the radix r is log r n. Note clearly r n. Example 2.14 Take r i Z rz Z for any r > 1. Define φ i (n) = nr i. Then every element of Z is expressible. Proposition 2.15 Given a right Z-module M and a submodule S of finite index r, and take a M such that a r = {a i i N}. Let s T r(s) be the element such that s + S = S. The following are true: 1. if a = j a ir i for some j then a k = s for all k > j; 2. 0 r = s; 3. if Sr j = 0 for some j then a i = s for all i > j. Proof: Take a = j a ir i and let k > j. Clearly a a i r i = 0 = 0r k sr k = a k r k (mod Sr k ). By Lemma-2.1, a k = s. 6

Clearly 0 = 0 1 so condition 1 is satisfied leaving 0 S = s. Suppose Sr j = 0 for some j. Given that a j a ir i (mod Sr j ) it follows a j a ir i (mod 0) so a = j a ir i in M/0 = M. Applying condition 1 it follows a i = s for all i > j. Selecting various representatives for the transversal generate different associations of numbers. Example 2.16 Takeing T r(2z) to equal {1, 3}, instead of {0, 1}, changes 0 2 from 0 to 1 and 1 2 from 01 to 033. Additionally 3 2 becomes simply 03 instead of the usual 011. Thus the order of the integers are generally not preserved, with respect the corresponding lexicographic order, by the radix algorithm. The goal of a radix is to provide a normal form for the elements expressed according to the radix. This requires that the representation be unique. In most situations the ideal conditions would be a finit sequence, but sense the design of the radix algorithm functions for all positive integers, the best condition is to produce a sequence of finite type. Definition 2.17 An element a is expressed by S when for some j, a i = a j for i j and is furthermore primitive if a j = 0. M is [primitively]expressed by S when every element of M is [primitively]expressible by S. When M is expressed by S, the index [M : S] = r is a radix expressing M and is said to be expressible by r. Notice Sr j 1 Sr S R and at each step [R : Sr j 1 ] = r j. Proposition 2.18 Given a family of right Z-modules {A i i = 1,..., n}, expressible by r, the direct product n i=1 A i is expressible by r. Proof: Note A i / S i = Ai /S i. Therefore (a 1,..., a n ) r = (a 1 r,..., a n r). Corollary 2.19 All finitely generated abelian groups are expressible. Proof: The Fundamental Theorem of Finitely Generated Abelian Groups together with Proposition-2.15. Example 2.20 2 2 = 010 and 2 2 = 010. First 2 0 (mod 2), and next 2 0 = 2 2 = 1 2 (mod 4). Now suppose 2 j i=1 2i (mod 2 j+1 ) for some j. Then 2 j i=1 2i 0 (mod 2 j+1 ) and so 2 j i=1 2i 2 j+1 (mod 2 j+2 ) 2 (2 + 0) 4 4 (mod 8) -2-2-4=-8 The rational numbers are not expressible. 7

Notice all primitive expressions are weak direct product (or equivalently a polynomial when M is a ring) with coefficients in T r(s). Since T r(s) is a traversal for M/T r(s) it follows a S maps a into N M/S. In particular if M is primitively expressed by S then R is embedded in N R/S. Considering a S as a polynomial, even if multiplication is not defined, it is possible to consider substituting r for x in the polynomial. Thus if a S = (a 0,..., a k, 0,... ) then However a a S(r) = k a i r i a i r i 1 (mod Sr j 1 ) i=1 for all j Z + so for all j > k, a j 0 so a j = 0 since 0 is the unique representative for the coset S, in T. In this way a for all j > k, so a S(r) = a. k a i r i = a S(r) (mod Sr j ) i=1 Proposition 2.21 R is primitively expressed by S if and only if R = N R/S = (R/S)[x]. The substitution map allows for a way to sign the elements of M. Take the positive elements to be P = M S(r). Definition 2.22 (Algebraic Log) Suppose some subset A of M is expressible by r. The algebraic log base r of a A is defined as the length minus 1 of a r and is denoted alog r a. alog r a n = φ(a i ) r j i where φ(a i ) = 0 when a i = 0 and 1 everywhere else. Therefore alog r 100 = 2, alog r 101 = 2 + 1/r 2, etc. Usually log b x is defined as the unique y such that b y = x. Here alog r is similar but can best be thought of as a map from M to the rationals. Unlike log, alog r 0 is artificially assigned the value 0. For any elements that cannot be expressed by r the alog is not defined, recall the largest set of unexpressables are called negatives. 8