text:
Find all School-related info fast with the new School-Specific MBA Forum

 It is currently 28 Jul 2015, 15:03

### GMAT Club Daily Prep

#### Thank you for using the timer - this advanced tool can estimate your performance and suggest more practice questions. We have subscribed you to Daily Prep Questions via email.

Customized
for You

we will pick new questions that match your level based on your Timer History

Track

every week, we’ll send you an estimated GMAT score based on your performance

Practice
Pays

we will pick new questions that match your level based on your Timer History

# Events & Promotions

###### Events & Promotions in June
Open Detailed Calendar

# A 20 kg metal bar made of alloy of tin and silver lost 2 kg

Author Message
TAGS:
SVP
Joined: 04 May 2006
Posts: 1936
Schools: CBS, Kellogg
Followers: 19

Kudos [?]: 500 [1] , given: 1

A 20 kg metal bar made of alloy of tin and silver lost 2 kg [#permalink]  14 May 2008, 01:09
1
KUDOS
6
This post was
BOOKMARKED
00:00

Difficulty:

85% (hard)

Question Stats:

56% (03:49) correct 44% (02:37) wrong based on 135 sessions
A 20 kg metal bar made of alloy of tin and silver lost 2 kg of its weight in the water. 10 kg of tin loses 1.375 kg in the water; 5 kg of silver loses 0.375 kg. What is the ratio of tin to silver in the bar?

A. 1/4
B. 2/5
C. 1/2
D. 3/5
E. 2/3
[Reveal] Spoiler: OA

_________________
Manager
Joined: 11 Apr 2008
Posts: 156
Schools: Kellogg(A), Wharton(W), Columbia(D)
Followers: 1

Kudos [?]: 55 [1] , given: 0

Re: M12-18 [#permalink]  14 May 2008, 05:00
1
KUDOS
sondenso wrote:
A 20 kg metal bar made of alloy of tin and silver lost 2 kg of its weight in the water. 10 kg of tin loses 1.375 kg in the water; 5 kg of silver loses 0.375 kg. What is the ratio of tin to silver in the bar?

1/4
2/5
1/2
3/5
2/3

10 kg tin loses 1.375 kg=> 20 kg loses 2.75 kg
5 kg sliver loses 0.375 kg=> 20 kg loses 1.5 kg
Actual loss is 2 kg.
Apply the alligation rule=>

2.75 1.5
\ /
2
/ \
0.5 0.75

ratio of tin/silver => 0.5/0.75 => 1/2/3/4 => 3/8 ???
Intern
Joined: 26 Jul 2007
Posts: 32
Followers: 0

Kudos [?]: 3 [0], given: 0

Re: M12-18 [#permalink]  14 May 2008, 08:04
Hello All,

Solution is 2/3.
How i did it :
Let x be ratio we want.
If r(s) is rate of loss for silver and r(t) that of tin, T total weigh of tin and S total weigh of silver
We have 20=T+S (equation $) and 2=r(t)*T+r(s)*S We also know r(s)=0.375/5 and r(t)=1.375/10 So 2 = r(t)*T+r(s)*S => 20= 1.375*T+0.750*S (equation £) and we know (equation$) => 1+x = 20/S
So (equation $) => x=1.375*x+0.750-1 => 0.375*x = 0.25 => x= 2/3 A little long but that's how i solved it! I'm sure there is a more simple way to do. Senior Manager Joined: 19 Apr 2008 Posts: 323 Followers: 3 Kudos [?]: 50 [0], given: 0 Re: M12-18 [#permalink] 14 May 2008, 22:45 anirudhoswal wrote: sondenso wrote: A 20 kg metal bar made of alloy of tin and silver lost 2 kg of its weight in the water. 10 kg of tin loses 1.375 kg in the water; 5 kg of silver loses 0.375 kg. What is the ratio of tin to silver in the bar? 1/4 2/5 1/2 3/5 2/3 10 kg tin loses 1.375 kg=> 20 kg loses 2.75 kg 5 kg sliver loses 0.375 kg=> 20 kg loses 1.5 kg Actual loss is 2 kg. Apply the alligation rule=> 2.75 1.5 \ / 2 / \ 0.5 0.75 ratio of tin/silver => 0.5/0.75 => 1/2/3/4 => 3/8 ??? your rule is correct , calculation is wrong . I m interested in knowing this rule , can you elaborate , when can we apply this rule? Manager Joined: 11 Apr 2008 Posts: 156 Schools: Kellogg(A), Wharton(W), Columbia(D) Followers: 1 Kudos [?]: 55 [0], given: 0 Re: M12-18 [#permalink] 15 May 2008, 00:05 rpmodi wrote: anirudhoswal wrote: sondenso wrote: A 20 kg metal bar made of alloy of tin and silver lost 2 kg of its weight in the water. 10 kg of tin loses 1.375 kg in the water; 5 kg of silver loses 0.375 kg. What is the ratio of tin to silver in the bar? 1/4 2/5 1/2 3/5 2/3 10 kg tin loses 1.375 kg=> 20 kg loses 2.75 kg 5 kg sliver loses 0.375 kg=> 20 kg loses 1.5 kg Actual loss is 2 kg. Apply the alligation rule=> 2.75 1.5 \ / 2 / \ 0.5 0.75 ratio of tin/silver => 0.5/0.75 => 1/2/3/4 => 3/8 ??? your rule is correct , calculation is wrong . I m interested in knowing this rule , can you elaborate , when can we apply this rule? Oh Crap !! obviously.. (1/2)/(3/4) = 4/6 = 2/3. What the hell will i do on the GMAT!! Neways, the rule I used is called "alligations". It is useful for quickly calculating ratios of individual components in MIXTURES. Please bear with me... I will post a more detailed expl asap. thnx. CEO Joined: 17 May 2007 Posts: 2994 Followers: 59 Kudos [?]: 488 [0], given: 210 Re: M12-18 [#permalink] 15 May 2008, 04:48 This alligations rule may help me with word translations problems for ratios and mixtures. Do you happen to have a detailed description or a link that describes it properly ? Manager Joined: 11 Apr 2008 Posts: 156 Schools: Kellogg(A), Wharton(W), Columbia(D) Followers: 1 Kudos [?]: 55 [2] , given: 0 Re: M12-18 [#permalink] 15 May 2008, 04:57 2 This post received KUDOS I have been looking for a good explanation. Unfortunately, I have found none. There is a brief mention of the method on wikipedia - http://en.wikipedia.org/wiki/Alligation Pls let me know if this explanation is satisfactory. In the menawhile I will look for a better link. Thanks. SVP Joined: 04 May 2006 Posts: 1936 Schools: CBS, Kellogg Followers: 19 Kudos [?]: 500 [0], given: 1 Re: M12-18 [#permalink] 15 May 2008, 19:42 anirudhoswal wrote: I have been looking for a good explanation. Unfortunately, I have found none. There is a brief mention of the method on wikipedia - http://en.wikipedia.org/wiki/Alligation Pls let me know if this explanation is satisfactory. In the menawhile I will look for a better link. Thanks. Many thanks anirudhoswal. The link is good, but it is somewhat difficult for me to understand. Do you have the reference that is the same way as you apply to in previous post? Thanks! OA is E _________________ Intern Joined: 27 Jun 2013 Posts: 3 Followers: 0 Kudos [?]: 1 [1] , given: 1 Re: A 20 kg metal bar made of alloy of tin and silver lost 2 kg [#permalink] 06 Aug 2013, 21:49 1 This post received KUDOS [*] sondenso wrote: A 20 kg metal bar made of alloy of tin and silver lost 2 kg of its weight in the water. 10 kg of tin loses 1.375 kg in the water; 5 kg of silver loses 0.375 kg. What is the ratio of tin to silver in the bar? 1/4 2/5 1/2 3/5 2/3 interesting question. This is my solution for the problem: 10 kg tin loses 1.375 kg => lost 13.75% its weight 5 kg Silver loses 0.375 kg => lost 7.5% of its weight Initially, 20 kg of alloy loses 2kg => 10% of its weight Call X is the weight of Tin the alloy Y is the weight of Silver in the alloy We have => X/Y = 2.5%/ 3.75% = 2/3 Very nice question! Attachments duong cheo.PNG [ 3.32 KiB | Viewed 2211 times ] Veritas Prep GMAT Instructor Joined: 16 Oct 2010 Posts: 5735 Location: Pune, India Followers: 1444 Kudos [?]: 7572 [1] , given: 186 Re: A 20 kg metal bar made of alloy of tin and silver lost 2 kg [#permalink] 09 Aug 2013, 21:32 1 This post received KUDOS Expert's post Campanella1989 wrote: [*] sondenso wrote: A 20 kg metal bar made of alloy of tin and silver lost 2 kg of its weight in the water. 10 kg of tin loses 1.375 kg in the water; 5 kg of silver loses 0.375 kg. What is the ratio of tin to silver in the bar? 1/4 2/5 1/2 3/5 2/3 interesting question. This is my solution for the problem: 10 kg tin loses 1.375 kg => lost 13.75% its weight 5 kg Silver loses 0.375 kg => lost 7.5% of its weight Initially, 20 kg of alloy loses 2kg => 10% of its weight Call X is the weight of Tin the alloy Y is the weight of Silver in the alloy We have => X/Y = 2.5%/ 3.75% = 2/3 Very nice question! Rather than using the alligation diagram, you can simply use this formula to avoid confusion: w1/w2 = (A2 - Aavg)/(Avg - A1) Weight of Tin/Weight of Silver = (Silver's loss - Avg loss)/(Avg loss - Tin's loss) X/Y = (7.5 - 10)/(10 - 13.75) = 2/3 To check out a detailed discussion on this formula, see: http://www.veritasprep.com/blog/2011/03 ... -averages/ http://www.veritasprep.com/blog/2011/04 ... ge-brutes/ _________________ Karishma Veritas Prep | GMAT Instructor My Blog Get started with Veritas Prep GMAT On Demand for$199

Veritas Prep Reviews

Senior Manager
Joined: 10 Jul 2013
Posts: 343
Followers: 3

Kudos [?]: 186 [0], given: 102

Re: A 20 kg metal bar made of alloy of tin and silver lost 2 kg [#permalink]  10 Aug 2013, 06:11
sondenso wrote:
A 20 kg metal bar made of alloy of tin and silver lost 2 kg of its weight in the water. 10 kg of tin loses 1.375 kg in the water; 5 kg of silver loses 0.375 kg. What is the ratio of tin to silver in the bar?

A. 1/4
B. 2/5
C. 1/2
D. 3/5
E. 2/3

10 kg tin loses 1.375 kg=> 20 kg loses 2.75 kg
5 kg sliver loses 0.375 kg=> 20 kg loses 1.5 kg
Actual loss is 2 kg.
Apply the alligation rule=>

2.75 1.5
\ /
2
/ \
0.5 0.75
! !
1/2 3/4

Ratio of tin/silver = (1/2) / (3/4) = 2/3
_________________

Asif vai.....

SVP
Joined: 06 Sep 2013
Posts: 2046
Concentration: Finance
GMAT 1: 770 Q0 V
Followers: 30

Kudos [?]: 322 [0], given: 355

Re: A 20 kg metal bar made of alloy of tin and silver lost 2 kg [#permalink]  09 Jan 2014, 05:43
Asifpirlo wrote:
sondenso wrote:
A 20 kg metal bar made of alloy of tin and silver lost 2 kg of its weight in the water. 10 kg of tin loses 1.375 kg in the water; 5 kg of silver loses 0.375 kg. What is the ratio of tin to silver in the bar?

A. 1/4
B. 2/5
C. 1/2
D. 3/5
E. 2/3

10 kg tin loses 1.375 kg=> 20 kg loses 2.75 kg
5 kg sliver loses 0.375 kg=> 20 kg loses 1.5 kg
Actual loss is 2 kg.
Apply the alligation rule=>

2.75 1.5
\ /
2
/ \
0.5 0.75
! !
1/2 3/4

Ratio of tin/silver = (1/2) / (3/4) = 2/3

Concept of differentials may also be aplied here

Total loss 2

Loss 20kg of tin is 2.75
Loss 20kg of silver is 1.5

Therefore 0.75T - 0.5S = 0
75T = 50S
T/S = 50/75=2/3

Hope it helps
Cheers!
J
Senior Manager
Status: Student
Joined: 26 Aug 2013
Posts: 266
Location: France
Concentration: Finance, General Management
GMAT 1: 650 Q47 V32
GPA: 3.44
Followers: 2

Kudos [?]: 40 [0], given: 401

Re: A 20 kg metal bar made of alloy of tin and silver lost 2 kg [#permalink]  24 Jan 2014, 13:44
Well, I found a tricky way for this one.

You have 20kg as a total.

A. 1/4 ==> Total 1+4=5 So can divide 20
B. 2/5 ==> Total 2+5=7 So cannot divide 20
C. 1/2 ==> Total 1+2=3 So cannot divide 20
D. 3/5 ==> Total 3+5=8 So cannot divide 20
E. 2/3 ==> Total $$1+4=5$$ So can divide 20

Therefore you have A and E.

A cannot be the answer since the ratio is to big.

But let's look at E:

$$2/3$$ of 20 is 8 and 12.

For the tin the water lose is: one kilo= $$1.375/10=0.1375$$ and for the silverthe water lose is: one kilo=$$0.375/5=0.075$$

$$(8*0.1375) + (12*0.075) = 2$$

_________________

Think outside the box

Manager
Joined: 23 May 2013
Posts: 103
Concentration: Strategy, Social Entrepreneurship
GMAT Date: 08-05-2015
Followers: 1

Kudos [?]: 49 [0], given: 29

Re: A 20 kg metal bar made of alloy of tin and silver lost 2 kg [#permalink]  21 Mar 2014, 05:44

20kg of tin loses 2.75 kg in water.
20kg of silver loses 1.5kg in water.

Some sort of combination of these metals loses 2 kg in water.

Thus,

$$2.75(x) + 1.5(1-x) = 2$$
$$2.75x + 1.5 - 1.5x = 2$$
$$1.25x = .5$$
$$x = (1/2)/(5/4) = 2/5.$$

Thus, the alloy is 2/5 tin and thus 3/5 silver, and therefore the ratio of tin to silver is 2/3.

Re: A 20 kg metal bar made of alloy of tin and silver lost 2 kg   [#permalink] 21 Mar 2014, 05:44
Similar topics Replies Last post
Similar
Topics:
2 A zinc-copper alloy with 3 kg of pure zinc would contain 90% 6 25 May 2012, 00:20
14 There are 2 bars of copper-nickel alloy. One bar has 2 parts 9 07 Jul 2011, 21:12
9 A scientist has a set of weights {1Kg, 2Kg, 4Kg, 8Kg, 16Kg, 7 01 Oct 2010, 10:19
16 A coin made of alloy of aluminum and silver measures 2 x 15 mm (it is 7 02 Aug 2010, 23:08
41 There are 2 bars of gold-silver alloy; one piece has 2 parts 25 18 Jun 2007, 18:15
Display posts from previous: Sort by


text:
# Representation theory of finite groups explained

The representation theory of groups is a part of mathematics which examines how groups act on given structures.

Here the focus is in particular on operations of groups on vector spaces. Nevertheless, groups acting on other groups or on sets are also considered. For more details, please refer to the section on permutation representations.

Other than a few marked exceptions, only finite groups will be considered in this article. We will also restrict ourselves to vector spaces over fields of characteristic zero. Because the theory of algebraically closed fields of characteristic zero is complete, a theory valid for a special algebraically closed field of characteristic zero is also valid for every other algebraically closed field of characteristic zero. Thus, without loss of generality, we can study vector spaces over

\Complex.

Representation theory is used in many parts of mathematics, as well as in quantum chemistry and physics. Among other things it is used in algebra to examine the structure of groups. There are also applications in harmonic analysis and number theory. For example, representation theory is used in the modern approach to gain new results about automorphic forms.

## Definition

### Linear representations

Let

V

be a

K

–vector space and

G

a finite group. A linear representation of

G

is a group homomorphism

\rho:G\toGL(V)=Aut(V).

Here

GL(V)

is notation for a general linear group, and

Aut(V)

for an automorphism group. This means that a linear representation is a map

\rho:G\toGL(V)

which satisfies

\rho(st)=\rho(s)\rho(t)

for all

s,t\inG.

The vector space

V

is called representation space of

G.

Often the term representation of

G

is also used for the representation space

V.

The representation of a group in a module instead of a vector space is also called a linear representation.

We write

(\rho,V\rho)

for the representation

\rho:G\toGL(V\rho)

of

G.

Sometimes we use the notation

(\rho,V)

if it is clear to which representation the space

V

belongs.

In this article we will restrict ourselves to the study of finite-dimensional representation spaces, except for the last chapter. As in most cases only a finite number of vectors in

V

is of interest, it is sufficient to study the subrepresentation generated by these vectors. The representation space of this subrepresentation is then finite-dimensional.

The degree of a representation is the dimension of its representation space

V.

The notation

\dim(\rho)

is sometimes used to denote the degree of a representation

\rho.

### Examples

The trivial representation is given by

\rho(s)=Id

for all

s\inG.

A representation of degree

1

of a group

G

is a homomorphism into the multiplicative group

\rho:G\toGL1(\Complex)=\Complex x =\Complex\setminus\{0\}.

As every element of

G

is of finite order, the values of

\rho(s)

are roots of unity. For example, let

\rho:G=\Z/4\Z\to\Complex x

be a nontrivial linear representation. Since

\rho

is a group homomorphism, it has to satisfy

\rho({0})=1.

Because

1

generates

G,\rho

is determined by its value on

\rho(1).

And as

\rho

is nontrivial,

\rho({1})\in\{i,-1,-i\}.

Thus, we achieve the result that the image of

G

under

\rho

has to be a nontrivial subgroup of the group which consists of the fourth roots of unity. In other words,

\rho

has to be one of the following three maps:

\begin{cases}\rho1({0})=1\\rho1({1})=i\\rho1({2})=-1\\rho1({3})=-i\end{cases}    \begin{cases}\rho2({0})=1\\rho2({1})=-1\\rho2({2})=1\\rho2({3})=-1\end{cases}    \begin{cases}\rho3({0})=1\\rho3({1})=-i\\rho3({2})=-1\\rho3({3})=i\end{cases}

Let

G=\Z/2\Z x \Z/2\Z

and let

\rho:G\toGL2(\Complex)

be the group homomorphism defined by:

\rho({0},{0})= \begin{pmatrix} 1&0\\ 0&1 \end{pmatrix},\rho({1},{0})= \begin{pmatrix} -1&0\\ 0&-1 \end{pmatrix},\rho({0},{1})= \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix},\rho({1},{1})=\begin{pmatrix} 0&-1\\ -1&0 \end{pmatrix}.

In this case

\rho

is a linear representation of

G

of degree

2.

#### Permutation representation

Let

X

be a finite set and let

G

be a group acting on

X.

Denote by

Aut(X)

the group of all permutations on

X

with the composition as group multiplication.

A group acting on a finite set is sometimes considered sufficient for the definition of the permutation representation. However, since we want to construct examples for linear representations - where groups act on vector spaces instead of on arbitrary finite sets - we have to proceed in a different way. In order to construct the permutation representation, we need a vector space

V

with

\dim(V)=|X|.

A basis of

V

can be indexed by the elements of

X.

The permutation representation is the group homomorphism

\rho:G\toGL(V)

given by

\rho(s)ex=es.x

for all

s\inG,x\inX.

All linear maps

\rho(s)

are uniquely defined by this property.

Example. Let

X=\{1,2,3\}

and

G=Sym(3).

Then

G

acts on

X

via

Aut(X)=G.

The associated linear representation is

\rho:G\toGL(V)\congGL3(\Complex)

with

\rho(\sigma)ex=e\sigma(x)

for

\sigma\inG,x\inX.

#### Left- and right-regular representation

Let

G

be a group and

V

be a vector space of dimension

|G|

with a basis

(et)t\in

indexed by the elements of

G.

The left-regular representation is a special case of the permutation representation by choosing

X=G.

This means

\rho(s)et=est

for all

s,t\inG.

Thus, the family

(\rho(s)e1)s\in

of images of

e1

are a basis of

V.

The degree of the left-regular representation is equal to the order of the group.

The right-regular representation is defined on the same vector space with a similar homomorphism:

\rho(s)et=e

 ts-1

.

In the same way as before

(\rho(s)e1)s\in

is a basis of

V.

Just as in the case of the left-regular representation, the degree of the right-regular representation is equal to the order of

G.

Both representations are isomorphic via

es\mapsto

 e s-1

.

For this reason they are not always set apart, and often referred to as "the" regular representation.

A closer look provides the following result: A given linear representation

\rho:G\toGL(W)

is isomorphic to the left-regular representation if and only if there exists a

w\inW,

such that

(\rho(s)w)s\in

is a basis of

W.

Example. Let

G=\Z/5\Z

and

V=\R5

with the basis

\{e0,\ldots,e4\}.

Then the left-regular representation

L\rho:G\toGL(V)

is defined by

L\rho(k)el=el+k

for

k,l\in\Z/5\Z.

The right-regular representation is defined analogously by

R\rho(k)el=el-k

for

k,l\in\Z/5\Z.

### Representations, modules and the convolution algebra

Let

G

be a finite group, let

K

be a commutative ring and let

K[G]

be the group algebra of

G

over

K.

This algebra is free and a basis can be indexed by the elements of

G.

Most often the basis is identified with

G

. Every element

f\inK[G]

can then be uniquely expressed as

f=\sums\inass

with

as\inK

.

The multiplication in

K[G]

extends that in

G

distributively.

Now let

V

be a

K

module and let

\rho:G\toGL(V)

be a linear representation of

G

in

V.

We define

sv=\rho(s)v

for all

s\inG

and

v\inV

. By linear extension

V

is endowed with the structure of a left-

K[G]

–module. Vice versa we obtain a linear representation of

G

starting from a

K[G]

–module

V

. Additionally, homomorphisms of representations are in bijective correspondence with group algebra homomorphisms. Therefore, these terms may be used interchangeably. This is an example of an isomorphism of categories.

Suppose

K=\Complex.

In this case the left

\Complex[G]

–module given by

\Complex[G]

itself corresponds to the left-regular representation. In the same way

\Complex[G]

as a right

\Complex[G]

–module corresponds to the right-regular representation.

In the following we will define the convolution algebra: Let

G

be a group, the set

L1(G):=\{f:G\to\Complex\}

is a

\Complex

–vector space with the operations addition and scalar multiplication then this vector space is isomorphic to

\Complex|G|.

The convolution of two elements

f,h\inL1(G)

defined by

f*h(s):=\sumt\inf(t)h(t-1s)

makes

L1(G)

an algebra. The algebra

L1(G)

is called the convolution algebra.

The convolution algebra is free and has a basis indexed by the group elements:

(\deltas)s\in,

where

\deltas(t)=\begin{cases}1&t=s\ 0&otherwise.\end{cases}

Using the properties of the convolution we obtain:

\deltas*\deltat=\deltast.

We define a map between

L1(G)

and

\Complex[G],

by defining

\deltas\mapstoes

on the basis

(\deltas)s\in

and extending it linearly. Obviously the prior map is bijective. A closer inspection of the convolution of two basis elements as shown in the equation above reveals that the multiplication in

L1(G)

corresponds to that in

\Complex[G].

Thus, the convolution algebra and the group algebra are isomorphic as algebras.

The involution

f*(s)=\overline{f(s-1)}

turns

L1(G)

into a

*

–algebra
. We have
 *=\delta \delta s-1

.

A representation

(\pi,V\pi)

of a group

G

extends to a

*

–algebra homomorphism

\pi:

 1(G)\toEnd(V L \pi)
by

\pi(\deltas)=\pi(s).

Since multiplicity is a characteristic property of algebra homomorphisms,

\pi

satisfies

\pi(f*h)=\pi(f)\pi(h).

If

\pi

is unitary, we also obtain

\pi(f)*=\pi(f*).

For the definition of a unitary representation, please refer to the chapter on properties. In that chapter we will see that (without loss of generality) every linear representation can be assumed to be unitary.

Using the convolution algebra we can implement a Fourier transformation on a group

G.

In the area of harmonic analysis it is shown that the following definition is consistent with the definition of the Fourier transformation on

\R.

Let

\rho:G\toGL(V\rho)

be a representation and let

f\inL1(G)

be a

\Complex

-valued function on

G

. The Fourier transform

\hat{f}(\rho)\inEnd(V\rho)

of

f

is defined as

\hat{f}(\rho)=\sums\inf(s)\rho(s).

This transformation satisfies

\widehat{f*g}(\rho)=\hat{f}(\rho)\hat{g}(\rho).

### Maps between representations

(\rho,V\rho),(\tau,V\tau)

of the same group

G

is a linear map

T:V\rho\toV\tau,

with the property that

\tau(s)\circT=T\circ\rho(s)

holds for all

s\inG.

In other words, the following diagram commutes for all

s\inG

:

Such a map is also called

G

–linear, or an equivariant map. The kernel, the image and the cokernel of

T

are defined by default. The composition of equivariant maps is again an equivariant map. There is a category of representations with equivariant maps as its morphisms. They are again

G

–modules. Thus, they provide representations of

G

due to the correlation described in the previous section.

## Irreducible representations and Schur's lemma

See main article: Schur's lemma. Let

\rho:G\toGL(V)

be a linear representation of

G.

Let

W

be a

G

-invariant subspace of

V,

that is,

\rho(s)w\inW

for all

s\inG

and

w\inW

. The restriction

\rho(s)|W

is an isomorphism of

W

onto itself. Because

\rho(s)|W\circ\rho(t)|W=\rho(st)|W

holds for all

s,t\inG,

this construction is a representation of

G

in

W.

It is called subrepresentation of

V.

Any representation V has at least two subrepresentations, namely the one consisting only of 0, and the one consisting of V itself. The representation is called an irreducible representation, if these two are the only subrepresentations. Some authors also call these representations simple, given that they are precisely the simple modules over the group algebra

\Complex[G]

.

Schur's lemma puts a strong constraint on maps between irreducible representations. If

\rho1:G\toGL(V1)

and

\rho2:G\toGL(V2)

are both irreducible, and

F:V1\toV2

is a linear map such that

\rho2(s)\circF=F\circ\rho1(s)

for all

s\inG.

, there is the following dichotomy:
• If

V1=V2

and

\rho1=\rho2,

F

is a homothety (i.e.

FId

for a

λ\in\Complex

). More generally, if

\rho1

and

\rho2

are isomorphic, the space of G-linear maps is one-dimensional.
• Otherwise, if the two representations are not isomorphic, F must be 0.

[1]

## Properties

Two representations

(\rho,V\rho),(\pi,V\pi)

are called equivalent or isomorphic, if there exists a

G

–linear vector space isomorphism between the representation spaces. In other words, they are isomorphic if there exists a bijective linear map

T:V\rho\toV\pi,

such that

T\circ\rho(s)=\pi(s)\circT

for all

s\inG.

In particular, equivalent representations have the same degree.

A representation

(\pi,V\pi)

is called faithful when

\pi

is injective. In this case

\pi

induces an isomorphism between

G

and the image

\pi(G).

As the latter is a subgroup of

GL(V\pi),

we can regard

G

via

\pi

as subgroup of

Aut(V\pi).

We can restrict the range as well as the domain:

Let

H

be a subgroup of

G.

Let

\rho

be a linear representation of

G.

We denote by

ResH(\rho)

the restriction of

\rho

to the subgroup

H.

If there is no danger of confusion, we might use only

Res(\rho)

or in short

Res\rho.

The notation

ResH(V)

or in short

Res(V)

is also used to denote the restriction of the representation

V

of

G

onto

H.

Let

f

be a function on

G.

We write

ResH(f)

or shortly

Res(f)

for the restriction to the subgroup

H.

It can be proven that the number of irreducible representations of a group

G

(or correspondingly the number of simple

\Complex[G]

–modules) equals the number of conjugacy classes of

G.

A representation is called semisimple or completely reducible if it can be written as a direct sum of irreducible representations. This is analogous to the corresponding definition for a semisimple algebra.

For the definition of the direct sum of representations please refer to the section on direct sums of representations.

A representation is called isotypic if it is a direct sum of pairwise isomorphic irreducible representations.

Let

(\rho,V\rho)

be a given representation of a group

G.

Let

\tau

be an irreducible representation of

G.

The

\tau

isotype

V\rho(\tau)

of

G

is defined as the sum of all irreducible subrepresentations of

V

isomorphic to

\tau.

Every vector space over

\Complex

can be provided with an inner product. A representation

\rho

of a group

G

in a vector space endowed with an inner product is called unitary if

\rho(s)

is unitary for every

s\inG.

This means that in particular every

\rho(s)

is diagonalizable. For more details see the article on unitary representations.

A representation is unitary with respect to a given inner product if and only if the inner product is invariant with regard to the induced operation of

G,

i.e. if and only if

(v|u)=(\rho(s)v|\rho(s)u)

holds for all

v,u\inV\rho,s\inG.

A given inner product

(|)

can be replaced by an invariant inner product by exchanging

(v|u)

with

\sumt\in(\rho(t)v|\rho(t)u).

Thus, without loss of generality we can assume that every further considered representation is unitary.

Example. Let

 2,\nu,\mu\nu,\mu G=D 6=\{id,\mu,\mu

2\nu\}

be the dihedral group of order

6

generated by

\mu,\nu

which fulfil the properties

ord(\nu)=2,ord(\mu)=3

and

\nu\mu\nu=\mu2.

Let

\rho:D6\toGL3(\Complex)

be a linear representation of

D6

defined on the generators by:

\rho(\mu)=\left(\begin{array}{ccc} \cos(

 2\pi 3

)&0&-\sin(

 2\pi 3

)\\ 0&1&0\\ \sin(

 2\pi 3

)&0&\cos(

 2\pi 3

) \end{array} \right), \rho(\nu)=\left(\begin{array}{ccc} -1&0&0\\ 0&-1&0\\ 0&0&1 \end{array} \right).

This representation is faithful. The subspace

\Complexe2

is a

D6

–invariant subspace. Thus, there exists a nontrivial subrepresentation
 \rho| \Complexe2

:

 x D 6\to\Complex
with

\nu\mapsto-1,\mu\mapsto1.

Therefore, the representation is not irreducible. The mentioned subrepresentation is of degree one and irreducible. The complementary subspace of

\Complexe2

is

D6

–invariant as well. Therefore, we obtain the subrepresentation
 \rho| \Complexe1 ⊕ \Complexe3
with

\nu\mapsto\begin{pmatrix}-1&0\\0&1\end{pmatrix},\mu\mapsto\begin{pmatrix}\cos(

 2\pi 3

)&-\sin(

 2\pi 3

)\\\sin(

 2\pi 3

)&\cos(

 2\pi 3

)\end{pmatrix}.

This subrepresentation is also irreducible. That means, the original representation is completely reducible:
 \rho=\rho| \Complexe2

 \rho| \Complexe1 ⊕ \Complexe3

.

Both subrepresentations are isotypic and are the two only non-zero isotypes of

\rho.

The representation

\rho

is unitary with regard to the standard inner product on

\Complex3,

because

\rho(\mu)

and

\rho(\nu)

are unitary.

Let

T:\Complex3\to\Complex3

be any vector space isomorphism. Then

η:D6\toGL3(\Complex),

which is defined by the equation

η(s):=T\circ\rho(s)\circT-1

for all

s\inD6,

is a representation isomorphic to

\rho.

By restricting the domain of the representation to a subgroup, e.g.

H=\{id,\mu,\mu2\},

we obtain the representation

ResH(\rho).

This representation is defined by the image

\rho(\mu),

whose explicit form is shown above.

## Constructions

### The dual representation

See main article: Dual representation.

Let

\rho:G\toGL(V)

be a given representation. The dual representation or contragredient representation

\rho*:G\toGL(V*)

is a representation of

G

in the dual vector space of

V.

It is defined by the property

\foralls\inG,v\inV,\alpha\inV*:    \left(\rho*(s)\alpha\right)(v)=\alpha\left(\rho\left(s-1\right)v\right).

With regard to the natural pairing

\langle\alpha,v\rangle:=\alpha(v)

between

V*

and

V

the definition above provides the equation:

\foralls\inG,v\inV,\alpha\inV*:    \langle\rho*(s)(\alpha),\rho(s)(v)\rangle=\langle\alpha,v\rangle.

For an example, see the main page on this topic: Dual representation.

### Direct sum of representations

Let

(\rho1,V1)

and

(\rho2,V2)

be a representation of

G1

and

G2,

respectively. The direct sum of these representations is a linear representation and is defined as

\foralls1\inG1,s2\inG2,v1\inV1,v2\inV2:    \begin{cases}\rho1 ⊕ \rho2:G1 x G2\toGL(V1V2)\\[4pt](\rho1 ⊕ \rho2)(s1,s2)(v1,v2):=\rho1(s1)v1 ⊕ \rho2(s2)v2\end{cases}

Let

\rho1,\rho2

be representations of the same group

G.

For the sake of simplicity, the direct sum of these representations is defined as a representation of

G,

i.e. it is given as

\rho1 ⊕ \rho2:G\toGL(V1 ⊕ V2),

by viewing

G

as the diagonal subgroup of

G x G.

Example. Let (here

i

and

\omega

are the imaginary unit and the primitive cube root of unity respectively):

\begin{cases}\rho1:\Z/2\Z\toGL2(\Complex)\\[4pt]\rho1(1)=\begin{pmatrix}0&-i\i&0\end{pmatrix}\end{cases}       \begin{cases}\rho2:\Z/3\Z\toGL3(\Complex)\\[6pt]\rho2(1)=\begin{pmatrix}1&0&\omega\ 0&\omega&0\ 0&0&\omega2\end{pmatrix}\end{cases}

Then

\begin{cases}\rho1 ⊕ \rho2:\Z/2\Z x \Z/3\Z\toGL\left(\Complex2 ⊕ \Complex3\right)\\[6pt]\left(\rho1 ⊕ \rho2\right)(k,l)=\begin{pmatrix}\rho1(k)&0\ 0&\rho2(l)\end{pmatrix}&k\in\Z/2\Z,l\in\Z/3\Z\end{cases}

As it is sufficient to consider the image of the generating element, we find that

(\rho1 ⊕ \rho2)(1,1)=\begin{pmatrix}0&-i&0&0&0\\ i&0&0&0&0\\ 0&0&1&0&\omega\ 0&0&0&\omega&0\ 0&0&0&0&\omega2 \end{pmatrix}

### Tensor product of representations

Let

\rho1:G1\toGL(V1),\rho2:G2\toGL(V2)

be linear representations. We define the linear representation

\rho1 ⊗ \rho2:G1 x G2\toGL(V1 ⊗ V2)

into the tensor product of

V1

and

V2

by

\rho1 ⊗ \rho2(s1,s2)=\rho1(s1)\rho2(s2),

in which

s1\inG1,s2\inG2.

This representation is called outer tensor product of the representations

\rho1

and

\rho2.

The existence and uniqueness is a consequence of the properties of the tensor product.

Example. We reexamine the example provided for the direct sum:

\begin{cases}\rho1:\Z/2\Z\toGL2(\Complex)\\[4pt]\rho1(1)=\begin{pmatrix}0&-i\i&0\end{pmatrix}\end{cases}       \begin{cases}\rho2:\Z/3\Z\toGL3(\Complex)\\[6pt]\rho2(1)=\begin{pmatrix}1&0&\omega\ 0&\omega&0\ 0&0&\omega2\end{pmatrix}\end{cases}

The outer tensor product

\begin{cases}\rho1 ⊗ \rho2:\Z/2\Z x \Z/3\Z\toGL(\Complex2 ⊗ \Complex3)\(\rho1\rho2)(k,l)=\rho1(k)\rho2(l)&k\in\Z/2\Z,l\in\Z/3\Z\end{cases}

Using the standard basis of

\Complex2 ⊗ \Complex3\cong\Complex6

we have the following for the generating element:

\rho1 ⊗ \rho2(1,1)=\rho1(1)\rho2(1)=\begin{pmatrix} 0&0&0&-i&0&-i\omega\\ 0&0&0&0&-i\omega&0\\ 0&0&0&0&0&-i\omega2\\ i&0&i\omega&0&0&0\\ 0&i\omega&0&0&0&0\\ 0&0&i\omega2&0&0&0\end{pmatrix}

Remark. Note that the direct sum and the tensor products have different degrees and hence are different representations.

Let

\rho1:G\toGL(V1),\rho2:G\toGL(V2)

be two linear representations of the same group. Let

s

be an element of

G.

Then

\rho(s)\inGL(V1 ⊗ V2)

is defined by

\rho(s)(v1 ⊗ v2)=\rho1(s)v1 ⊗ \rho2(s)v2,

for

v1\inV1,v2\inV2,

and we write

\rho(s)=\rho1(s)\rho2(s).

Then the map

s\mapsto\rho(s)

defines a linear representation of

G,

which is also called tensor product of the given representations.

These two cases have to be strictly distinguished. The first case is a representation of the group product into the tensor product of the corresponding representation spaces. The second case is a representation of the group

G

into the tensor product of two representation spaces of this one group. But this last case can be viewed as a special case of the first one by focusing on the diagonal subgroup

G x G.

This definition can be iterated a finite number of times.

Let

V

and

W

be representations of the group

G.

Then

Hom(V,W)

is a representation by virtue of the following identity:

Hom(V,W)=V*W

. Let

B\inHom(V,W)

and let

\rho

be the representation on

Hom(V,W).

Let

\rhoV

be the representation on

V

and

\rhoW

the representation on

W.

Then the identity above leads to the following result:

\rho(s)(B)v=\rhoW(s)\circB\circ\rhoV(s)v

for all

s\inG,v\inV.

Theorem. The irreducible representations of

G1 x G2

up to isomorphism are exactly the representations

\rho1 ⊗ \rho2

in which

\rho1

and

\rho2

are irreducible representations of

G1

and

G2,

respectively.

#### Symmetric and alternating square

Let

\rho:G\toVV

be a linear representation of

G.

Let

(ek)

be a basis of

V.

Define

\vartheta:VV\toVV

by extending

\vartheta(ekej)=ejek

linearly. It then holds that

\vartheta2=1

and therefore

VV

splits up into

VV=Sym2(V)Alt2(V),

in which

Sym2(V)=\{z\inVV:\vartheta(z)=z\}

Alt2(V)=wedge2V=\{z\inVV:\vartheta(z)=-z\}.

These subspaces are

G

–invariant and by this define subrepresentations which are called the symmetric square and the alternating square, respectively. These subrepresentations are also defined in

V,

although in this case they are denoted wedge product

wedgemV

and symmetric product

Symm(V).

In case that

m>2,

the vector space

V

is in general not equal to the direct sum of these two products.

## Decompositions

In order to understand representations more easily, a decomposition of the representation space into the direct sum of simpler subrepresentations would be desirable.This can be achieved for finite groups as we will see in the following results. More detailed explanations and proofs may be found in [1] and [2].

Theorem. (Maschke) Let

\rho:G\toGL(V)

be a linear representation where

V

is a vector space over a field of characteristic zero. Let

W

be a

G

-invariant subspace of

V.

Then the complement

W0

of

W

exists in

V

and is

G

-invariant.A subrepresentation and its complement determine a representation uniquely.

The following theorem will be presented in a more general way, as it provides a very beautiful result about representations of compact – and therefore also of finite – groups:

Theorem. Every linear representation of a compact group over a field of characteristic zero is a direct sum of irreducible representations.

Or in the language of

K[G]

-modules: If

char(K)=0,

the group algebra

K[G]

is semisimple, i.e. it is the direct sum of simple algebras.

Note that this decomposition is not unique. However, the number of how many times a subrepresentation isomorphic to a given irreducible representation is occurring in this decomposition is independent of the choice of decomposition.

The canonical decomposition

To achieve a unique decomposition, one has to combine all the irreducible subrepresentations that are isomorphic to each other. That means, the representation space is decomposed into a direct sum of its isotypes. This decomposition is uniquely determined. It is called the canonical decomposition.

Let

(\tauj)j\in

be the set of all irreducible representations of a group

G

up to isomorphism. Let

V

be a representation of

G

and let

\{V(\tauj)|j\inI\}

be the set of all isotypes of

V.

The projection

pj:V\toV(\tauj)

corresponding to the canonical decomposition is given by
p
 j= nj g

\sumt\in

 \overline{\chi \tauj

(t)}\rho(t),

where

nj=\dim(\tauj),

g=ord(G)

and
 \chi \tauj
is the character belonging to

\tauj.

In the following, we show how to determine the isotype to the trivial representation:

Definition (Projection formula). For every representation

(\rho,V)

of a group

G

we define

VG:=\{v\inV:\rho(s)v=v\foralls\inG\}.

In general,

\rho(s):V\toV

is not

G

-linear. We define

P:=

 1 |G|

\sums\in\rho(s)\inEnd(V).

Then

P

is a

G

-linear map, because

\forallt\inG:    \sums\in\rho(s)=\sums\in\rho(tst-1).

Proposition. The map

P

is a projection from

V

to

VG.

This proposition enables us to determine the isotype to the trivial subrepresentation of a given representation explicitly.

How often the trivial representation occurs in

V

is given by

Tr(P).

This result is a consequence of the fact that the eigenvalues of a projection are only

0

or

1

and that the eigenspace corresponding to the eigenvalue

1

is the image of the projection. Since the trace of the projection is the sum of all eigenvalues, we obtain the following result
 G)=Tr(P)= 1 |G|
\dim(V(1))=\dim(V

\sums\in\chiV(s),

in which

V(1)

denotes the isotype of the trivial representation.

Let

V\pi

be a nontrivial irreducible representation of

G.

Then the isotype to the trivial representation of

\pi

is the null space. That means the following equation holds
 P= 1 |G|

\sums\in\pi(s)=0.

Let

e1,...,en

be an orthonormal basis of

V\pi.

Then we have:

\sums\inTr(\pi(s))=\sums\in

 n \sum j=1

\langle\pi(s)ej,ej\rangle=

 n \sum j=1

\left\langle\sums\in\pi(s)ej,ej\right\rangle=0.

Therefore, the following is valid for a nontrivial irreducible representation

V

:

\sums\in\chiV(s)=0.

Example. Let

G=Per(3)

be the permutation groups in three elements. Let

\rho:Per(3)\toGL5(\Complex)

be a linear representation of

Per(3)

defined on the generating elements as follows:

\rho(1,2)= \begin{pmatrix} -1&2&0&0&0\\ 0&1&0&0&0\\ 0&0&0&1&0\\ 0&0&1&0&0\\ 0&0&0&0&1 \end{pmatrix},\rho(1,3)= \begin{pmatrix}

 1 2

&

 1 2

&0&0&0\\

 1 2

&-1&0&0&0\\ 0&0&0&0&1\\ 0&0&0&1&0\\ 0&0&1&0&0 \end{pmatrix},\rho(2,3)= \begin{pmatrix} 0&-2&0&0&0\\ -

 1 2

&0&0&0&0\\ 0&0&1&0&0\\ 0&0&0&0&1\\ 0&0&0&1&0 \end{pmatrix}.

This representation can be decomposed on first look into the left-regular representation of

Per(3),

which is denoted by

\pi

in the following, and the representation

η:Per(3)\toGL2(\Complex)

with

η(1,2)=\begin{pmatrix}-1&2\ 0&1\end{pmatrix},η(1,3)=\begin{pmatrix}

 1 2

&

 1 \ 2
 1 2

&-1\end{pmatrix},η(2,3)=\begin{pmatrix}0&-2\\-

 1 2

&0\end{pmatrix}.

With the help of the irreducibility criterion taken from the next chapter, we could realize that

η

is irreducible but

\pi

is not. This is because (in terms of the inner product from ”Inner product and characters” below) we have

(η|η)=1,(\pi|\pi)=2.

The subspace

\Complex(e1+e2+e3)

of

\Complex3

is invariant with respect to the left-regular representation. Restricted to this subspace we obtain the trivial representation.

The orthogonal complement of

\Complex(e1+e2+e3)

is

\Complex(e1-e2)\Complex(e1+e2-2e3).

Restricted to this subspace, which is also

G

–invariant as we have seen above, we obtain the representation

\tau

given by

\tau(1,2)=\begin{pmatrix}-1&0\\0&1\end{pmatrix},\tau(1,3)=\begin{pmatrix}

 1 2

&

 3 \ 2
 1 2

&-

 1 2

\end{pmatrix},\tau(2,3)=\begin{pmatrix}

 1 2

&-

 3 \ - 2
 1 2

&-

 1 2

\end{pmatrix}.

Again, we can use the irreducibility criterion of the next chapter to prove that

\tau

is irreducible. Now,

η

and

\tau

are isomorphic because

η(s)=B\circ\tau(s)\circB-1

for all

s\inPer(3),

in which

B:\Complex2\to\Complex2

is given by the matrix

MB=\begin{pmatrix}2&2\\0&2\end{pmatrix}.

A decomposition of

(\rho,\Complex5)

in irreducible subrepresentations is:

\rho=\tau ⊕ η ⊕ 1

where

1

denotes the trivial representation and

\Complex5=\Complex(e1,e2)\Complex(e3-e4,e3+e4-2e5)\Complex(e3+e4+e5)

is the corresponding decomposition of the representation space.

We obtain the canonical decomposition by combining all the isomorphic irreducible subrepresentations:

\rho1:=η ⊕ \tau

is the

\tau

-isotype of

\rho

and consequently the canonical decomposition is given by

\rho=\rho1 ⊕ 1,    \Complex5=\Complex(e1,e2,e3-e4,e3+e4-2e5)\Complex(e3+e4+e5).

The theorems above are in general not valid for infinite groups. This will be demonstrated by the following example: let

G=\{A\inGL2(\Complex)|Aisanuppertriangularmatrix\}.

Together with the matrix multiplication

G

is an infinite group.

G

acts on

\Complex2

by matrix-vector multiplication. We consider the representation

\rho(A)=A

for all

A\inG.

The subspace

\Complexe1

is a

G

-invariant subspace. However, there exists no

G

-invariant complement to this subspace. The assumption that such a complement exists would entail that every matrix is diagonalizable over

\Complex.

This is known to be wrong and thus yields a contradiction.

The moral of the story is that if we consider infinite groups, it is possible that a representation - even one that is not irreducible - can not be decomposed into a direct sum of irreducible subrepresentations.

## Character theory

See main article: Character theory.

### Definitions

The character of a representation

\rho:G\toGL(V)

is defined as the map

\chi\rho:G\to\Complex,\chi\rho(s):=Tr(\rho(s)),

in which

Tr(\rho(s))

denotes the trace of the linear map

\rho(s).

[2]

Even though the character is a map between two groups, it is not in general a group homomorphism, as the following example shows.

Let

\rho:\Z/2\Z x \Z/2\Z\toGL2(\Complex)

be the representation defined by:

\rho(0,0)= \begin{pmatrix} 1&0\\ 0&1 \end{pmatrix},\rho(1,0)= \begin{pmatrix} -1&0\\ 0&-1 \end{pmatrix},\rho(0,1)= \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix}, \rho(1,1)=\begin{pmatrix}0&-1\ -1&0\end{pmatrix}.

The character

\chi\rho

is given by

\chi\rho(0,0)=2,\chi\rho(1,0)=-2,\chi\rho(0,1)=\chi\rho(1,1)=0.

Characters of permutation representations are particularly easy to compute. If V is the G-representation corresponding to the left action of

G

on a finite set

X

, then

\chiV(s)=|\{x\inX|sx=x\}|.

R

is given by

\chiR(s)=\begin{cases}0&se\|G|&s=e\end{cases},

where

e

denotes the neutral element of

G.

### Properties

A crucial property of characters is the formula

\chi(tst-1)=\chi(s),\foralls,t\inG.

This formula follows from the fact that the trace of a product AB of two square matrices is the same as the trace of BA. Functions

G\to\Complex

satisfying such a formula are called class functions. Put differently, class functions and in particular characters are constant on each conjugacy class

Cs=\{tst-1|t\inG\}.

It also follows from elementary properties of the trace that

\chi(s)

is the sum of the eigenvalues of

\rho(s)

with multiplicity. If the degree of the representation is n, then the sum is n long. If s has order m, these eigenvalues are all m-th roots of unity. This fact can be used to show that

\chi(s-1)=\overline{\chi(s)},\foralls\inG

and it also implies

|\chi(s)|\leqslantn.

Since the trace of the identity matrix is the number of rows,

\chi(e)=n,

where

e

is the neutral element of

G

and n is the dimension of the representation. In general,

\{s\inG|\chi(s)=n\}

is a normal subgroup in

G.

The following table shows how the characters

\chi1,\chi2

of two given representations

\rho1:G\toGL(V1),\rho2:G\toGL(V2)

give rise to characters of related representations.
Characters of several standard constructions! Representation !! Character
dual representation
 * V 1
 *=\overline{\chi \chi 1}.
direct sum

V1 ⊕ V2

\chi1+\chi2.

tensor product of the representations

V1 ⊗ V2

\chi1\chi2.

symmetric square

Sym2(V)

\tfrac{1}{2}\left(\chi(s)2+\chi(s2)\right)

alternating square

wedge2V

\tfrac{1}{2}\left(\chi(s)2-\chi(s2)\right)

By construction, there is a direct sum decomposition of

VV=Sym2(V)wedge2V

. On characters, this corresponds to the fact that the sum of the last two expressions in the table is

\chi(s)2

, the character of

VV

.

### Inner product and characters

In order to show some particularly interesting results about characters, it is rewarding to consider a more general type of functions on groups:

Definition (Class functions). A function

\varphi:G\to\Complex

is called a class function if it is constant on conjugacy classes of

G

, i.e.

\foralls,t\inG:\varphi\left(sts-1\right)=\varphi(t).

Note that every character is a class function, as the trace of a matrix is preserved under conjugation.

The set of all class functions is a

\Complex

–algebra and is denoted by

\Complexclass(G)

. Its dimension is equal to the number of conjugacy classes of

G.

Proofs of the following results of this chapter may be found in [1], [2] and [3].

An inner product can be defined on the set of all class functions on a finite group:

(f|h)
 G= 1 |G|

\sumt\inf(t)\overline{h(t)}

Orthonormal property. If

\chi1,\ldots,\chik

are the distinct irreducible characters of

G

, they form an orthonormal basis for the vector space of all class functions with respect to the inner product defined above, i.e.

(\chii|\chij)=\begin{cases}1ifi=j\\0otherwise\end{cases}.

• Every class function

f

may be expressed as a unique linear combination of the irreducible characters

\chi1,\ldots,\chik

.One might verify that the irreducible characters generate

\Complexclass(G)

by showing that there exists no nonzero class function which is orthogonal to all the irreducible characters. For

\rho

a representation and

f

a class function, denote

\rhof=\sumgf(g)\rho(g).

Then for

\rho

irreducible, we have

\rhof=

 |G| n

\langlef,\chi

 * V

\rangle\inEnd(V)

from Schur's lemma. Suppose

f

is a class function which is orthogonal to all the characters. Then by the above we have

\rhof=0

whenever

\rho

is irreducible. But then it follows that

\rhof=0

for all

\rho

, by decomposability. Take

\rho

to be the regular representation. Applying

\rhof

to some particular basis element

g

, we get

f(g)=0

. Since this is true for all

g

, we have

f=0.

It follows from the orthonormal property that the number of non-isomorphic irreducible representations of a group

G

is equal to the number of conjugacy classes of

G.

Furthermore, a class function on

G

is a character of

G

if and only if it can be written as a linear combination of the distinct irreducible characters

\chij

with non-negative integer coefficients: if

\varphi

is a class function on

G

such that

\varphi=c1\chi1++ck\chik

where

cj

non-negative integers, then

\varphi

is the character of the direct sum

c1\tau1ck\tauk

of the representations

\tauj

corresponding to

\chij.

Conversely, it is always possible to write any character as a sum of irreducible characters.

The inner product defined above can be extended on the set of all

\Complex

-valued functions

L1(G)

on a finite group:
(f|h)
 G= 1 |G|

\sumt\inf(t)\overline{h(t)}

A symmetric bilinear form can also be defined on

L1(G):

\langle

f,h\rangle
 G= 1 |G|

\sumt\inf(t)h(t-1)

These two forms match on the set of characters. If there is no danger of confusion the index of both forms

(|)G

and

\langle|\rangleG

will be omitted.

Let

V1,V2

be two

\Complex[G]

–modules. Note that

\Complex[G]

–modules are simply representations of

G

. Since the orthonormal property yields the number of irreducible representations of

G

is exactly the number of its conjugacy classes, then there are exactly as many simple

\Complex[G]

–modules (up to isomorphism) as there are conjugacy classes of

G.

We define

\langleV1,V2\rangleG:=\dim

 G(V (Hom 1,V

2)),

in which
 G(V Hom 1,V

2)

is the vector space of all

G

–linear maps. This form is bilinear with respect to the direct sum.

In the following, these bilinear forms will allow us to obtain some important results with respect to the decomposition and irreducibility of representations.

For instance, let

\chi1

and

\chi2

be the characters of

V1

and

V2,

respectively. Then

\langle\chi1,\chi2\rangleG=(\chi1|\chi2)G=\langleV1,V2\rangleG.

It is possible to derive the following theorem from the results above, along with Schur's lemma and the complete reducibility of representations.

Theorem. Let

V

be a linear representation of

G

with character

\xi.

Let

V=W1 ⊕ Wk,

where

Wj

are irreducible. Let

(\tau,W)

be an irreducible representation of

G

with character

\chi.

Then the number of subrepresentations

Wj

which are isomorphic to

W

is independent of the given decomposition and is equal to the inner product

(\xi|\chi),

i.e. the

\tau

–isotype

V(\tau)

of

V

is independent of the choice of decomposition. We also get:
 (\xi|\chi)= \dim(V(\tau)) \dim(\tau)

=\langleV,W\rangle

and thus

\dim(V(\tau))=\dim(\tau)(\xi|\chi).

Corollary. Two representations with the same character are isomorphic. This means that every representation is determined by its character.

With this we obtain a very useful result to analyse representations:

Irreducibility criterion. Let

\chi

be the character of the representation

V,

then we have

(\chi|\chi)\inN0.

The case

(\chi|\chi)=1

holds if and only if

V

is irreducible.

Therefore, using the first theorem, the characters of irreducible representations of

G

form an orthonormal set on

\Complexclass(G)

with respect to this inner product.

Corollary. Let

V

be a vector space with

\dim(V)=n.

A given irreducible representation

V

of

G

is contained

n

–times in the regular representation. In other words, if

R

denotes the regular representation of

G

then we have:

R\cong

 ⊕ \dim(Wj) (W j)

,

in which

\{Wj|j\inI\}

is the set of all irreducible representations of

G

that are pairwise not isomorphic to each other.

In terms of the group algebra, this means that

\Complex[G]\congjEnd(Wj)

as algebras.

As a numerical result we get:

|G|=\chiR(e)=\dim(R)=\sumj\dim\left

 ⊕ (\chi |\chiR) Wj
((W
j)

\right)=\sumj(\chi

 Wj

|\chiR)\dim(Wj)=\sumj\dim

 2, (W j)
in which

R

is the regular representation and
 \chi Wj
and

\chiR

are corresponding characters to

Wj

and

R,

respectively. Recall that

e

denotes the neutral element of the group.

This formula is a "necessary and sufficient" condition for the problem of classifying the irreducible representations of a group up to isomorphism. It provides us with the means to check whether we found all the isomorphism classes of irreducible representations of a group.

Similarly, by using the character of the regular representation evaluated at

se,

we get the equation:

0=\chiR(s)=\sumj\dim(Wj)\chi

 Wj

(s).

Using the description of representations via the convolution algebra we achieve an equivalent formulation of these equations:

The Fourier inversion formula:

 f(s)= 1 |G|

\sum\rho\dim

 -1 (V \rho) ⋅ Tr(\rho(s

)\hat{f}(\rho)).

In addition, the Plancherel formula holds:

\sums\inf(s-1)h(s)=

 1 |G|

\sum\rho\dim(V\rho)Tr(\hat{f}(\rho)\hat{h}(\rho)).

In both formulas

(\rho,V\rho)

is a linear representation of a group

G,s\inG

and

f,h\inL1(G).

The corollary above has an additional consequence:

Lemma. Let

G

be a group. Then the following is equivalent:

G

is abelian.
• Every function on

G

is a class function.
• All irreducible representations of

G

have degree

1.

## The induced representation

See main article: Induced representation.

As was shown in the section on properties of linear representations, we can - by restriction - obtain a representation of a subgroup starting from a representation of a group. Naturally we are interested in the reverse process: Is it possible to obtain the representation of a group starting from a representation of a subgroup? We will see that the induced representation defined below provides us with the necessary concept. Admittedly, this construction is not inverse but rather adjoint to the restriction.

### Definitions

Let

\rho:G\toGL(V\rho)

be a linear representation of

G.

Let

H

be a subgroup and

\rho|H

the restriction. Let

W

be a subrepresentation of

\rhoH.

We write

\theta:H\toGL(W)

to denote this representation. Let

s\inG.

The vector space

\rho(s)(W)

depends only on the left coset

sH

of

s.

Let

R

be a representative system of

G/H,

then

\sumr\in\rho(r)(W)

is a subrepresentation of

V\rho.

A representation

\rho

of

G

in

V\rho

is called induced by the representation

\theta

of

H

in

W,

if

V\rho=oplusr\inWr.

Here

R

denotes a representative system of

G/H

and

Wr=\rho(s)(W)

for all

s\inrH

and for all

r\inR.

In other words: the representation

(\rho,V\rho)

is induced by

(\theta,W),

if every

v\inV\rho

can be written uniquely as

\sumr\inwr,

where

wr\inWr

for every

r\inR.

We denote the representation

\rho

of

G

which is induced by the representation

\theta

of

H

as
 G \rho=Ind H(\theta),
or in short

\rho=Ind(\theta),

if there is no danger of confusion. The representation space itself is frequently used instead of the representation map, i.e.
 G V=Ind H(W),
or

V=Ind(W),

if the representation

V

is induced by

W.

#### Alternative description of the induced representation

By using the group algebra we obtain an alternative description of the induced representation:

Let

G

be a group,

V

a

\Complex[G]

–module and

W

a

\Complex[H]

–submodule of

V

corresponding to the subgroup

H

of

G.

We say that

V

is induced by

W

if

V=\Complex[G]\Complex[H]W,

in which

G

acts on the first factor:

s(etw)=estw

for all

s,t\inG,w\inW.

### Properties

The results introduced in this section will be presented without proof. These may be found in [1] and [2].

Uniqueness and existence of the induced representation. Let

(\theta,W\theta)

be a linear representation of a subgroup

H

of

G.

Then there exists a linear representation

(\rho,V\rho)

of

G,

which is induced by

(\theta,W\theta).

Note that this representation is unique up to isomorphism.

Transitivity of induction. Let

W

be a representation of

H

and let

H\leqG\leqK

be an ascending series of groups. Then we have
 K Ind H(W).

Lemma. Let

(\rho,V\rho)

be induced by

(\theta,W\theta)

and let

\rho':G\toGL(V')

be a linear representation of

G.

Now let

F:W\theta\toV'

be a linear map satisfying the property that

F\circ\theta(t)=\rho'(t)\circF

for all

t\inG.

Then there exists a uniquely determined linear map

F':V\rho\toV',

which extends

F

and for which

F'\circ\rho(s)=\rho'(s)\circF'

is valid for all

s\inG.

This means that if we interpret

V'

as a

\Complex[G]

–module, we have
 H(W Hom \theta,V')

\cong

 G(V Hom \rho,V'),
where
 G(V Hom \rho,V')
is the vector space of all

\Complex[G]

–homomorphisms of

V\rho

to

V'.

The same is valid for
 H(W Hom \theta,V').

Induction on class functions. In the same way as it was done with representations, we can - by induction - obtain a class function on the group from a class function on a subgroup. Let

\varphi

be a class function on

H.

We define a function

\varphi'

on

G

by
 \varphi'(s)= 1 |H|
 \sum t\inG\atopt-1st\inH

\varphi(t-1st).

We say

\varphi'

is induced by

\varphi

and write
 G Ind H(\varphi)=\varphi'
or

Ind(\varphi)=\varphi'.

Proposition. The function

Ind(\varphi)

is a class function on

G.

If

\varphi

is the character of a representation

W

of

H,

then

Ind(\varphi)

is the character of the induced representation

Ind(W)

of

G.

Lemma. If

\psi

is a class function on

H

and

\varphi

is a class function on

G,

then we have:

Ind(\psiRes\varphi)=(Ind\psi)\varphi.

Theorem. Let

(\rho,V\rho)

be the representation of

G

induced by the representation

(\theta,W\theta)

of the subgroup

H.

Let

\chi\rho

and

\chi\theta

be the corresponding characters. Let

R

be a representative system of

G/H.

The induced character is given by

\forallt\inG:    \chi\rho(t)=\sum

 r\inR,\atopr-1tr\inH

\chi\theta(r-1tr)=

 1 |H|
 \sum s\inG,\atops-1ts\inH
 -1 \chi \theta(s

ts).

### Frobenius reciprocity

See main article: Frobenius reciprocity. As a preemptive summary, the lesson to take from Frobenius reciprocity is that the maps

Res

and

Ind

Let

W

be an irreducible representation of

H

and let

V

be an irreducible representation of

G,

then the Frobenius reciprocity tells us that

W

is contained in

Res(V)

as often as

Ind(W)

is contained in

V.

Frobenius reciprocity. If

\psi\in\Complexclass(H)

and

\varphi\in\Complexclass(G)

we have

\langle\psi,Res(\varphi)\rangleH=\langleInd(\psi),\varphi\rangleG.

This statement is also valid for the inner product.

### Mackey's irreducibility criterion

George Mackey established a criterion to verify the irreducibility of induced representations. For this we will first need some definitions and some specifications with respect to the notation.

Two representations

V1

and

V2

of a group

G

are called disjoint, if they have no irreducible component in common, i.e. if

\langleV1,V2\rangleG=0.

Let

G

be a group and let

H

be a subgroup. We define
 -1 H s=sHs

\capH

for

s\inG.

Let

(\rho,W)

be a representation of the subgroup

H.

This defines by restriction a representation
 Res Hs

(\rho)

of

Hs.

We write

Ress(\rho)

for
 Res Hs

(\rho).

We also define another representation

\rhos

of

Hs

by

\rhos(t)=\rho(s-1ts).

These two representations are not to be confused.

Mackey's irreducibility criterion. The induced representation

 G V=Ind H(W)
is irreducible if and only if the following conditions are satisfied:

W

is irreducible
• For each

s\inG\setminusH

the two representations

\rhos

and

Ress(\rho)

of

Hs

are disjoint.[4]

For the case of

H

normal, we have

Hs=H

and

Ress(\rho)=\rho

. Thus we obtain the following:

Corollary. Let

H

be a normal subgroup of

G.

Then
 G Ind H(\rho)
is irreducible if and only if

\rho

is irreducible and not isomorphic to the conjugates

\rhos

for

s\notinH.

### Applications to special groups

In this section we present some applications of the so far presented theory to normal subgroups and to a special group, the semidirect product of a subgroup with an abelian normal subgroup.

Proposition. Let

A

be a normal subgroup of the group

G

and let

\rho:G\toGL(V)

be an irreducible representation of

G.

Then one of the following statements has to be valid:
• either there exists a proper subgroup

H

of

G

containing

A

, and an irreducible representation

η

of

H

which induces

\rho

,
• or

V

is an isotypic

CA

-module.

Proof. Consider

V

as an

CA

-module, and decompose it into isotypes as

V=oplusj{Vj}

. If this decomposition is trivial, we are in the second case. Otherwise, the larger

G

-action permutes these isotypic modules; because

V

is irreducible as a

CG

-module, the permutation action is transitive (in fact primitive). Fix any

j

; the stabilizer in

G

of

Vj

is elementarily seen to exhibit the claimed properties.

\Box

Note that if

A

is abelian, then the isotypic modules of

A

are irreducible, of degree one, and all homotheties.

We obtain also the following

Corollary. Let

A

be an abelian normal subgroup of

G

and let

\tau

be any irreducible representation of

G.

We denote with

(G:A)

the index of

A

in

G.

Then

\deg(\tau)|(G:A).

[1]

If

A

is an abelian subgroup of

G

(not necessarily normal), generally

\deg(\tau)|(G:A)

is not satisfied, but nevertheless

\deg(\tau)\leq(G:A)

is still valid.

#### Classification of representations of a semidirect product

In the following, let

G=A\rtimesH

be a semidirect product such that the normal semidirect factor,

A

, is abelian. The irreducible representations of such a group

G,

can be classified by showing that all irreducible representations of

G

can be constructed from certain subgroups of

H

. This is the so-called method of “little groups” of Wigner and Mackey.

Since

A

is abelian, the irreducible characters of

A

have degree one and form the group

\Chi=Hom(A,\Complex x ).

The group

G

acts on

\Chi

by

(s\chi)(a)=\chi(s-1as)

for

s\inG,\chi\in\Chi,a\inA.

Let

(\chij)j\in

be a representative system of the orbit of

H

in

\Chi.

For every

j\in\Chi/H

let

Hj=\{t\inH:t\chij=\chij\}.

This is a subgroup of

H.

Let

Gj=AHj

be the corresponding subgroup of

G.

We now extend the function

\chij

onto

Gj

by

\chij(at)=\chij(a)

for

a\inA,t\inHj.

Thus,

\chij

is a class function on

Gj.

Moreover, since

t\chij=\chij

for all

t\inHj,

it can be shown that

\chij

is a group homomorphism from

Gj

to

\Complex x .

Therefore, we have a representation of

Gj

of degree one which is equal to its own character.

Let now

\rho

be an irreducible representation of

Hj.

Then we obtain an irreducible representation

\tilde{\rho}

of

Gj,

by combining

\rho

with the canonical projection

Gj\toHj.

Finally, we construct the tensor product of

\chij

and

\tilde{\rho}.

Thus, we obtain an irreducible representation

\chij\tilde{\rho}

of

Gj.

To finally obtain the classification of the irreducible representations of

G

we use the representation

\thetaj,\rho

of

G,

which is induced by the tensor product

\chij\tilde{\rho}.

Thus, we achieve the following result:

Proposition.

\thetaj,\rho

is irreducible.
• If

\thetaj,\rho

and

\thetaj',\rho'

are isomorphic, then

j=j'

\rho

is isomorphic to

\rho'.

• Every irreducible representation of

G

is isomorphic to one of the

\thetaj,\rho.

Amongst others, the criterion of Mackey and a conclusion based on the Frobenius reciprocity are needed for the proof of the proposition. Further details may be found in [1].

In other words, we classified all irreducible representations of

G=A\rtimesH.

## Representation ring

The representation ring of

G

is defined as the abelian group

R(G)=\left\{\left.

 m \sum j=1

aj\tauj\right|\tau1,\ldots,\taumallirreduciblerepresentationsofGuptoisomorphism,aj\in\Z\right\}.

With the multiplication provided by the tensor product,

R(G)

becomes a ring. The elements of

R(G)

are called virtual representations.

The character defines a ring homomorphism in the set of all class functions on

G

with complex values

\begin{cases}\chi:R(G)\to\Complexclass(G)\\sumaj\tauj\mapsto\sumaj\chij\end{cases}

in which the

\chij

are the irreducible characters corresponding to the

\tauj.

Because a representation is determined by its character,

\chi

is injective. The images of

\chi

are called virtual characters.

As the irreducible characters form an orthonormal basis of

\Complexclass,\chi

induces an isomorphism

\chi\Complex:R(G)\Complex\to\Complexclass(G).

This isomorphism is defined on a basis out of elementary tensors

(\tauj ⊗ 1)j=1,\ldots,

by

\chi\Complex(\tauj ⊗ 1)=\chij

respectively

\chi\Complex(\taujz)=z\chij,

and extended bilinearly.

We write

l{R}+(G)

for the set of all characters of

G

and

l{R}(G)

to denote the group generated by

l{R}+(G),

i.e. the set of all differences of two characters. It then holds that

l{R}(G)=\Z\chi1 ⊕ \Z\chim

and

l{R}(G)=Im(\chi)=\chi(R(G)).

Thus, we have

R(G)\congl{R}(G)

and the virtual characters correspond to the virtual representations in an optimal manner.

Since

l{R}(G)=Im(\chi)

holds,

l{R}(G)

is the set of all virtual characters. As the product of two characters provides another character,

l{R}(G)

is a subring of the ring

\Complexclass(G)

of all class functions on

G.

Because the

\chii

form a basis of

\Complexclass(G)

we obtain, just as in the case of

R(G),

an isomorphism

\Complexl{R}(G)\cong\Complexclass(G).

Let

H

be a subgroup of

G.

The restriction thus defines a ring homomorphism

l{R}(G)\tol{R}(H),\phi\mapsto\phi|H,

which will be denoted by
 G Res H
or

Res.

Likewise, the induction on class functions defines a homomorphism of abelian groups

l{R}(H)\tol{R}(G),

which will be written as
 G Ind H
or in short

Ind.

According to the Frobenius reciprocity, these two homomorphisms are adjoint with respect to the bilinear forms

\langle,\rangleH

and

\langle,\rangleG.

Furthermore, the formula

Ind(\varphiRes(\psi))=Ind(\varphi)\psi

shows that the image of

Ind:l{R}(H)\tol{R}(G)

is an ideal of the ring

l{R}(G).

By the restriction of representations, the map

Res

can be defined analogously for

R(G),

and by the induction we obtain the map

Ind

for

R(G).

Due to the Frobenius reciprocity, we get the result that these maps are adjoint to each other and that the image

Im(Ind)=Ind(R(H))

is an ideal of the ring

R(G).

If

A

is a commutative ring, the homomorphisms

Res

and

Ind

may be extended to

A

–linear maps:

\begin{cases} ARes:AR(G)\toAR(H)\\ \left(a\sumaj\tauj\right)\mapsto\left(a\sumajRes(\tauj)\right) \end{cases},    \begin{cases} AInd:AR(H)\toAR(G)\\ \left(a\sumajηj\right)\mapsto\left(a\sumajInd(ηj)\right) \end{cases}

in which

ηj

are all the irreducible representations of

H

up to isomorphism.

With

A=\Complex

we obtain in particular that

Ind

and

Res

supply homomorphisms between

\Complexclass(G)

and

\Complexclass(H).

Let

G1

and

G2

be two groups with respective representations

(\rho1,V1)

and

(\rho2,V2).

Then,

\rho1 ⊗ \rho2

is the representation of the direct product

G1 x G2

as was shown in a previous section. Another result of that section was that all irreducible representations of

G1 x G2

are exactly the representations

η1 ⊗ η2,

where

η1

and

η2

are irreducible representations of

G1

and

G2,

respectively. This passes over to the representation ring as the identity

R(G1 x G2)=R(G1)\ZR(G2),

in which

R(G1)\ZR(G2)

is the tensor product of the representation rings as

\Z

–modules.

## Induction theorems

Induction theorems relate the representation ring of a given finite group G to representation rings of a family X consisting of some subsets H of G. More precisely, for such a collection of subgroups, the induction functor yields a map

\varphi:Ind:oplusH\inl{R}(H)\tol{R}(G)

induction theorems give criteria for the surjectivity of this map or closely related ones.Artin's induction theorem is the most elementary theorem in this group of results. It asserts that the following are equivalent:

\varphi

is finite.

G

is the union of the conjugates of the subgroups belonging to

X,

i.e.

G=cupH\insHs-1.

Since

l{R}(G)

is finitely generated as a group, the first point can be rephrased as follows:
• For each character

\chi

of

G,

there exist virtual characters

\chiH\inl{R}(H),H\inX

and an integer

d\geq1,

such that

d\chi=\sumH\in

 G Ind H(\chi

H).

gives two proofs of this theorem. For example, since G is the union of its cyclic subgroups, every character of

G

is a linear combination with rational coefficients of characters induced by characters of cyclic subgroups of

G.

Since the representations of cyclic groups are well-understood, in particular the irreducible representations are one-dimensional, this gives a certain control over representations of G.

Under the above circumstances, it is not in general true that

\varphi

is surjective. Brauer's induction theorem asserts that

\varphi

is surjective, provided that X is the family of all elementary subgroups.Here a group H is elementary if there is some prime p such that H is the direct product of a cyclic group of order prime to

p

and a

p

–group
.In other words, every character of

G

is a linear combination with integer coefficients of characters induced by characters of elementary subgroups.The elementary subgroups H arising in Brauer's theorem have a richer representation theory than cyclic groups, they at least have the property that any irreducible representation for such H is induced by a one-dimensional representation of a (necessarily also elementary) subgroup

K\subsetH

. (This latter property can be shown to hold for any supersolvable group, which includes nilpotent groups and, in particular, elementary groups.) This ability to induce representations from degree 1 representations has some further consequences in the representation theory of finite groups.

## Real representations

\Complex

If a group

G

acts on a real vector space

V0,

the corresponding representation on the complex vector space

V=V0 ⊗ \R\Complex

is called real (

V

is called the complexification of

V0

). The corresponding representation mentioned above is given by

s(v0 ⊗ z)=(sv0)z

for all

s\inG,v0\inV0,z\in\Complex.

Let

\rho

be a real representation. The linear map

\rho(s)

is

\R

-valued for all

s\inG.

Thus, we can conclude that the character of a real representation is always real-valued. But not every representation with a real-valued character is real. To make this clear, let

G

be a finite, non-abelian subgroup of the group

SU(2)=\left\{\begin{pmatrix}a&b\ -\overline{b}&\overline{a}\end{pmatrix}:|a|2+|b|2=1\right\}.

Then

G\subsetSU(2)

acts on

V=\Complex2.

Since the trace of any matrix in

SU(2)

is real, the character of the representation is real-valued. Suppose

\rho

is a real representation, then

\rho(G)

would consist only of real-valued matrices. Thus,

G\subsetSU(2)\capGL2(\R)=SO(2)=S1.

However the circle group is abelian but

G

was chosen to be a non-abelian group. Now we only need to prove the existence of a non-abelian, finite subgroup of

SU(2).

To find such a group, observe that

SU(2)

can be identified with the units of the quaternions. Now let

G=\{\pm1,\pmi,\pmj,\pmij\}.

The following two-dimensional representation of

G

is not real-valued, but has a real-valued character:

\begin{cases}\rho:G\toGL2(\Complex)\\[4pt]\rho(\pm1)=\begin{pmatrix}\pm1&0\\0&\pm1\end{pmatrix},\rho(\pmi)=\begin{pmatrix}\pmi&0\\0&\mpi\end{pmatrix},\rho(\pmj)=\begin{pmatrix}0&\pmi\\pmi&0\end{pmatrix}\end{cases}

Then the image of

\rho

is not real-valued, but nevertheless it is a subset of

SU(2).

Thus, the character of the representation is real.

Lemma. An irreducible representation

V

of

G

is real if and only if there exists a nondegenerate symmetric bilinear form

B

on

V

preserved by

G.

An irreducible representation of

G

on a real vector space can become reducible when extending the field to

\Complex.

For example, the following real representation of the cyclic group is reducible when considered over

\Complex

\begin{cases}\rho:\Z/m\Z\toGL2(\R)\\[4pt]\rho(k)=\begin{pmatrix}\cos\left(

 2\piik m

\right)&\sin\left(

 2\piik m

\right)\ -\sin\left(

 2\piik m

\right)&\cos\left(

 2\piik m

\right)\end{pmatrix}\end{cases}

Therefore, by classifying all the irreducible representations that are real over

\Complex,

we still haven't classified all the irreducible real representations. But we achieve the following:

Let

V0

be a real vector space. Let

G

act irreducibly on

V0

and let

V=V0 ⊗ \Complex.

If

V

is not irreducible, there are exactly two irreducible factors which are complex conjugate representations of

G.

Definition. A quaternionic representation is a (complex) representation

V,

which possesses a

G

–invariant anti-linear homomorphism

J:V\toV

satisfying

J2=-Id.

Thus, a skew-symmetric, nondegenerate

G

–invariant bilinear form defines a quaternionic structure on

V.

Theorem. An irreducible representation

V

is one and only one of the following:

(i) complex:

\chiV

is not real-valued and there exists no

G

–invariant nondegenerate bilinear form on

V.

(ii) real:

V=V0 ⊗ \Complex,

a real representation;

V

has a

G

–invariant nondegenerate symmetric bilinear form.

(iii) quaternionic:

\chiV

is real, but

V

is not real;

V

has a

G

–invariant skew-symmetric nondegenerate bilinear form.

## Representations of particular groups

### Symmetric groups

See main article: Representation theory of the symmetric group. Representation of the symmetric groups

Sn

have been intensely studied. Conjugacy classes in

Sn

(and therefore, by the above, irreducible representations) correspond to partitions of n. For example,

S3

has three irreducible representations, corresponding to the partitions

3; 2+1; 1+1+1

of 3. For such a partition, a Young tableau is a graphical device depicting a partition. The irreducible representation corresponding to such a partition (or Young tableau) is called a Specht module.

Representations of different symmetric groups are related: any representation of

Sn x Sm

yields a representation of

Sn+m

by induction, and vice versa by restriction. The direct sum of all these representation rings

oplusnR(Sn)

inherits from these constructions the structure of a Hopf algebra which, it turns out, is closely related to symmetric functions.

### Finite groups of Lie type

To a certain extent, the representations of the

GLn(Fq)

, as n varies, have a similar flavor as for the

Sn

; the above-mentioned induction process gets replaced by so-called parabolic induction. However, unlike for

Sn

, where all representations can be obtained by induction of trivial representations, this is not true for

GLn(Fq)

. Instead, new building blocks, known as cuspidal representations, are needed.

Representations of

GLn(Fq)

and more generally, representations of finite groups of Lie type have been thoroughly studied. describes the representations of

SL2(Fq)

. A geometric description of irreducible representations of such groups, including the above-mentioned cuspidal representations, is obtained by Deligne-Lusztig theory, which constructs such representation in the l-adic cohomology of Deligne-Lusztig varieties.

The similarity of the representation theory of

Sn

and

GLn(Fq)

goes beyond finite groups. The philosophy of cusp forms highlights the kinship of representation theoretic aspects of these types of groups with general linear groups of local fields such as Qp and of the ring of adeles, see .

## Outlook—Representations of compact groups

The theory of representations of compact groups may be, to some degree, extended to locally compact groups. The representation theory unfolds in this context great importance for harmonic analysis and the study of automorphic forms. For proofs, further information and for a more detailed insight which is beyond the scope of this chapter please consult [4] and [5].

### Definition and properties

A topological group is a group together with a topology with respect to which the group composition and the inversion are continuous.Such a group is called compact, if any cover of

G,

which is open in the topology, has a finite subcover. Closed subgroups of a compact group are compact again.

Let

G

be a compact group and let

V

be a finite-dimensional

\Complex

–vector space. A linear representation of

G

to

V

is a continuous group homomorphism

\rho:G\toGL(V),

i.e.

\rho(s)v

is a continuous function in the two variables

s\inG

and

v\inV.

A linear representation of

G

into a Banach space

V

is defined to be a continuous group homomorphism of

G

into the set of all bijective bounded linear operators on

V

with a continuous inverse. Since

\pi(g)-1=\pi(g-1),

we can do without the last requirement. In the following, we will consider in particular representations of compact groups in Hilbert spaces.

Just as with finite groups, we can define the group algebra and the convolution algebra. However, the group algebra provides no helpful information in the case of infinite groups, because the continuity condition gets lost during the construction. Instead the convolution algebra

L1(G)

takes its place.

Most properties of representations of finite groups can be transferred with appropriate changes to compact groups. For this we need a counterpart to the summation over a finite group:

### Existence and uniqueness of the Haar measure

On a compact group

G

there exists exactly one measure

dt,

such that:
• It is a left-translation-invariant measure

\foralls\inG:\intGf(t)dt=\intGf(st)dt.

• The whole group has unit measure:

\intGdt=1,

Such a left-translation-invariant, normed measure is called Haar measure of the group

G.

Since

G

is compact, it is possible to show that this measure is also right-translation-invariant, i.e. it also applies

\foralls\inG:\intGf(t)dt=\intGf(ts)dt.

By the scaling above the Haar measure on a finite group is given by

dt(s)=\tfrac{1}{|G|}

for all

s\inG.

All the definitions to representations of finite groups that are mentioned in the section ”Properties”, also apply to representations of compact groups. But there are some modifications needed:

To define a subrepresentation we now need a closed subspace. This was not necessary for finite-dimensional representation spaces, because in this case every subspace is already closed. Furthermore, two representations

\rho,\pi

of a compact group

G

are called equivalent, if there exists a bijective, continuous, linear operator

T

between the representation spaces whose inverse is also continuous and which satisfies

T\circ\rho(s)=\pi(s)\circT

for all

s\inG.

If

T

is unitary, the two representations are called unitary equivalent.

To obtain a

G

–invariant inner product from a not

G

–invariant, we now have to use the integral over

G

(|)

is an inner product on a Hilbert space

V,

which is not invariant with respect to the representation

\rho

of

G,

then

(v|u)\rho=\intG(\rho(t)v|\rho(t)u)dt

is a

G

–invariant inner product on

V

due to the properties of the Haar measure

dt.

Thus, we can assume every representation on a Hilbert space to be unitary.

Let

G

be a compact group and let

s\inG.

Let

L2(G)

be the Hilbert space of the square integrable functions on

G.

We define the operator

Ls

on this space by
 -1 L s\Phi(t)=\Phi(s

t),

where

\Phi\inL2(G),t\inG.

The map

s\mapstoLs

is a unitary representation of

G.

It is called left-regular representation. The right-regular representation is defined similarly. As the Haar measure of

G

is also right-translation-invariant, the operator

Rs

on

L2(G)

is given by

Rs\Phi(t)=\Phi(ts).

The right-regular representation is then the unitary representation given by

s\mapstoRs.

The two representations

s\mapstoLs

and

s\mapstoRs

are dual to each other.

If

G

is infinite, these representations have no finite degree. The left- and right-regular representation as defined at the beginning are isomorphic to the left- and right-regular representation as defined above, if the group

G

is finite. This is due to the fact that in this case

L2(G)\congL1(G)\cong\Complex[G].

### Constructions and decompositions

The different ways of constructing new representations from given ones can be used for compact groups as well, except for the dual representation with which we will deal later. The direct sum and the tensor product with a finite number of summands/factors are defined in exactly the same way as for finite groups. This is also the case for the symmetric and alternating square. However, we need a Haar measure on the direct product of compact groups in order to extend the theorem saying that the irreducible representations of the product of two groups are (up to isomorphism) exactly the tensor product of the irreducible representations of the factor groups. First, we note that the direct product

G1 x G2

of two compact groups is again a compact group when provided with the product topology. The Haar measure on the direct product is then given by the product of the Haar measures on the factor groups.

V'

of the vector space

V.

This is the vector space of all continuous linear functionals from the vector space

V

into the base field. Let

\pi

be a representation of a compact group

G

in

V.

The dual representation

\pi':G\toGL(V')

is defined by the property

\forallv\inV,\forallv'\inV',\foralls\inG:    \left\langle\pi'(s)v',\pi(s)v\right\rangle=\langlev',v\rangle:=v'(v).

Thus, we can conclude that the dual representation is given by

\pi'(s)v'=v'\circ\pi(s-1)

for all

v'\inV',s\inG.

The map

\pi'

is again a continuous group homomorphism and thus a representation.

On Hilbert spaces:

\pi

is irreducible if and only if

\pi'

is irreducible.

By transferring the results of the section decompositions to compact groups, we obtain the following theorems:

Theorem. Every irreducible representation

(\tau,V\tau)

of a compact group into a Hilbert space is finite-dimensional and there exists an inner product on

V\tau

such that

\tau

is unitary. Since the Haar measure is normalized, this inner product is unique.

Every representation of a compact group is isomorphic to a direct Hilbert sum of irreducible representations.

Let

(\rho,V\rho)

be a unitary representation of the compact group

G.

Just as for finite groups we define for an irreducible representation

(\tau,V\tau)

the isotype or isotypic component in

\rho

to be the subspace

V\rho(\tau)=\sum

 V\tau\congU\subsetV\rho

U.

This is the sum of all invariant closed subspaces

U,

which are

G

–isomorphic to

V\tau.

Note that the isotypes of not equivalent irreducible representations are pairwise orthogonal.

Theorem.

(i)

V\rho(\tau)

is a closed invariant subspace of

V\rho.

(ii)

V\rho(\tau)

is

G

–isomorphic to the direct sum of copies of

V\tau.

(iii) Canonical decomposition:

V\rho

is the direct Hilbert sum of the isotypes

V\rho(\tau),

in which

\tau

passes through all the isomorphism classes of the irreducible representations.

The corresponding projection to the canonical decomposition

p\tau:V\toV(\tau),

in which

V(\tau)

is an isotype of

V,

is for compact groups given by

p\tau(v)=n\tau\intG\overline{\chi\tau(t)}\rho(t)(v)dt,

where

n\tau=\dim(V(\tau))

and

\chi\tau

is the character corresponding to the irreducible representation

\tau.

#### Projection formula

For every representation

(\rho,V)

of a compact group

G

we define

VG=\{v\inV:\rho(s)v=v\foralls\inG\}.

In general

\rho(s):V\toV

is not

G

–linear. Let

Pv:=\intG\rho(s)vds.

The map

P

is defined as endomorphism on

V

by having the property

\left.\left(\intG\rho(s)vds\right|w\right)=\intG(\rho(s)v|w)ds,

which is valid for the inner product of the Hilbert space

V.

Then

P

is

G

–linear, because of

\begin{align} \left.\left(\intG\rho(s)(\rho(t)v)ds\right|w\right)&=\intG\left.\left(\rho\left(tst-1\right)(\rho(t)v)\right|w\right)ds\\ &=\intG(\rho(ts)v|w)ds\\ &=\int(\rho(t)\rho(s)v|w)ds\\ &=\left.\left(\rho(t)\intG\rho(s)vds\right|w\right), \end{align}

where we used the invariance of the Haar measure.

Proposition. The map

P

is a projection from

V

to

VG.

If the representation is finite-dimensional, it is possible to determine the direct sum of the trivial subrepresentation just as in the case of finite groups.

### Characters, Schur's lemma and the inner product

Generally, representations of compact groups are investigated on Hilbert- and Banach spaces. In most cases they are not finite-dimensional. Therefore, it is not useful to refer to characters when speaking about representations of compact groups. Nevertheless, in most cases it is possible to restrict the study to the case of finite dimensions:

Since irreducible representations of compact groups are finite-dimensional and unitary (see results from the first subsection), we can define irreducible characters in the same way as it was done for finite groups.

As long as the constructed representations stay finite-dimensional, the characters of the newly constructed representations may be obtained in the same way as for finite groups.

Schur's lemma is also valid for compact groups:

Let

(\pi,V)

be an irreducible unitary representation of a compact group

G.

Then every bounded operator

T:V\toV

satisfying the property

T\circ\pi(s)=\pi(s)\circT

for all

s\inG,

is a scalar multiple of the identity, i.e. there exists

λ\in\Complex

such that

TId.

Definition. The formula

(\Phi|\Psi)=\intG\Phi(t)\overline{\Psi(t)}dt.

defines an inner product on the set of all square integrable functions

L2(G)

of a compact group

G.

Likewise
 -1 \langle\Phi,\Psi\rangle=\int G\Phi(t)\Psi(t

)dt.

defines a bilinear form on

L2(G)

of a compact group

G.

The bilinear form on the representation spaces is defined exactly as it was for finite groups and analogous to finite groups the following results are therefore valid:

Theorem. Let

\chi

and

\chi'

be the characters of two non-isomorphic irreducible representations

V

and

V',

respectively. Then the following is valid

(\chi|\chi')=0.

(\chi|\chi)=1,

i.e.

\chi

has "norm"

1.

Theorem. Let

V

be a representation of

G

with character

\chiV.

Suppose

W

is an irreducible representation of

G

with character

\chiW.

The number of subrepresentations of

V

equivalent to

W

is independent of any given decomposition for

V

and is equal to the inner product

(\chiV|\chiW).

Irreducibility Criterion. Let

\chi

be the character of the representation

V,

then

(\chi|\chi)

is a positive integer. Moreover

(\chi|\chi)=1

if and only if

V

is irreducible.

Therefore, using the first theorem, the characters of irreducible representations of

G

form an orthonormal set on

L2(G)

with respect to this inner product.

Corollary. Every irreducible representation

V

of

G

is contained

\dim(V)

–times in the left-regular representation.

Lemma. Let

G

be a compact group. Then the following statements are equivalent:

G

is abelian.
• All the irreducible representations of

G

have degree

1.

Orthonormal Property. Let

G

be a group. The non-isomorphic irreducible representations of

G

form an orthonormal basis in

L2(G)

with respect to this inner product.

As we already know that the non-isomorphic irreducible representations are orthonormal, we only need to verify that they generate

L2(G).

This may be done, by proving that there exists no non-zero square integrable function on

G

orthogonal to all the irreducible characters.

Just as in the case of finite groups, the number of the irreducible representations up to isomorphism of a group

G

equals the number of conjugacy classes of

G.

However, because a compact group has in general infinitely many conjugacy classes, this does not provide any useful information.

### The induced representation

If

H

is a closed subgroup of finite index in a compact group

G,

the definition of the induced representation for finite groups may be adopted.

However, the induced representation can be defined more generally, so that the definition is valid independent of the index of the subgroup

H.

For this purpose let

(η,Vη)

be a unitary representation of the closed subgroup

H.

The continuous induced representation
 G Ind H(η)=(I,V

I)

is defined as follows:

Let

VI

denote the Hilbert space of all measurable, square integrable functions

\Phi:G\toVη

with the property

\Phi(ls)(l)\Phi(s)

for all

l\inH,s\inG.

The norm is given by

\|\Phi\|G=sups\in\|\Phi(s)\|

and the representation

I

is given as the right-translation:

I(s)\Phi(k)=\Phi(ks).

The induced representation is then again a unitary representation.

Since

G

is compact, the induced representation can be decomposed into the direct sum of irreducible representations of

G.

Note that all irreducible representations belonging to the same isotype appear with a multiplicity equal to

\dim(HomG(Vη,VI))=\langleVη,VI\rangleG.

Let

(\rho,V\rho)

be a representation of

G,

then there exists a canonical isomorphism

T:HomG(V\rho,

 G I H(η))\to

HomH(V\rho|H,Vη).

The Frobenius reciprocity transfers, together with the modified definitions of the inner product and of the bilinear form, to compact groups. The theorem now holds for square integrable functions on

G

instead of class functions, but the subgroup

H

must be closed.

### The Peter-Weyl Theorem

Another important result in the representation theory of compact groups is the Peter-Weyl Theorem. It is usually presented and proven in harmonic analysis, as it represents one of its central and fundamental statements.

The Peter-Weyl Theorem. Let

G

be a compact group. For every irreducible representation

(\tau,V\tau)

of

G

let

\{e1,\ldots,e\dim\}

be an orthonormal basis of

V\tau.

We define the matrix coefficients

\tauk,l(s)=\langle\tau(s)ek,el\rangle

for

k,l\in\{1,\ldots,\dim(\tau)\},s\inG.

Then we have the following orthonormal basis of

L2(G)

:

\left(\sqrt{\dim(\tau)}\tauk,l\right)k,l

We can reformulate this theorem to obtain a generalization of the Fourier series for functions on compact groups:

The Peter-Weyl Theorem (Second version).[5] There exists a natural

G x G

–isomorphism
 2(G)\cong L G x G

\widehat{oplus}\tau

}\text(V_\tau)\cong_ \widehat_ \tau\otimes\tau^*

in which

\widehat{G}

is the set of all irreducible representations of

G

up to isomorphism and

V\tau

is the representation space corresponding to

\tau.

More concretely:

\begin{cases}\Phi\mapsto\sum\tau\in

}\tau(\Phi) \\[5pt] \tau(\Phi)=\int_G \Phi(t)\tau(t)dt\in \text(V_\tau) \end

## History

The general features of the representation theory of a finite group G, over the complex numbers, were discovered by Ferdinand Georg Frobenius in the years before 1900. Later the modular representation theory of Richard Brauer was developed.

## Literature

• Book: Bonnafé, Cedric . Representations of SL2(Fq) . 2010 . Springer . Algebra and Applications . 13 . 9780857291578.
• [1]
• [2] Fulton, William; Harris, Joe: Representation Theory A First Course. Springer-Verlag, New York 1991, .
• [3] Alperin, J.L.; Bell, Rowen B.: Groups and Representations Springer-Verlag, New York 1995, .
• [4] Deitmar, Anton: Automorphe Formen Springer-Verlag 2010,, p. 89-93,185-189
• [5] Echterhoff, Siegfried; Deitmar, Anton: Principles of harmonic analysis Springer-Verlag 2009,, p. 127-150
• [6] Lang, Serge: Algebra Springer-Verlag, New York 2002,, p. 663-729
• [7] Book: Sengupta, Ambar. Representing finite groups: a semisimple introduction. 9781461412311. 2012. New York. 769756134.

## Notes and References

1. Proof. Suppose

F

is nonzero. Then

F\circ\rho1(s)(u)=\rho2(s)\circF(u)=0

is valid for all

u\in\ker(F).

Therefore, we obtain

\rho1(s)u\in\ker(F)

for all

s\inG

and

u\in\ker(F).

And we know now, that

\ker(F)

is

G

–invariant. Since

V1

is irreducible and

F0,

we conclude

\ker(F)=0.

Now let

y\inIm(F).

This means, there exists

v\inV1,

such that

Fv=y,

and we have

\rho2(s)y=\rho2(s)Fv=F\rho1(s)v.

Thus, we deduce, that

Im(F)

is a

G

–invariant subspace. Because

F

is nonzero and

V2

is irreducible, we have

Im(F)=V2.

Therefore,

F

is an isomorphism and the first statement is proven.

Suppose now that

V1=V2,\rho1=\rho2.

Since our base field is

\Complex,

we know that

F

has at least one eigenvalue

λ.

Let

F'=F,

then

\ker(F')0

and we have

\rho2(s)\circF'=F'\circ\rho1(s)

for all

s\inG.

According to the considerations above this is only possible, if

F'=0,

i.e.

F.

2. Some authors define the character as

\chi(s)=\dim(V)Tr(\rho(s)),

format: plain


text:
# 0.5 Sampling with automatic gain control  (Page 15/19)

 Page 15 / 19

There are two basic approaches to an AGC. The traditional approach uses analog circuitry to adjust the gain before the sampling. The more modern approach uses the output of the sampler to adjust thegain. The advantage of the analog method is that the two blocks (the gain and the sampling) are separate and do not interact.The advantage of the digital adjustment is that less additional hardware is required since the DSP processing is already presentfor other tasks.

A simple digital system for AGC gain adjustment is shown in [link] . The input $r\left(t\right)$ is multiplied by the gain $a$ to give the normalized signal $s\left(t\right)$ . This is then sampled to give the output $s\left[k\right]$ . The assessment block measures $s\left[k\right]$ and determines whether $a$ must be increased or decreased.

The goal is to choose $a$ so that the power (or average energy) of $s\left(t\right)$ is approximately equal to some specified ${\mathbf{s}}^{2}$ . Since

${a}^{2}{\left(\text{avg},\left\{,{r}^{2},\left(t\right),\right\}|}_{t=kT}\approx \text{avg}\left\{{s}^{2}\left(kT\right)\right\}\approx \text{avg}\left\{{s}^{2}\left[k\right]\right\},$

it would be ideal to choose

${a}^{2}\approx \frac{{\mathbf{s}}^{2}}{\text{avg}\left\{{r}^{2}\left(kT\right)\right\}},$

because this would imply that $\text{avg}\left\{{s}^{2}\left(kT\right)\right\}\approx {\mathbf{s}}^{2}$ . The averaging operation (in this case a movingaverage over a block of data of size $N$ ) is defined by

$\text{avg}\left\{x\left[k\right]\right\}=\frac{1}{N}\sum _{i=k-N+1}^{k}x\left[i\right]$

Unfortunately, neither the analog input $r\left(t\right)$ nor its power are directly available to the assessment blockin the DSP portion of the receiver, so it is not possible to directly implement [link] .

Is there an adaptive element that can accomplish this task? As suggested in the beginning of "Iteration and Optimization" , there are three steps to the creation of a viableoptimization approach: setting a goal, choosing a solution method, and testing. As in any real life engineering task, a propermathematical statement of the goal can be tricky, and this section proposes two (slightly different) possibilitiesfor the AGC. By comparing the resulting algorithms (essentially, alternativeforms for the AGC design), it may be possible to trade off among various design considerations.

One sensible goal is to try to minimize a simple function of the difference between the power of the sampled signal $s\left[k\right]$ and the desired power ${\mathbf{s}}^{2}$ . For instance, the averaged squared error in the powers of $s$ and $\mathbf{s}$ ,

$\begin{array}{cc}\hfill {J}_{LS}\left(a\right)& =\text{avg}\left\{\frac{1}{4},{\left({s}^{2}\left[k\right]-{\mathbf{s}}^{2}\right)}^{2}\right\}\hfill \\ & =\frac{1}{4}\text{avg}\left\{{\left({a}^{2}{r}^{2}\left(kT\right)-{\mathbf{s}}^{2}\right)}^{2}\right\},\hfill \end{array}$

penalizes values of $a$ which cause ${s}^{2}\left[k\right]$ to deviate from ${\mathbf{s}}^{2}$ . This formally mimics the parabolic form of the objective [link] in the polynomial minimization example of the previous section.Applying the steepest descent strategy yields

$a\left[k+1\right]=a\left[k\right]-\mu {\left(\frac{d{J}_{LS}\left(a\right)}{da}|}_{a=a\left[k\right]},$

which is the same as [link] , except that the name of the parameter has changed from $x$ to $a$ . To find the exact form of [link] requires the derivative of ${J}_{LS}\left(a\right)$ with respect to the unknown parameter $a$ . This can be approximated by swapping the derivative and the averaging operations to give

$\begin{array}{c}\\ \hfill \frac{d{J}_{LS}\left(a\right)}{da}& =& \frac{1}{4}\frac{d\text{avg}\left\{{\left({a}^{2}{r}^{2}\left(kT\right)-{\mathbf{s}}^{2}\right)}^{2}\right\}}{da}\hfill \\ & \approx & \frac{1}{4}\text{avg}\left\{\frac{d{\left({a}^{2}{r}^{2}\left(kT\right)-{\mathbf{s}}^{2}\right)}^{2}}{da}\right\}\hfill \\ & =& \text{avg}\left\{\left({a}^{2}{r}^{2}\left(kT\right)-{\mathbf{s}}^{2}\right)a{r}^{2}\left(kT\right)\right\}.\hfill \end{array}$

anyone know any internet site where one can find nanotechnology papers?
research.net
kanaga
Introduction about quantum dots in nanotechnology
what does nano mean?
nano basically means 10^(-9). nanometer is a unit to measure length.
Bharti
do you think it's worthwhile in the long term to study the effects and possibilities of nanotechnology on viral treatment?
absolutely yes
Daniel
how to know photocatalytic properties of tio2 nanoparticles...what to do now
it is a goid question and i want to know the answer as well
Maciej
Abigail
for teaching engĺish at school how nano technology help us
Anassong
Do somebody tell me a best nano engineering book for beginners?
there is no specific books for beginners but there is book called principle of nanotechnology
NANO
what is fullerene does it is used to make bukky balls
are you nano engineer ?
s.
fullerene is a bucky ball aka Carbon 60 molecule. It was name by the architect Fuller. He design the geodesic dome. it resembles a soccer ball.
Tarell
what is the actual application of fullerenes nowadays?
Damian
That is a great question Damian. best way to answer that question is to Google it. there are hundreds of applications for buck minister fullerenes, from medical to aerospace. you can also find plenty of research papers that will give you great detail on the potential applications of fullerenes.
Tarell
what is the Synthesis, properties,and applications of carbon nano chemistry
Mostly, they use nano carbon for electronics and for materials to be strengthened.
Virgil
is Bucky paper clear?
CYNTHIA
carbon nanotubes has various application in fuel cells membrane, current research on cancer drug,and in electronics MEMS and NEMS etc
NANO
so some one know about replacing silicon atom with phosphorous in semiconductors device?
Yeah, it is a pain to say the least. You basically have to heat the substarte up to around 1000 degrees celcius then pass phosphene gas over top of it, which is explosive and toxic by the way, under very low pressure.
Harper
Do you know which machine is used to that process?
s.
how to fabricate graphene ink ?
for screen printed electrodes ?
SUYASH
What is lattice structure?
of graphene you mean?
Ebrahim
or in general
Ebrahim
in general
s.
Graphene has a hexagonal structure
tahir
On having this app for quite a bit time, Haven't realised there's a chat room in it.
Cied
what is biological synthesis of nanoparticles
what's the easiest and fastest way to the synthesize AgNP?
China
Cied
types of nano material
I start with an easy one. carbon nanotubes woven into a long filament like a string
Porter
many many of nanotubes
Porter
what is the k.e before it land
Yasmin
what is the function of carbon nanotubes?
Cesar
I'm interested in nanotube
Uday
what is nanomaterials and their applications of sensors.
how did you get the value of 2000N.What calculations are needed to arrive at it
Privacy Information Security Software Version 1.1a
Good
Berger describes sociologists as concerned with
Got questions? Join the online conversation and get instant answers!