| EPSRC Reference: |
EP/F017480/1 |
| Title: |
Self-similarity and the Universal Steiner Triple System |
| Principal Investigator: |
Webb, Dr BS |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematics & Computing Department (N) |
| Organisation: |
The Open University |
| Scheme: |
Overseas Travel Grants (OTGS) |
| Starts: |
01 October 2007 |
Ends: |
30 September 2009 |
Value (£): |
8,007
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
In this project we will look at a particularly interesting infinite structure. The system has proper subsystems which are identical (isomorphic) to the original system. So, inside the structure, there is a copy of itself. Furthermore it contains infinitely many of these 'copies' which are non-nested (they are in fact disjoint except for one triple). Even more interestingly when you put two of these 'copies' together inside the original structure, we make a new structure that is intuitively is more complex than the original (not isomorphic to the original). The structure seems somehow more complex than itself which seems like a paradox .... but it isn't a paradox in the infinite world. This is what makes the infinite world so fascinating.The project uses ideas from Model Theory (a branch of mathematical logic) to answer questions relating to Design Theory. Model Theory is concerned with what you can say about objects in a formal language. We usually use a language which is mathematically expressive enough to capture the essential points about objects in the language but that is as simple as possible. With the tools of Model Theory we will answer questions of self-similarity for this structure. The structure is a countably infinite Steiner triple system. Given a set, X, of v elements (v is greater than or equal to 3) together with a set B of 3-subset (triples) of X such that every 2-subset of X occurs in exactly one triple of B. Then B is called a Steiner triple system.There is much mathematics concerning finite Steiner triple systems. Interesting anomalous properties start to occur for the infinite cases, and it is these that we will investigate.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
|