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

Size: px
Start display at page:

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

Transcription

1 The Radicans James B. Wilson April 13, 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 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

2 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

3 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 = However 0 2 (1, 0, 0) because = 4 / 0 ( ) (mod 2 3 ). 3

4 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

5 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) 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

6 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) Notice the results are simply permutations of each other: 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

7 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 Example = 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) =-8 The rational numbers are not expressible. 7

8 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

Ring Theory Problems. A σ

Ring Theory Problems. A σ Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional

More information

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

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Section 15 Factor-group computation and simple groups

Section 15 Factor-group computation and simple groups Section 15 Factor-group computation and simple groups Instructor: Yifan Yang Fall 2006 Outline Factor-group computation Simple groups The problem Problem Given a factor group G/H, find an isomorphic group

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

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

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Partial, Total, and Lattice Orders in Group Theory

Partial, Total, and Lattice Orders in Group Theory Partial, Total, and Lattice Orders in Group Theory Hayden Harper Department of Mathematics and Computer Science University of Puget Sound April 23, 2016 Copyright c 2016 Hayden Harper. Permission is granted

More information

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Foundations of Cryptography

Foundations of Cryptography Foundations of Cryptography Ville Junnila viljun@utu.fi Department of Mathematics and Statistics University of Turku 2015 Ville Junnila viljun@utu.fi Lecture 7 1 of 18 Cosets Definition 2.12 Let G be a

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

Groups and Symmetries

Groups and Symmetries Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group

More information

Algebra. Travis Dirle. December 4, 2016

Algebra. Travis Dirle. December 4, 2016 Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................

More information

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

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

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

* 8 Groups, with Appendix containing Rings and Fields.

* 8 Groups, with Appendix containing Rings and Fields. * 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that

More information

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

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV. Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is

More information

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

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 2.1 Exercise (6). Let G be an abelian group. Prove that T = {g G g < } is a subgroup of G.

More information

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

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication. Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions

More information

Quiz 2 Practice Problems

Quiz 2 Practice Problems Quiz 2 Practice Problems Math 332, Spring 2010 Isomorphisms and Automorphisms 1. Let C be the group of complex numbers under the operation of addition, and define a function ϕ: C C by ϕ(a + bi) = a bi.

More information

(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

(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 The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

MT5836 Galois Theory MRQ

MT5836 Galois Theory MRQ MT5836 Galois Theory MRQ May 3, 2017 Contents Introduction 3 Structure of the lecture course............................... 4 Recommended texts..................................... 4 1 Rings, Fields and

More information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION TO THE GROUP THEORY Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher

More information

Lecture 7 Cyclic groups and subgroups

Lecture 7 Cyclic groups and subgroups Lecture 7 Cyclic groups and subgroups Review Types of groups we know Numbers: Z, Q, R, C, Q, R, C Matrices: (M n (F ), +), GL n (F ), where F = Q, R, or C. Modular groups: Z/nZ and (Z/nZ) Dihedral groups:

More information

ECEN 5022 Cryptography

ECEN 5022 Cryptography Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,

More information

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

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on

More information

EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS

EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.

More information

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

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld. ENTRY GROUP THEORY [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld Group theory [Group theory] is studies algebraic objects called groups.

More information

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Cosets, factor groups, direct products, homomorphisms, isomorphisms Cosets, factor groups, direct products, homomorphisms, isomorphisms Sergei Silvestrov Spring term 2011, Lecture 11 Contents of the lecture Cosets and the theorem of Lagrange. Direct products and finitely

More information

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm April 11, 2010 1 Algebra We start by discussing algebraic structures and their properties. This is presented in more depth than what we

More information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

More information

Introduction to finite fields

Introduction to finite fields Chapter 7 Introduction to finite fields This chapter provides an introduction to several kinds of abstract algebraic structures, particularly groups, fields, and polynomials. Our primary interest is in

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

Structure of rings. Chapter Algebras

Structure of rings. Chapter Algebras Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

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

Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic

More information

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.

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. Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

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

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1. NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

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

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK

More information

LECTURE NOTES IN CRYPTOGRAPHY

LECTURE NOTES IN CRYPTOGRAPHY 1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic

More information

Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem

Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000 Abstract We show

More information

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

and this makes M into an R-module by (1.2). 2 1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together

More information

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

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D. COMMUNICATIONS IN ALGEBRA, 15(3), 471 478 (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY John A. Beachy and William D. Weakley Department of Mathematical Sciences Northern Illinois University DeKalb,

More information

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:

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: Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties

More information

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

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications 1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the

More information

Supplementary Notes: Simple Groups and Composition Series

Supplementary Notes: Simple Groups and Composition Series 18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.

More information

FROM GROUPS TO GALOIS Amin Witno

FROM GROUPS TO GALOIS Amin Witno WON Series in Discrete Mathematics and Modern Algebra Volume 6 FROM GROUPS TO GALOIS Amin Witno These notes 1 have been prepared for the students at Philadelphia University (Jordan) who are taking the

More information

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

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS Recall Lagrange s theorem says that for any finite group G, if H G, then H divides G. In these lectures we will be interested in establishing certain

More information

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

A Multiplicative Operation on Matrices with Entries in an Arbitrary Abelian Group A Multiplicative Operation on Matrices with Entries in an Arbitrary Abelian Group Cyrus Hettle (cyrus.h@uky.edu) Robert P. Schneider (robert.schneider@uky.edu) University of Kentucky Abstract We define

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

MA441: Algebraic Structures I. Lecture 18

MA441: Algebraic Structures I. Lecture 18 MA441: Algebraic Structures I Lecture 18 5 November 2003 1 Review from Lecture 17: Theorem 6.5: Aut(Z/nZ) U(n) For every positive integer n, Aut(Z/nZ) is isomorphic to U(n). The proof used the map T :

More information

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.

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. Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms

More information

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

Math 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010 Math 4370 Exam 1 Handed out March 9th 2010 Due March 18th 2010 Problem 1. Recall from problem 1.4.6.e in the book, that a generating set {f 1,..., f s } of I is minimal if I is not the ideal generated

More information

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

CHAPTER 14. Ideals and Factor Rings

CHAPTER 14. Ideals and Factor Rings CHAPTER 14 Ideals and Factor Rings Ideals Definition (Ideal). A subring A of a ring R is called a (two-sided) ideal of R if for every r 2 R and every a 2 A, ra 2 A and ar 2 A. Note. (1) A absorbs elements

More information

CHAPTER III NORMAL SERIES

CHAPTER III NORMAL SERIES CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors

More information

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence

More information

Noetherian property of infinite EI categories

Noetherian property of infinite EI categories Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

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

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group

More information

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

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

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

SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial

More information

Modular Arithmetic and Elementary Algebra

Modular Arithmetic and Elementary Algebra 18.310 lecture notes September 2, 2013 Modular Arithmetic and Elementary Algebra Lecturer: Michel Goemans These notes cover basic notions in algebra which will be needed for discussing several topics of

More information

Group Theory

Group Theory Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is

More information

Residual finiteness of infinite amalgamated products of cyclic groups

Residual finiteness of infinite amalgamated products of cyclic groups Journal of Pure and Applied Algebra 208 (2007) 09 097 www.elsevier.com/locate/jpaa Residual finiteness of infinite amalgamated products of cyclic groups V. Metaftsis a,, E. Raptis b a Department of Mathematics,

More information

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

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.

More information

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS

chapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader

More information

Algebraic Number Theory

Algebraic Number Theory TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for

More information

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

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development

More information

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

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC). Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

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

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are Cosets Let H be a subset of the group G. (Usually, H is chosen to be a subgroup of G.) If a G, then we denote by ah the subset {ah h H}, the left coset of H containing a. Similarly, Ha = {ha h H} is the

More information

An Additive Characterization of Fibers of Characters on F p

An Additive Characterization of Fibers of Characters on F p An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009

More information

ECEN 5682 Theory and Practice of Error Control Codes

ECEN 5682 Theory and Practice of Error Control Codes ECEN 5682 Theory and Practice of Error Control Codes Introduction to Algebra University of Colorado Spring 2007 Motivation and For convolutional codes it was convenient to express the datawords and the

More information

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

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation; 4 The path algebra of a quiver 41 Paths For definitions see section 21 (In particular: path; head, tail, length of a path; concatenation; oriented cycle) Lemma Let Q be a quiver If there is a path of length

More information

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

23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. 23. Quotient groups II 23.1. Proof of the fundamental theorem of homomorphisms (FTH). We start by recalling the statement of FTH introduced last time. Theorem (FTH). Let G, H be groups and ϕ : G H a homomorphism.

More information

REPRESENTATION THEORY WEEK 9

REPRESENTATION THEORY WEEK 9 REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence

More information

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.

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. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Artin s and Brauer s Theorems on Induced. Characters

Artin s and Brauer s Theorems on Induced. Characters Artin s and Brauer s Theorems on Induced Characters János Kramár December 14, 2005 1 Preliminaries Let G be a finite group. Every representation of G defines a unique left C[G]- module where C[G] is the

More information

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

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,

More information

8. Prime Factorization and Primary Decompositions

8. Prime Factorization and Primary Decompositions 70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

More information

Chapter 5. Modular arithmetic. 5.1 The modular ring

Chapter 5. Modular arithmetic. 5.1 The modular ring Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence

More information

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

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

More information

Spectra of Semidirect Products of Cyclic Groups

Spectra of Semidirect Products of Cyclic Groups Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with

More information

Projective modules: Wedderburn rings

Projective modules: Wedderburn rings Projective modules: Wedderburn rings April 10, 2008 8 Wedderburn rings A Wedderburn ring is an artinian ring which has no nonzero nilpotent left ideals. Note that if R has no left ideals I such that I

More information

A short proof of Klyachko s theorem about rational algebraic tori

A short proof of Klyachko s theorem about rational algebraic tori A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture

More information

INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

More information

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

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

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

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

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

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into

More information

The Number of Homomorphic Images of an Abelian Group

The Number of Homomorphic Images of an Abelian Group International Journal of Algebra, Vol. 5, 2011, no. 3, 107-115 The Number of Homomorphic Images of an Abelian Group Greg Oman Ohio University, 321 Morton Hall Athens, OH 45701, USA ggoman@gmail.com Abstract.

More information

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

Some Results on the Arithmetic Correlation of Sequences

Some Results on the Arithmetic Correlation of Sequences Some Results on the Arithmetic Correlation of Sequences Mark Goresky Andrew Klapper Abstract In this paper we study various properties of arithmetic correlations of sequences. Arithmetic correlations are

More information

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

Rings, Modules, and Linear Algebra. Sean Sather-Wagstaff Rings, Modules, and Linear Algebra Sean Sather-Wagstaff Department of Mathematics, NDSU Dept # 2750, PO Box 6050, Fargo, ND 58108-6050 USA E-mail address: sean.sather-wagstaff@ndsu.edu URL: http://www.ndsu.edu/pubweb/~ssatherw/

More information

ALGEBRA 11: Galois theory

ALGEBRA 11: Galois theory Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic

More information