I'm quite confused on how they deduced that there's a factor of f^k(x) in the minimal polynomial with k>=2 and m>=1.

m_A(x) means minimal polynomial of A, c_A(x) means characteristic poly of A, C(f) means companion matrix with characteristic poly f. The question itself is asking you to find the maximal N such that for n>N the statement is false.

https://imgur.com/a/Y994LCz

m_A(x) means minimal polynomial of A, c_A(x) means characteristic poly of A, C(f) means companion matrix with characteristic poly f. The question itself is asking you to find the maximal N such that for n>N the statement is false.

https://imgur.com/a/Y994LCz

(edited 2 months ago)

This is a bit of a ramble - I've only read a bit about this, not studied it, so I'm somewhat winging it - I didn't find it obvious.

It's also a bit close to a full solution perhaps, so I've put spoilers. Do try to just look at one bit at a time and see where it gets you, rather than rushing through to the end.

To start: if every irreducible factor only divides $m_A$ once, what can you say about the block structure of the RCFs of A & B? (Remember that they share the same minimal/characteristic polys, so they share the same factors).

So one of A and B contains a 3-block decomp of the form suggested.

It's also a bit close to a full solution perhaps, so I've put spoilers. Do try to just look at one bit at a time and see where it gets you, rather than rushing through to the end.

To start: if every irreducible factor only divides $m_A$ once, what can you say about the block structure of the RCFs of A & B? (Remember that they share the same minimal/characteristic polys, so they share the same factors).

Spoiler

Spoiler

Spoiler

Spoiler

So one of A and B contains a 3-block decomp of the form suggested.

(edited 2 months ago)

Original post by DFranklin

It's also a bit close to a full solution perhaps, so I've put spoilers. Do try to just look at one bit at a time and see where it gets you, rather than rushing through to the end.

To start: if every irreducible factor only divides $m_A$ once, what can you say about the block structure of the RCFs of A & B? (Remember that they share the same minimal/characteristic polys, so they share the same factors).

Spoiler

Spoiler

Spoiler

Spoiler

Thank you for the response, for your first statement is it because if the irreducible polys divide minimal poly A once then it implies the RCF would just have 1 block for each irreducible factor thus making the RCF of A and B equal contradicting the non similar assumption?

For the second part, isn't the companion matrix of the highest power of the irreducible factor in the minimal poly always a block in the RCF thus wouldn't k_a=k_b.

I'm a bit lost from the 3rd and 4th hints that you give. You wrote that if neither contains C(f^k_A) or C(f^k_B) for A,B respectively then A decomposes as two blocks with one of them being C(f^k_A)

(edited 2 months ago)

Original post by Student 999

Thank you for the response, for your first statement is it because if the irreducible polys divide minimal poly A once then it implies the RCF would just have 1 block for each irreducible factor thus making the RCF of A and B equal contradicting the non similar assumption?

For the second part, isn't the companion matrix of the highest power of the irreducible factor in the minimal poly always a block in the RCF thus wouldn't k_a=k_b.

I'm a bit lost from the 3rd and 4th hints that you give. You wrote that if neither contains C(f^k_A) or C(f^k_B) for A,B respectively then A decomposes as two blocks with one of them being C(f^k_A)

No, I said "of the form described" - i.e. the 3-block decomposition they were claiming exists. The point being the only way it doesn't exist is if there are only 2 blocks corresponding to powers of f.

(edited 2 months ago)

@Student 999 - having thought about it, I think you're right - both A and B must have one block corresponding to the highest power of f dividing the minimal polynomial. So that will make it a bit easier when you do the next part.

Original post by DFranklin

@Student 999 - having thought about it, I think you're right - both A and B must have one block corresponding to the highest power of f dividing the minimal polynomial. So that will make it a bit easier when you do the next part.

I’m still stuck on the first part you wrote, would you be able to hint further or tell me what the reasoning is?

Also in your last spoiler, you wrote there’s a relationship between the sum of block sizes and the multiplication that f divides m_A. I know for JCF there’s the relationship that the sum of block sizes of the same evalue is equal to it’s algebraic multiplicity but I haven’t come across anything similar related to RCF

Original post by Student 999

I’m still stuck on the first part you wrote, would you be able to hint further or tell me what the reasoning is?

Also in your last spoiler, you wrote there’s a relationship between the sum of block sizes and the multiplication that f divides m_A. I know for JCF there’s the relationship that the sum of block sizes of the same evalue is equal to it’s algebraic multiplicity but I haven’t come across anything similar related to RCF

Also in your last spoiler, you wrote there’s a relationship between the sum of block sizes and the multiplication that f divides m_A. I know for JCF there’s the relationship that the sum of block sizes of the same evalue is equal to it’s algebraic multiplicity but I haven’t come across anything similar related to RCF

No I didn't. I said c(A) not m(A).

But the sum of block sizes corresponding to the (algebraic multiplicity of f) * (Deg f) should be obvious if you think about what those blocks actually look like in the RCF. [The Deg f here is because I'm saying a simple block C(f) has size Deg f; possibly you'd just say it has size 1 and lose the Deg f).

As I said, I wasn't that familiar with this topic (and it might well be I'm getting things wrong).

Anyhow, I found this video (and successors) helpful: https://youtu.be/PEuf8E_OSB4?si=k1Gg1rFOSYVMExq4

Anyhow, I found this video (and successors) helpful: https://youtu.be/PEuf8E_OSB4?si=k1Gg1rFOSYVMExq4

- Canon slade sixth form, Bolton
- Canon Slade Bolton 2022 Sixth Form
- Canon slade or runshaw
- basic digital electronics question
- What is a rational number?
- proof alevel
- Help understanding!!
- Integration substitution - should I of used partial fractions here?
- English Literature Degree
- Photography Camera Recommendations
- A Level Maths Homework help
- Camera recommendations
- Anyone know good cameras for a beginner?
- A level English literature B NEA question
- maths help!!
- A Level English Lit B - NEA Poetry Suggestions?
- Bmo1 q5 2005
- Buddhism a level
- Commonwealth Masters Scholarship
- Make it More Camera-ey !!

- Offers Manchester - Neuroscience - 2024 uptake
- Clarendon Scholarship 2024
- Official University of Warwick Offer Holders Thread for 2024 entry
- Mathematics
- should I take bio a level after dropping an a level as a humanities student?
- Cambridge Sixth Form Law Conference
- Official: University of Bristol A100 2024 Entry Applicants
- Cas taking too long to get sent
- BPS accreditation
- Jaguar (JLR) Degree apprenticeships 2024
- Official LSE Offer Holders Thread for 2024 entry
- Official: University of Glasgow A100 2024 Entry Applicants
- Official: University of East Anglia (UEA) A104 (Gateway Year) 2024 Entry
- Amazon Apprenticeships 2024
- lnat results thread 2024
- Did anyone make any stupid mistakes in their GCSE exams?
- CIE A Level History resources + help
- Last Person To Post Here Wins (Part 54)
- Are you more likely to pass higher or foundation tier?
- UCL, LSE OR KCL for law?

- Physiotherapy Applicants 2024
- Am I qualified for student Finance
- Does anyone feel like their set in school let them down?
- LSE Anthropology and Law 2023
- MPhil/DPhil Law and Socio Legal Research- 2024
- Has someone done Architecture at uni without maths or physics
- probability tree diagram alevel year 2
- Online MSc Computer Science with Data Analytics at University of York
- Veterinary Medicine Applicant thread 2025 entry
- Introduction
- Return to education preparation
- Official London School of Economics and Political Science 2024 Applicant Thread
- How to get an A* in A Level Economics
- lloyds bank 2024 apprenticeship
- Why was I so lonely in my final years of school?
- Liverpool hope uni
- Erasmus Mundus Master in Education in Museums and Heritage
- Anyone been offered a place at Sheffield Hallam for adult nursing?
- I drank too much, and I’m really embarrassed
- AI/Plagiarism in Coursework for BTEC IT

- Mock set 4 paper 2 q14 a level maths (4 distinct points)
- UKMT Intermediate Math Challenge 2024 - Discussion
- Help with complex summation further maths a levels
- GCSE Mathematics Study Group 2023-2024
- Could I have some help with this suvat question?
- MAT practice
- A-level Mathematics Study Group 2023-2024
- Alevel Maths Question
- weird cosine question
- Series function not differentiable at a point

- hyperbolic function catenary problem
- can anyone answer this A level vectors question (very challenging)
- STEP foundation module help pls
- Ukmt IMC 2024
- ukmt imc
- This maths question is driving me crazy
- Maths Mechanics
- Confused on surds question
- HNC MATHS A2 Task 3 (Radio Transmitters)
- Senior Maths Challenge 2023

- Mock set 4 paper 2 q14 a level maths (4 distinct points)
- UKMT Intermediate Math Challenge 2024 - Discussion
- Help with complex summation further maths a levels
- GCSE Mathematics Study Group 2023-2024
- Could I have some help with this suvat question?
- MAT practice
- A-level Mathematics Study Group 2023-2024
- Alevel Maths Question
- weird cosine question
- Series function not differentiable at a point

- hyperbolic function catenary problem
- can anyone answer this A level vectors question (very challenging)
- STEP foundation module help pls
- Ukmt IMC 2024
- ukmt imc
- This maths question is driving me crazy
- Maths Mechanics
- Confused on surds question
- HNC MATHS A2 Task 3 (Radio Transmitters)
- Senior Maths Challenge 2023