What is Nonunique Factorization Theory in Number Theory?

camilus
Messages
146
Reaction score
0
Im applying to an REU in San Diego State where the focus will be Nonunique factorization theory but I'm clueless as to what this actually is. Does anybody know anything about this?

The general area of study will be Number Theory, specifically Nonunique Factorization Theory. An Arithmetic Congruence Monoid, or ACM, is a multiplicatively closed subset of the naturals, such as {6, 36, 66, 96, 126, 156, 186, ...} with {1} included for convenience. We are concerned with the multiplicative structure. For example, 66*66=6*726, a factorization into "primes" in two different ways.
 
Physics news on Phys.org
I know nothing about this, but brush up of your knowledge of basic number theory, including primes and factorizations, and you should be fine. This is an REU, so they don't expect you do be an expert, especially on a relatively obscure field such as this. It sounds very interesting. Enjoy!
 
I have heard of a construction that gives a set of integers that cannot be factorized uniquely. Consider the numbers that have an even number of distinct primes as factors. It is not hard to see that the primes of this set are those integers that have at most two distinct prime factors. Let p and q be two ordinary prime numbers. Then, p^2*q^2=(pq)^2. Since p^2, q^2, and pq have no factors in this set, p^2*q^2 is a counterexample to unique factorization in this set. I suspect that something similar may happen when an even number is replaced with multiples of any integer. Maybe something like this is what you were looking for? You might be looking for something a great deal more advanced. This is just what I've heard that might be related to what you want.

Um, something is happening. I am not reposting this. I think something's going wrong with my computer. I keep clicking edit and i get a new post. SORRY!
 
Mathguy15 said:
I have heard of a construction that gives a set of integers that cannot be factorized uniquely. Consider the numbers that have an even number of distinct primes as factors. It is not hard to see that the primes of this set are those integers that have at most two distinct prime factors. Let p and q be two ordinary prime numbers. Then, p^2*q^2=(pq)^2. Since p^2, q^2, and pq have no factors in this set, p^2*q^2 is a counterexample to unique factorization in this set. I suspect that something similar may happen when an even number is replaced with multiples of any integer. Maybe something like this is what you were looking for? You might be looking for something a great deal more advanced. This is just what I've heard that might be related to what you want.

EDIT:SORRY, I did not carefully read your post. You are looking for something specifically about the REU. Sorry for my redundant ramblings.
 
Mathguy15 said:
I have heard of a construction that gives a set of integers that cannot be factorized uniquely. Consider the numbers that have an even number of distinct primes as factors. It is not hard to see that the primes of this set are those integers that have at most two distinct prime factors. Let p and q be two ordinary prime numbers. Then, p^2*q^2=(pq)^2. Since p^2, q^2, and pq have no factors in this set, p^2*q^2 is a counterexample to unique factorization in this set. I suspect that something similar may happen when an even number is replaced with multiples of any integer. Maybe something like this is what you were looking for? You might be looking for something a great deal more advanced. This is just what I've heard that might be related to what you want.

SORRY, I did not carefully read your post. You are looking for something specifically about the REU. Sorry for my redundant ramblings.

edit:Sorry for the repost.
 
do an internet search for Non Unique factorization. A lot of material is available out there.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top