Intereting Posts

Dealing with integrals of the form $\int{e^x(f(x)+f'(x))}dx$
Limit of a Rational Trigonometric Function $\lim_{x \to 0} \frac{\sin5x}{\sin4x}$
Triangle Quadrilateral and pentagon whose areas form a set of consecutive positive integers.
prove if n – natural number divide number $34x^2-42xy+13y^2$ then n is sum of two square number
Hilbert vs. De Morgan
Plouffe's formula for $\pi$
Is there a $k$ for which $k\cdot n\ln n$ takes only prime values?
Stolz-Cesàro Theorem
Prove by induction $\sum\limits_{k=m}^{\ n}{n\choose k}{k\choose m}={n\choose m}2^{n-m}$
How many words can be formed from 'alpha'?
Is my Riemann Sum correct?
Angles in Hilbert's axioms for geometry
coproducts of structures
Lebesgue Measure of the Graph of a Function
Calculate the “inverse” of the Ricci tensor

I am studying the definitions of rings, ideals, and quotient ring, but I have a bit problem to apply the theory into the practice.

I would like to find all elements of quotient ring $\mathbb{Z}[i]/I $ , where $\mathbb{Z}[i] =\{ {a+bi|a, b∈ \mathbb{Z}}\}$ – Gaussian integers and $I$ is ideal $I = (2 + 2i) $.

How one can find all elements of such a quotient ring? What is the algorithm?

- A vector space over $R$ is not a countable union of proper subspaces
- Structure theorem for finitely generated abelian groups
- Question regarding matrices with same image
- How do we prove the “lying over” property for integral extensions?
- Let $G$ be a simple group of order $n$. Let $H$ be a subgroup of $G$ of index $k$. Show that $n$ divides $k!$
- Is there any significance in the order in which group axioms are presented?

Thanks in advance.

- A finite ring is a field if its units $\cup\ \{0\}$ comprise a field of characteristic $\ne 2$
- Integral Galois Extensions - Proposition 2.4 (Lang)
- Unique factorization domain and principal ideals
- Proper Nontrivial Ideals of Modular Lipshitz Quaternions
- Novel approaches to elementary number theory and abstract algebra
- book with lot of examples on abstract algebra and topology
- proof verification: If $f:G \rightarrow H$ is group homomorphism, and $H$ is abelian, then $G$ is abelian
- Automorphism group of the Alternating Group - a proof
- Non-commutative rings without identity
- Is Serge Lang's Algebra still worth reading?

When you mod out by an ideal, you are essentially introducing an identity that allows you to rewrite some elements in a different form.

In this case, we are beginning with the Gaussian integers — which have the form $a+bi$ for integers $a$ and $b$ — and introducing the identity $2+2i=0$. What that relation does is allow you to replace any occurrence of $2i$ with $-2$. (Or vice versa). The effect of this is that you can rewrite any Gaussian integer in the form $a + bi$ where $b$ is either 0 or 1 — just keep peeling off multiples of $2i$ and exchanging them for $-2$. For example, in this ring $$4 + 7i = 4 + (1 + 6)i = 4 + i + 6i = 4 – 6 + i = -2 + i$$

So you can think of this ring as having two types of elements in it:

- Some elements are of the form $a$, where $a \in \mathbb{Z}$, and

those elements add and multiply just like integers normally do. - The other elements are of the form $a + i$, where $a \in \mathbb{Z}$,

and those elements combine according to the law $(a+i) + (b+i) = a +

b – 2$.

To finish this up you should think about what happens when you combine elements of both types. To make sure you really understand what’s going on you should also work out what the multiplication laws are for the various types of combinations.

Here $\mathbb{Z}[i]/(2+2i)=\{z\in\mathbb{Z}[i]\,|2+2i=0\}=\{\pm1,\pm i,\pm1\pm i,\pm 1 \mp i\}$, we basically consider $\mathbb{Z}[i]$ under modulo $2+2i$.

- Prove $\int_0^x \frac{f(u)(x-u)^n}{n!}du=\int_0^x ( \int_0^{u_n}( \dotsb ( \int_0^{u_1}f(t)\,dt ) du_1 ) \dotsb )du_n$ via IBP
- If $x\equiv 1 \mod 3$, then $x^{100}\equiv 1 \mod 3$.
- row operations, swapping rows
- Motivation for Eisenstein Criterion
- Unbiased estimator of the variance with known population size
- Math without infinity
- Exponential map on the n-sphere
- $G_1/H\cong G_2\implies G_1\cong H\times G_2$?
- Limit of $\frac{x^{x^x}}{x}$ as $x\to 0^+$
- Proving that 1- and 2-d simple symmetric random walks return to the origin with probability 1
- Show that $ a，b，c, \sqrt{a}+ \sqrt{b}+\sqrt{c} \in\mathbb Q \implies \sqrt{a},\sqrt{b},\sqrt{c} \in\mathbb Q $
- Left/Right Eigenvectors
- Adjoining a number to a field
- Proving $\prod_k \sin \pi k / n = n / 2^{n-1}$
- Will the Fermat's last theorem still hold if algebraic and transcendental numbers are introduced?