Mrthfx

Factor Rings over Finite Fields

What do you call someone who likes to pick fights?

How do we create new idioms and use them in a novel?

Giving a career talk in my old university, how prominently should I tell students my salary?

Traveling to heavily polluted city, what practical measures can I take to minimize impact?

Why do we say 'Pairwise Disjoint', rather than 'Disjoint'?

Can one live in the U.S. and not use a credit card?

Should we avoid writing fiction about historical events without extensive research?

Why aren't there more Gauls like Obelix?

Did Amazon pay $0 in taxes last year?

Is this Paypal Github SDK reference really a dangerous site?

Difference between `nmap local-IP-address` and `nmap localhost`

The (Easy) Road to Code

Does the US political system, in principle, allow for a no-party system?

Is there a way to make cleveref distinguish two environments with the same counter?

Called into a meeting and told we are being made redundant (laid off) and "not to share outside". Can I tell my partner?

How do spaceships determine each other's mass in space?

Is it possible to clone a polymorphic object without manually adding overridden clone method into each derived class in C++?

What is the purpose of a disclaimer like "this is not legal advice"?

What can I do if someone tampers with my SSH public key?

Professor forcing me to attend a conference, I can't afford even with 50% funding

What would be the most expensive material to an intergalactic society?

Can I take the the bonus-action attack from Two-Weapon Fighting without taking the Attack action?

Can't make sense of a paragraph from Lovecraft

Factor Rings over Finite Fields

Quotient Rings of Polynomials Over Finite FieldsPolynomial rings — Inherited properties from coefficient ringAddition in finite fieldsFactor Ring fundamental questionIs division allowed in rings and fields?Extensions Fields and Zeros of PolynomialsAre these rings fields?Finitely generated modules over non-commutative principal ideal ringsIrreducible polynomials of degree greater than 4 over finite fieldsSplitting Fields over arbitrary fields

2

$begingroup$

Given a polynomial ring over a field $F[x]$, I can factor, for example, the ideal generated by an irreducible polynomial $ax^2 + bx + c$: $F[x]/left<ax^2 + bx + cright>$, and guarantee that this factor ring is also a field.

My question concerns the structure of this factor ring. For example, if I consider the factor ring $Z_p[x] / left<ax^2 + bx + cright>$ for some irreducible polynomial $ax^2 + bx + c$, I can guarantee, for example, that this field has $p^2$ elements.

I am unsure why this is the case. My understanding is that the coset representitives of this factor ring are possible remainders by division by $ax^2 + bx + c$. Is this the right idea, and how would I know that two different remainders aren't in the same coset? Thanks.

abstract-algebra ring-theory field-theory finite-fields quotient-spaces

share|cite|improve this question

edited 3 hours ago

Servaes

27.8k34098

asked 3 hours ago

Solarflare0Solarflare0

773

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Roughly speaking, elements in your said ring are linear polynomials $Ax+B$. There are $p$ many choices for each of the coefficients $A$ and $B$.
  $endgroup$
  – thedilated
  3 hours ago
  

  
  
  
  

add a comment | 

2

$begingroup$

Given a polynomial ring over a field $F[x]$, I can factor, for example, the ideal generated by an irreducible polynomial $ax^2 + bx + c$: $F[x]/left<ax^2 + bx + cright>$, and guarantee that this factor ring is also a field.

My question concerns the structure of this factor ring. For example, if I consider the factor ring $Z_p[x] / left<ax^2 + bx + cright>$ for some irreducible polynomial $ax^2 + bx + c$, I can guarantee, for example, that this field has $p^2$ elements.

I am unsure why this is the case. My understanding is that the coset representitives of this factor ring are possible remainders by division by $ax^2 + bx + c$. Is this the right idea, and how would I know that two different remainders aren't in the same coset? Thanks.

abstract-algebra ring-theory field-theory finite-fields quotient-spaces

share|cite|improve this question

edited 3 hours ago

Servaes

27.8k34098

asked 3 hours ago

Solarflare0Solarflare0

773

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  Roughly speaking, elements in your said ring are linear polynomials $Ax+B$. There are $p$ many choices for each of the coefficients $A$ and $B$.
  $endgroup$
  – thedilated
  3 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

Given a polynomial ring over a field $F[x]$, I can factor, for example, the ideal generated by an irreducible polynomial $ax^2 + bx + c$: $F[x]/left<ax^2 + bx + cright>$, and guarantee that this factor ring is also a field.

My question concerns the structure of this factor ring. For example, if I consider the factor ring $Z_p[x] / left<ax^2 + bx + cright>$ for some irreducible polynomial $ax^2 + bx + c$, I can guarantee, for example, that this field has $p^2$ elements.

I am unsure why this is the case. My understanding is that the coset representitives of this factor ring are possible remainders by division by $ax^2 + bx + c$. Is this the right idea, and how would I know that two different remainders aren't in the same coset? Thanks.

abstract-algebra ring-theory field-theory finite-fields quotient-spaces

share|cite|improve this question

edited 3 hours ago

Servaes

27.8k34098

asked 3 hours ago

Solarflare0Solarflare0

773

$endgroup$

share|cite|improve this question

edited 3 hours ago

Servaes

27.8k34098

asked 3 hours ago

Solarflare0Solarflare0

773

share|cite|improve this question

edited 3 hours ago

Servaes

27.8k34098

asked 3 hours ago

Solarflare0Solarflare0

773

edited 3 hours ago

Servaes

27.8k34098

edited 3 hours ago

Servaes

27.8k34098

asked 3 hours ago

Solarflare0Solarflare0

773

asked 3 hours ago

Solarflare0Solarflare0

773

2 Answers
2

active

oldest

votes

2

$begingroup$

Indeed the elements of the factor ring $Bbb{F}_p[x]/langle ax^2+bx^2+crangle$ can be represented by the remainders by division by $ax^2+bx+c$. This is true because we can divide polynomials in $Bbb{F}_p[x]$ by $ax^2+bx+c$ with remainder. What this means is that

For every polynomial $finBbb{F}_p[x]$ there exist unique $q,rinBbb{F}_p[x]$ with $deg r<2$ such that
$$f=q(ax^2+bx+c)+r.tag{1}$$

This equality shows that $f$ and $r$ are in the same coset of $langle ax^2+bx+crangle$, and hence they are mapped to the same element of the factor ring $Bbb{F}_p[x]/langle ax^2+bx+crangle$. Hence the image of
$f$ in the factor ring is represented by $r$, and so every element of the factor ring is represented by a linear polynomial.

To see that no two linear polynomials represent the same element of $Bbb{F}_p[x]/langle ax^2+bx+crangle$, it suffices to note that the remainder $r$ in $(1)$ is unique for every $finBbb{F}_p[x]$, meaning in particular that every linear polynomial is represented only by itself.

Alternatively, if two linear polynomials $r$ and $r'$ represent the same coset of $langle ax^2+bx+crangle$ in the factor ring, then $r-r'$ is a multiple of $ax^2+bx+c$. Because $deg r-r'<deg(ax^2+bx+c)$ it follows that $r-r'=0$.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

ServaesServaes

27.8k34098

$endgroup$

add a comment | 

3

$begingroup$

The quotient you get is a two-dimensional vector space over your field. Can you show that any such vector space must have $p^2$ elements?

share|cite|improve this answer

answered 3 hours ago

Santana AftonSantana Afton

2,9132629

$endgroup$

add a comment | 

Your Answer

StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3141833%2ffactor-rings-over-finite-fields%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

2

$begingroup$

Indeed the elements of the factor ring $Bbb{F}_p[x]/langle ax^2+bx^2+crangle$ can be represented by the remainders by division by $ax^2+bx+c$. This is true because we can divide polynomials in $Bbb{F}_p[x]$ by $ax^2+bx+c$ with remainder. What this means is that

For every polynomial $finBbb{F}_p[x]$ there exist unique $q,rinBbb{F}_p[x]$ with $deg r<2$ such that
$$f=q(ax^2+bx+c)+r.tag{1}$$

This equality shows that $f$ and $r$ are in the same coset of $langle ax^2+bx+crangle$, and hence they are mapped to the same element of the factor ring $Bbb{F}_p[x]/langle ax^2+bx+crangle$. Hence the image of
$f$ in the factor ring is represented by $r$, and so every element of the factor ring is represented by a linear polynomial.

To see that no two linear polynomials represent the same element of $Bbb{F}_p[x]/langle ax^2+bx+crangle$, it suffices to note that the remainder $r$ in $(1)$ is unique for every $finBbb{F}_p[x]$, meaning in particular that every linear polynomial is represented only by itself.

Alternatively, if two linear polynomials $r$ and $r'$ represent the same coset of $langle ax^2+bx+crangle$ in the factor ring, then $r-r'$ is a multiple of $ax^2+bx+c$. Because $deg r-r'<deg(ax^2+bx+c)$ it follows that $r-r'=0$.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

ServaesServaes

27.8k34098

$endgroup$

add a comment | 

2

$begingroup$

Indeed the elements of the factor ring $Bbb{F}_p[x]/langle ax^2+bx^2+crangle$ can be represented by the remainders by division by $ax^2+bx+c$. This is true because we can divide polynomials in $Bbb{F}_p[x]$ by $ax^2+bx+c$ with remainder. What this means is that

For every polynomial $finBbb{F}_p[x]$ there exist unique $q,rinBbb{F}_p[x]$ with $deg r<2$ such that
$$f=q(ax^2+bx+c)+r.tag{1}$$

This equality shows that $f$ and $r$ are in the same coset of $langle ax^2+bx+crangle$, and hence they are mapped to the same element of the factor ring $Bbb{F}_p[x]/langle ax^2+bx+crangle$. Hence the image of
$f$ in the factor ring is represented by $r$, and so every element of the factor ring is represented by a linear polynomial.

To see that no two linear polynomials represent the same element of $Bbb{F}_p[x]/langle ax^2+bx+crangle$, it suffices to note that the remainder $r$ in $(1)$ is unique for every $finBbb{F}_p[x]$, meaning in particular that every linear polynomial is represented only by itself.

Alternatively, if two linear polynomials $r$ and $r'$ represent the same coset of $langle ax^2+bx+crangle$ in the factor ring, then $r-r'$ is a multiple of $ax^2+bx+c$. Because $deg r-r'<deg(ax^2+bx+c)$ it follows that $r-r'=0$.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

ServaesServaes

27.8k34098

$endgroup$

add a comment | 

$begingroup$

Indeed the elements of the factor ring $Bbb{F}_p[x]/langle ax^2+bx^2+crangle$ can be represented by the remainders by division by $ax^2+bx+c$. This is true because we can divide polynomials in $Bbb{F}_p[x]$ by $ax^2+bx+c$ with remainder. What this means is that

For every polynomial $finBbb{F}_p[x]$ there exist unique $q,rinBbb{F}_p[x]$ with $deg r<2$ such that
$$f=q(ax^2+bx+c)+r.tag{1}$$

This equality shows that $f$ and $r$ are in the same coset of $langle ax^2+bx+crangle$, and hence they are mapped to the same element of the factor ring $Bbb{F}_p[x]/langle ax^2+bx+crangle$. Hence the image of
$f$ in the factor ring is represented by $r$, and so every element of the factor ring is represented by a linear polynomial.

To see that no two linear polynomials represent the same element of $Bbb{F}_p[x]/langle ax^2+bx+crangle$, it suffices to note that the remainder $r$ in $(1)$ is unique for every $finBbb{F}_p[x]$, meaning in particular that every linear polynomial is represented only by itself.

Alternatively, if two linear polynomials $r$ and $r'$ represent the same coset of $langle ax^2+bx+crangle$ in the factor ring, then $r-r'$ is a multiple of $ax^2+bx+c$. Because $deg r-r'<deg(ax^2+bx+c)$ it follows that $r-r'=0$.

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

ServaesServaes

27.8k34098

$endgroup$

share|cite|improve this answer

edited 3 hours ago

answered 3 hours ago

ServaesServaes

27.8k34098

answered 3 hours ago

ServaesServaes

27.8k34098

answered 3 hours ago

ServaesServaes

27.8k34098

3

$begingroup$

The quotient you get is a two-dimensional vector space over your field. Can you show that any such vector space must have $p^2$ elements?

share|cite|improve this answer

answered 3 hours ago

Santana AftonSantana Afton

2,9132629

$endgroup$

add a comment | 

3

$begingroup$

The quotient you get is a two-dimensional vector space over your field. Can you show that any such vector space must have $p^2$ elements?

share|cite|improve this answer

answered 3 hours ago

Santana AftonSantana Afton

2,9132629

$endgroup$

add a comment | 

$begingroup$

The quotient you get is a two-dimensional vector space over your field. Can you show that any such vector space must have $p^2$ elements?

share|cite|improve this answer

answered 3 hours ago

Santana AftonSantana Afton

2,9132629

$endgroup$

share|cite|improve this answer

answered 3 hours ago

Santana AftonSantana Afton

2,9132629

answered 3 hours ago

Santana AftonSantana Afton

2,9132629

answered 3 hours ago

Santana AftonSantana Afton

2,9132629