# A subring in the same domain?

• pivoxa15
In summary, the conversation discusses the relationship between subrings and domains, with examples of Z mod p and Z being used to demonstrate that a subring may not necessarily be in the same domain as its parent ring. It is also mentioned that the converse is not necessarily true. The final point is that Z mod p is not a subring of Z, both arithmetically and technically.

## Homework Statement

If A is a subring of B and B is in a particular domain like a UFD than does it imply A is also in that domain B lives in hence also a UFD?

## The Attempt at a Solution

Z is a ring but not a field. However Z mod p is a field. And Z mod p is a subring of Z. Although Z mod p is a ring also so a subring may live inside a more 'specialised' domain but can always be denoted the name of the domain it is a subring of. So the answer is yes to my above question.

Last edited:
Actually it is possible to construct a subring of the rationals which is a field such that this subring is not a field. So the answer is no. i.e the subring could be all fractions in Q such that the denominator does not contain a factor integer.

Z mod p is definitely not a subring of the integers.

Also, fields are a silly thing to talk about as UFDs since every element is a unit. And why is your second example (the p-locals) not a UFD? Suppose we choose

Z_{(p)} = { a/b in Q such that hcf(b,p)=1}

then the only non-units are powers of p, and those factorize uniquely into irredicuibles (up to units). More mathematically it is a PID - the ideals are those of the form (p^r).

Last edited:
Why 'Z mod p is definitely not a subring of the integers'?

Is it because for A to be a subring of B, A must satisfy being a ring and also the properties of B? i.e Z is not a field but Z mod p is so the latter can't be a subring of Z? But 'properties' is a vague word.

I took UFD just as an example.

So the answer to " If A is a subring of B and B is in a particular domain D then A must also be in that domain D" true? What about the converse?

Last edited:
pivoxa15 said:
Why 'Z mod p is definitely not a subring of the integers'?

Is it because for A to be a subring of B, A must satisfy being a ring and also the properties of B? i.e Z is not a field but Z mod p is so the latter can't be a subring of Z? But 'properties' is a vague word.
The only subring of Z is Z.

Z mod p and Z disagree arithmetically -- for example, the value of (p-1) + 1.

And technically, Z mod p isn't even a subset of Z. (Although we might pretend, for convenience)
So the answer to " If A is a subring of B and B is in a particular domain D then A must also be in that domain D" true? What about the converse?
By "in", I will assume you meant "is a subset of", "is a subring of", "is a subdomain of", or something like that.

If A is a subring of D then A is a subring of B and B is a subring of D is clearly false. For example, pick A = Q, D = Q, and B = Z.

I'm not sure which converse you meant, but I suspect it's not true. And I bet the domain Z[x] and its subdomains Z[x^2] and Z[x^3] will yield a counterexample.

Last edited:
pivoxa15 said:
Why 'Z mod p is definitely not a subring of the integers'?

Is it because for A to be a subring of B, A must satisfy being a ring and also the properties of B? i.e Z is not a field but Z mod p is so the latter can't be a subring of Z? But 'properties' is a vague word.

It isn't because it isn't. The map sending 1 in Z/pZ to 1 in Z does not define a ring homomorphism, and is nothing to do with one being a field, and the other not. Z/mZ for m composite is not a field, and not a subring of Z. Q is a field, and it is isomorphic to a subring of M_2(Q) [2x2 matrices over Q], which is not a field.

As Hurkyl points out, Z/pZ isn't even a subset of Z, but it is also not isomorphic to a subring of Z either.

## What is a subring in the same domain?

A subring in the same domain is a subset of a ring that is closed under addition, subtraction, and multiplication, and contains the identity element of the original ring.

## How is a subring related to a ring?

A subring is a smaller version of a ring that shares the same operations and properties as the original ring. It is a subset of the original ring and may or may not contain all the elements of the original ring.

## What is the significance of a subring in the same domain?

A subring in the same domain allows for the study and analysis of a smaller and more manageable subset of a larger ring. It also helps to identify and understand the properties and behaviors of the larger ring.

## Can a subring be its own domain?

Yes, a subring can be its own domain if it fulfills the requirements of a ring, such as having an identity element and being closed under addition, subtraction, and multiplication.

## How is a subring different from a subfield?

A subring is a subset of a ring, while a subfield is a subset of a field. A subfield has additional properties, such as being closed under division, that a subring may not have. Additionally, not all rings have a corresponding field, so a subfield may not always exist for a given subring.