WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Field extension

Revision #788 → #1219 · back to history

addedField extensione985bfc215f2
addedComplex numbers over reals638aee34b1a8
addedSubfield337ae093fadd
addedSubfield shares zero elementa6c7d8792776
addedRationals as subfield60f151a817a6
addedCharacteristic of subfield4686bd6c6421
addedExtension field552bfc5d1021
addedIntermediate field02a89f12e1a6
addedDegree of extensionf3b963f72cdf
addedTrivial, quadratic, cubic, finite extensionsef30e1ae7f39
addedMultiplicativity of degree04ab052c29f6
addedField generated, adjoin, simple extension51cfac4d03af
addedAdjunctionda7ebd2ebd43
addedPrimitive element theorem2c05b4008091
addedInfinite simple extension is rational fractions80ba989ed3bd
addedAbstract field extension as injective homomorphismbdf5de3a2bd3
addedRing homomorphisms between fields are injective02965871ad17
addedC over R over Qf6b5a15fa63a
addedQuadratic extension of Qf1e5afc8ccee
addedDegree 4 extension of Qbae3c7e0de1d
addedAlgebraic number fields and p-adics0bd0ec80f30a
addedQuotient ring construction0842ceb4ed69
addedSplitting fielda58c0e040c47
addedFinite field extensionc955f011bccf
addedRational functions fielded16736238dc
addedMeromorphic functions on Riemann surface989ab8f97898
addedAlgebraic element and minimal polynomiale5629822c744
addedAlgebraic iff simple extension finite5939d7ebfbbe
addedAlgebraic closure in L3d208be5f47a
addedAlgebraic extension10cba2145c3d
addedSimple algebraic iff finite6e72a4a87a5b
addedExistence of algebraic closure56dbdc79d70e
addedAlgebraically independent, transcendence degree, transcendence basis8c7bc9bae6ca
addedPurely transcendental extension68f0b8ae0f5d
addedPurely transcendental extension exampledf939ad7b3a3
addedFunction fields of rational varieties5c004b395a8c
addedNormal extension6e6c61174bb4
addedSeparable and Galois extension51418bd294ac
addedFinite separable has primitive elementf8e1037b0cb1
addedGalois group and abelian extension2e674cc2702e
addedFundamental theorem of Galois theory2bdfda6ffd05
addedCentral simple algebra884f8a189160
addedExtension of scalars by complexificationa16cfdf526fd