For questions about principle ideal domains: rings without zero divisors where every ideal is principle.

learn more… | top users | synonyms (1)

0
votes
2answers
34 views

A principal ideal domain if and only if proof

Show an ideal $(p)$ in a principal ideal domain in a maximal ideal if and only if $p$ is irreducible. This is a new concept i do not know how to go about this.
4
votes
1answer
156 views

Ring of formal power series over a principal ideal domain is a unique factorisation domain

An exercise in my algebra course book asks to prove that if $R$ is a PID, then $R[[x]]$ is a UFD, where $R[[x]]$ is the ring of formal power series over $R$. After some failed attempts at proving the ...
3
votes
1answer
126 views

Finitely generated graded modules over $K[x]$

I need some help on this exercise from A Course in Ring Theory by Donald S. Passman The result is supposely similar to the well-known structure theorem in the non-graded case. So let $M$ be a ...
3
votes
1answer
106 views

Structure Theorem For PIDs

So, I'm a biologist at KCL, but I quite like mathematics and so am going through a book of exercises in algebra. Unfortunately, I've run into a problem in trying to answer some of the questions. I've ...
1
vote
1answer
72 views

The ring is a principal ideal domain, especially an integral domain.

The following holds for the ring $ \mathbb{Z}_p, p \in \mathbb{P}$: The ring $ \mathbb{Z}_p $ is a principal ideal domain, especially an integral domain. I try to understand the following proof: ...
1
vote
1answer
46 views

irreducible elements of polynomial rings

Let $p$ be a prime integer. For $x\in\mathbb{Z}$, let $x'$ be the remainder of $x$ when divided by $p$. Let $\sum_{i=0}^{n}a_iX^i\in \mathbb{Z}[X]$ with $p$ does not divide $a_n$ in $\mathbb{Z}$. Then ...
0
votes
1answer
45 views

Trapezoidal Motion Profile Using Discrete Method

I'm trying to program an arduino to generate a Trapezoidal Motion Profile to control a DC motor with a quadrature encoder. Essentially, the user will input the desired Target Position, Max Velocity ...
0
votes
1answer
68 views

Suppose that $K$ is a field and that $f$ and $g$ are relatively prime in $K[x]$. Show that $f - Yg$ is irreducible in $K(y)[x]$.

I'm a bit confused of the notation $K(y)[x]$, is that simply $K[y][x]$ so... $K[y,x]?$ Anyways, here's my attempt at trying this before I get stuck. Since $f$ and $g$ are relatively prime, that ...
0
votes
1answer
31 views

algebraic poset

I learn domain theory and stack in definition of algebraic poset. Recall $P$ is algebraic if for every $x\in P$,the set of compact element $y$ below $x$ is directed and has $x$ as least upper bound. ...
4
votes
0answers
78 views

Property of free submodules for a module over a PID

It's possible to produce an example of an integral domain $R$ and a free $R$-module $M$ with free submodules $L, L'$ such that $L+L'$ is not free. We can take $R=M=K[x,y]$ , $L=<x>$ , ...
4
votes
0answers
110 views

Reducing multivariate rational fractions to lowest terms

I wish to simplify multivariate rational fractions to a canonical form. Thanks to some very helpful mathematically inclined people who verified that my understanding of Wikipedia was correct, I'm now ...
3
votes
0answers
57 views

Is quantum torus a principal ideal domain?

For a quantum torus $C_q[x_1^{\pm1}, ...,x_n^{\pm1}]$ satisfying $x_ix_j=q_{ij}x_jx_i$. Question: Is this quantum torus a principal ideal domain?
3
votes
0answers
408 views

Exercise on modules over PID involving injective modules, Baer's criterion.

I'm interested if I solved this somewhat correctly, and would like to be set straight if it is wrong. This is an exercise from an introductory text. Let $A$ be a module over a principal ideal ...
2
votes
0answers
42 views

If in a UFD every maximal ideal is principal then it is a PID

I want to prove that if in a UFD every maximal ideal is principal then it is a PID. My line of attack is: If it is a field i.e. it has no non-zero proper ideal, then we are done. Otherwise ...
2
votes
0answers
63 views

torsion free RG-module

Let $R$ be a PID, $G$ be a cyclic group, $M$ be an $RG$-module and $N$ be a submodule of $M$. How can we test whether $M/N$ is torsion free as an $RG$-module or not? (I know how if we consider it as ...
1
vote
0answers
36 views

Prove that $a$ is a prime element of $R$

Let $R$ be a PID and $P = (a)$ is a prime ideal of $R$. Prove that $a$ is a prime element of $R$. Since $P$ is a prime ideal of $R$, let $x,y \in R$ s.t. $xy \in P = (a).$ (WTS $a \mid x$ or $a\mid ...
1
vote
0answers
115 views

Is $\mathbb Z\left[\frac{1+\sqrt{-15}}{2}\right]$ a PID?

$1)$ Let $R:=\mathbb Z[w]$, where $w=\frac{1+\sqrt{-15}}{2}$. What is the norm $N_{R/\mathbb Z}(x+yw)$ in terms of $x,y\in\mathbb Z$? Which of the integers $1,\dots,10$ occur as the norm of some ...
1
vote
0answers
59 views

Examples of PIDs and prime ideals

(a) Give a specific example of a PID with exactly two prime ideals. Give a brief proof of your answer. (b) Give an specific example of a PID with infinitely many prime ideals. Give a brief proof of ...
1
vote
0answers
177 views

Proof for maximal ideals in $\mathbb{Z}[x]$

I have been trying to prove the following theorem: Every maximal ideal in $\mathbb{Z}[x]$ has the form $(p, f(x))$ where $p$ is prime integer and $f$ is primitive integer polynomial that is ...
1
vote
0answers
130 views

Subring of the field of rational numbers

Let $R=\{a\cdot2^n\mid a,n \in \mathbb{Z}\}$ be a subring or the field of rational numbers $\mathbb Q$. i) What kind of elements are invertible in $R$? ii) Prove that $R$ is a principal ...
1
vote
0answers
38 views

Inclusion-minimality of a lattice basis

An integer lattice is a subgroup of $\mathbb{Z}^n$. Since $\mathbb{Z}$ is PID, each lattice has a well-defined rank and a generating set of rank many elements is a basis. I wonder if there is a way ...
0
votes
0answers
26 views

Proving that for an integral domain $R$, $y\in (x)\iff (y)\subseteq (x)$.

I am trying to prove the following statement. Let $R$ be a integral domain. Then for all $x,y\in R$ we have $$x\mid y\iff y\in(x)\iff (y)\subseteq (x).$$ Note that $(x)$ denotes the principal ...
0
votes
0answers
16 views

free submodules of free modules of a PID

Let $R$ be a principal ideal domain. Now I want to show that each submodule $N \subseteq M$ of a free $R$-module $M = R^{(I)}$ is also free. As a hint, it says I might consider the tripel $(J, ...
0
votes
0answers
27 views

properties of finitely generated torsion-modules and their submodules over a PID

Let $R$ be a principal ideal domain, $M$ a finitely generated $R$-torsion module, and $N \subseteq M$ a submodule. I want to show that there exist free R-modules $F, F', F''$ and module homomorphisms ...
0
votes
0answers
47 views

Let $R$ be a PID. Prove that $\exists c \in R$ such that $c\mid a, c\mid b$ and $c = ax + by$.

Let $R$ be a PID and $a,b \in R$. Prove that $\exists c \in R$ such that $c\mid a, c\mid b$ and $c = ax + by$ for some $x,y \in R$.
0
votes
0answers
17 views

Under what conditions is a tower of quadratic extensions a UFD, GCD domain, or just an Integral Domain?

I have been studying towers of quadratic extensions to $\mathbb Q$ and have noticed the following: $\mathbb Q[\sqrt 2]$ and $\mathbb Q[\sqrt 2][\sqrt 3]$ are unique factorization domains(UFDs), but ...
0
votes
0answers
26 views

Another question about free modules of finite rank over a PID

I am now trying to prove the following: Let $R$ be a PID and let $M$ be a free $R$-module of finite rank. If $N$ is a submodule of $M$ and $M/N$ is finite, then rank$(N)$ = rank$(M).$ Attempt at a ...
0
votes
0answers
17 views

Bases for submodules of free modules over a PID

I have proved the following: If $G$ is a free abelian group of rank $n$ and $H$ is a subgroup of $G$, then $H$ is free of rank $m\leq n$. Moreover, there exists a $\mathbb{Z}$-basis $x_1,\ldots,x_n$ ...
0
votes
0answers
14 views

Inclusion with some principal ideals

Let $A$ be a principal ideal domain, $M$ a free $A$-module of rank $n$, $M'$ a submodule of $M$ with $M' \ne (0)$, and $L(M,A)$ the set of linear forms on $M$. For $v \in L(M,A)$, we can write ...
0
votes
0answers
32 views

$\mathbb{Z}[\zeta_n]$ is a PID for $n=3,4,5$ using Minkowski theory

I want to show that $\mathbb{Z}[\zeta_n]$ is a PID for $n=3,4,5$ using Minkowski theory. I know that if the class group is trivial, then it is a PID. Is this helpful to show the claim or how else can ...
0
votes
0answers
32 views

Elementary Divisors on a PID

Let $N$ be a submodule of $\mathbb{Z}^3$ generated by $\{e_1-e_3,2e_1+3e_2+e_3,3e_1+e2+5e_3\}$, with $\{e_1,e_2,e_3\}$ the canonical basis. I am asked to compute a base for $N$ by the structure ...
0
votes
0answers
14 views

What can we say about the function $f(x)$ in this case?

Alright, I'm little bit confused about what's happening here to the function $f(x)$, i thought that the formula of $f(x)$, have nothing to do with its behavior or domain. there are two or many ...
0
votes
0answers
87 views

Smith normal forms and a math program

I am interested to know the Smith normal form of $4 \times 2$ matrices $M$: The two cases of my interests are: (1). $$M_1= \begin{pmatrix} 3 & 0\\ -5 & 4\\ 4 & -5\\ 0 & 3 ...
0
votes
0answers
180 views

Homology out of Smith normal form: simultaneous or independent diagonalization?

Let $R$ be a PID and $R^m\overset{A}{\longrightarrow} R^n\overset{B}{\longrightarrow} R^o$ matrices with $BA=0$ and Smith normal forms ...