mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-28 03:33:14 -05:00
79 lines
3.8 KiB
Markdown
79 lines
3.8 KiB
Markdown
---
|
|
title: "Useful Abstract Definitions"
|
|
date: 2019-10-27T23:49:57-04:00
|
|
draft: false
|
|
tags: [ "Math" ]
|
|
math: true
|
|
---
|
|
|
|
## Chapter 17
|
|
|
|
By a **ring** we mean a set $A$ with operations called addition and multiplication which satisfy the following axioms:
|
|
|
|
- $A$ with addition alone is an abelian group
|
|
- Multiplication is associative
|
|
- Multiplication is distributive over addition
|
|
|
|
Since $\langle A, + \rangle$ is an abelian group, there is in $A$ a neutral element for addition. This is called the **zero** element. Also, every element has an additive inverse called its **negative**.
|
|
|
|
If multiplication in a ring $A$ is commutative then we say that $A$ is a **commutative ring**.
|
|
|
|
If a ring $A$ has a neutral element for multiplication then we say that the neutral element is the **unity** of $A$.
|
|
|
|
If $A$ is a ring with unity, there may be elements in $A$ which have a multiplicative inverse. Such elements are said to be **invertible**.
|
|
|
|
If $A$ is a commutative ring with unity in which every nonzero element is invertible, then $A$ is called a **field**.
|
|
|
|
In any ring, a nonzero element $a$ is called a **divisor of zero** if there is a nonzero element $b$ in a ring such that the product $ab$ or $ba$ is equal to zero.
|
|
|
|
An **integral domain** is defined to be a commutative ring with unity that has the cancellation property. Another way of saying this is that an integral domain is a commutative ring with unity and has no zero divisors.
|
|
|
|
## Chapter 18
|
|
|
|
Let $A$ be a ring, and $B$ be a nonempty subset of $A$. $B$ is called a **subring** if it satisfies the following properties:
|
|
|
|
- Closed with respect to addition
|
|
- Closed with respect to negatives
|
|
- Closed with respect to multiplication
|
|
|
|
Let $B$ be a subring of $A$. We call $B$ an **ideal** of $A$ if $xb, bx \in B$ for all $b \in B$ and $x \in A$.
|
|
|
|
The **principle ideal generated by $a$**, denoted $\langle a \rangle$ is the subring defined by fixing an element $a$ in a subring $B$ of $A$ and multiplying all elements of $A$ by $a$.
|
|
$$
|
|
\langle a \rangle = \{ xa : x \in A \}
|
|
$$
|
|
A **homomorphism** from a ring $A$ to a ring $B$ is a function $f : A \to B$ satisfying the identities:
|
|
$$
|
|
f(x_1 + x_2 ) = f(x_1) + f(x_2) \\
|
|
f(x_1x_2) = f(x_1)f(x_2)
|
|
$$
|
|
If there is a homomorphism from $A$ onto $B$, we call $B$ a **homomorphic image** of $A$.
|
|
|
|
If $f$ is a homomorphism from a ring $A$ to a ring $B$, the **kernel** of $f$ is the set of all the elements of $A$ which are carried by $f$ onto the zero element of $B$. In symbols, the kernel of $f$ is the set
|
|
$$
|
|
K = \{x \in A: f(x) = 0\}
|
|
$$
|
|
If $A$ and $b$ are rings, an **isomorphism** from $A$ to $B$ is a homomorphism which is a one-to-one correspondence from $A$ to $B$. In other words, it is injective and surjective homomorphism.
|
|
|
|
If there is an isomorphism from $A$ to $B$ we say that $A$ is **isomorphic** to $B$, and this fact is expressed by writing $A \cong B$.
|
|
|
|
## Chapter 19
|
|
|
|
Let $A$ be a ring, and $J$ an ideal of $A$. For any element $a \in A$, the symbol $J + a$ denotes the set of all sums $j + a$ as $a$ remains fixed and $j$ ranges over $J$. That is,
|
|
$$
|
|
J + a = \{j + a : j \in J\}
|
|
$$
|
|
$J + a$ is called a **coset** of $J$ in $A$.
|
|
|
|
Now think of the set which contains all cosets of $J$ in $A$. This set is conventionally denoted by $A / J$ and reads $A$ mod $J$. Then, $A / J$ with coset addition and multiplication is a ring.
|
|
|
|
An ideal $J$ of a commutative ring is said to be a **prime ideal** if for any two elements $a$ and $b$ in the ring,
|
|
$$
|
|
ab \in J \implies a \in J \text{ or } b \in J
|
|
$$
|
|
<u>Theorem:</u> If $J$ is a prime ideal of a community ring with unity $A$, then the quotient ring $A / J$ is an integral domain.
|
|
|
|
An ideal $J$ of $A$ with $J \ne A$ is called a **maximal ideal** if there exists no proper ideal $K$ of $A$ such that $J \subseteq K$ with $J \ne K$.
|
|
|
|
<u>Theorem:</u> If $A$ is a commutative ring with unity, then $J$ is a maximal ideal of $A$ iff $A/J$ is a field.
|
|
|