MHB Ring Theory: Proving Subrings and Ring Generation

  • Thread starter Thread starter Poirot1
  • Start date Start date
  • Tags Tags
    Ring Theory
Poirot1
Messages
243
Reaction score
0
Two questions

(1)For R a ring and A a subset of R, let s(A) denote the set of all subrings of R that contain A (including R itself). Show that the intersection of all these subrings is itself a subring of R.

(2)Suppose that 1 is not equal to 0 in R. Show that the sets ∅, {0} and {1} all generate the same ring in R.​


Thanks
 
Physics news on Phys.org
Poirot said:
Two questions

(1)For R a ring and A a subset of R, let s(A) denote the set of all subrings of R that contain A (including R itself). Show that the intersection of all these subrings is itself a subring of R.

(2)Suppose that 1 is not equal to 0 in R. Show that the sets ∅, {0} and {1} all generate the same ring in R.​



Thanks

1) Check whether the following conditions are met:
a) 0 is in s(A)
b) a - b is in s(A) whenever a and b are in s(A)
c) ab is in s(A) whenever a and b is are in s(A)
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'

Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'

This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
View full post »

Thread 'Trouble understanding an online solution to an exercise in Dummit & Foote'

##\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...
View full post »

Thread 'Questions about non existence of GCDs vs (coimages, cokernels)'

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...
View full post »

Similar threads

MHB Can you prove these floor and ceiling equations?
Replies
5
Views
6K
MHB We have y''(t)=B x y'(t), where y:R->R^3
Replies
4
Views
2K
Engineering Stiffness of a Concrete Core in a Multi-Storey Building
Replies
2
Views
2K
MHB Correspondence Theorem for Groups - Rotman, Proposition
Replies
8
Views
2K
MHB Prime Ideal in a Commutative Ring - Rotman Proposition 7.5
Replies
3
Views
2K
MHB Proof: G/H1 is Isomorphic to H2/K for G with Normal Subgroups H1 and H2
Replies
3
Views
2K
MHB What are the cosets of the ring R=Z_4[x]/((x^2+1)*Z_4[x])?
Replies
3
Views
3K
I Request for Input: 2D Minkowski Spacetime Diagram Generator
Replies
6
Views
2K
MHB Generalised Quaternion Algebra over K - Dauns Section 1-5 no 18
Replies
2
Views
1K
MHB Generalised Quaternion Algebra over K - Dauns Section 1-5 no 19
Replies
4
Views
2K

Hot Threads

Recent Insights

Back
Top