Purchase Solution

Nontrivial Central Extension

Not what you're looking for?

Ask Custom Question

Find a nontrivial central Z_2 extension of the group A_4, meaning an extension of the form:

1 --> Z_2 --> G --> A_4 --> 1

Also, is it unique?

The trivial extension is just the direct product of Z_2 and A_4.

Purchase this Solution
Solution Summary

A nontrivial central extension is dealt with.

Solution Preview

First we consider the fact that A_4 has a normal series Z_2 x Z_2/Z_3 and actually we can rewrite it as 1-->Z_2 x Z_2-->A_4-->Z_3-->1. We define the operator f: A_4-->Z_3 to be a homomorphism and then consider:
G={(a,b)in A_4xZ_6; f(a)=b'}
Where b'in Z_3 is the equivalent of b in Z_6 mapped to Z_3 (converting from mod 6 to mod 3). Now, we can see that G can be defined to have the same properties provided we consider the map G-->A_4 as h(a,b)=a and then the map Z_2-->G as k(0)=(e,0) and ...

Purchase this Solution
Free BrainMass Quizzes
Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Solving quadratic inequalities

This quiz test you on how well you are familiar with solving quadratic inequalities.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Probability Quiz

Some questions on probability

View More Free Quizzes
Related BrainMass Solutions

  • Central Extension Problem

    9177 Find a nontrivial central extension Find a nontrivial central extension 1 --> Z_2 --> G --> A_4 --> 1 meaning determine a group G. Is it unique?

  • Finite Extension Field and Isomorphism

    Suppose E is a finite/algebraic extension of R. Then E is R itself or a nontrivial extension. If it is a nontrivial extension, there is an element a in E which is not in R, and there is a real polynomial f such that f(a) = 0.

  • Transcendence basis

    Proof: From the condition, we know that is an extension field of that is an extension field of . In another word, . has transcendence degree over and is algebraic over . First, I claim that is algebraically independent over .

  • Groups : Isomorphism and Homomorphism

    15977 Groups : Isomorphism and Homomorphism Show that a group G is simple if and only if every nontrivial group homomorphism G -> G1 is one-to-one. Proof: If G is simple, then G has no nontrivial normal subgroup.

  • Solutions to First-Order Ordinary Differential Equations

    Thus we have whence , which yields a nontrivial solution for any constant . For instance, yields the nontrivial solution (3,3).

  • Problems Involving Free Groups and Free Products

    Let g be a nontrivial element of G and h be a nontrivial element of H. Assume Z is nontrivial. Then there exists an element z of Z - {e}.

  • Connected digraph proof

    This is a proof regarding Eulerian nontrivial connected digraphs.

  • Graph irregularity

    98573 A nontrivial graph G is called irregular... 1.5 A nontrivial graph G is called irregular if no two vertices of G have the same degree.

  • Matrices and Pivot Positions : Solutions for Ax+0 and Ax=b

    In problems 1-4 (a) does the equation Ax=0 have a nontrivial solution and (b) does the equation Ax=b have at least one solution for every possible b? 1) A is a 3x3 matrix with three pivot positions.

View More Related Solutions