Basic Ring Theory Flashcards
1
Q
Group
A
A set G with a binary operation • : G x G → G with
- associativity,
- unique inverses,
- unique identity.
2
Q
Ring
A
A set R with two binary operations +, • st
- (R,+) is an abelian group,
- (R,•) is a semigroup, ie.
- • is associative, and
- there exists 1 in R st 1 • a = a • 1 = a
- (R,+,•) satisfies the distributive laws.4
All rings here are commutative.
3
Q
Ideal
A
A nonempty subset I of R is an ideal if
-a, a+b, ra are in I, for all a,b in I, r in R.
An ideal I is principle if I = Ra = { ra | r in R }, ( I is generated by a).
4
Q
Integral domain
A
A commutative nontrivial ring R is an integral domain if
rs = 0 ⇒ r = 0 or s = 0.
5
Q
Principle ideal domain
A
R is commutative, an ID and any ideal of R is principle.
6
Q
Field
A
R is commutative and ( R{0}, • ) is a group.
7
Q
Subring
A
A subset S of R is a subring of R if
- ( S, + ) is a subgroup, and
- S is closed under multiplication and contains the identity.
8
Q
Subfield
A
A subring S of a field F is a subfield of F if S is closed under taking multiplicative inverses.